DagTag (JFact 5.0.0 API)

java.lang.Object
- java.lang.Enum<DagTag>
- - uk.ac.manchester.cs.jfact.kernel.DagTag

All Implemented Interfaces:

Serializable, Comparable<DagTag>
```
public enum DagTag
extends Enum<DagTag>
```
different Concept Expression tags

Enum Constant Summary

Enum Constants
Enum Constant and Description
`AND` operations
`BAD` illegal entry
`CHOOSE` choose
`COLLECTION` operations
`DATAEXPR` data expression
`DATATYPE` datatype
`DATAVALUE` data value
`FORALL` operations
`IRR` \neg\exists R.Self
`LE` operations
`NCONCEPT` non-primitive concept
`NN` NN-rule was applied
`NSINGLETON` non-primitive singleton
`PCONCEPT` primitive concept
`PROJ` aux vertex with Projection FROM the current node
`PSINGLETON` primitive singleton
`TOP` operations

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`String`	`getName()`
`boolean`	`isCNameTag()`
`boolean`	`isComplexConcept()`
`boolean`	`isNNameTag()`
`boolean`	`isPNameTag()`
`boolean`	`omitStat(boolean pos)`
`String`	`toString()`
`static DagTag`	`valueOf(String name)` Returns the enum constant of this type with the specified name.
`static DagTag[]`	`values()` Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, valueOf

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

- Enum Constant Detail
  - BAD
```
public static final DagTag BAD
```
    illegal entry
  - TOP
```
public static final DagTag TOP
```
    operations
  - AND
```
public static final DagTag AND
```
    operations
  - COLLECTION
```
public static final DagTag COLLECTION
```
    operations
  - FORALL
```
public static final DagTag FORALL
```
    operations
  - LE
```
public static final DagTag LE
```
    operations
  - IRR
```
public static final DagTag IRR
```
    \neg\exists R.Self
  - PROJ
```
public static final DagTag PROJ
```
    aux vertex with Projection FROM the current node
  - NN
```
public static final DagTag NN
```
    NN-rule was applied
  - PCONCEPT
```
public static final DagTag PCONCEPT
```
    primitive concept
  - NCONCEPT
```
public static final DagTag NCONCEPT
```
    non-primitive concept
  - PSINGLETON
```
public static final DagTag PSINGLETON
```
    primitive singleton
  - NSINGLETON
```
public static final DagTag NSINGLETON
```
    non-primitive singleton
  - DATATYPE
```
public static final DagTag DATATYPE
```
    datatype
  - DATAVALUE
```
public static final DagTag DATAVALUE
```
    data value
  - DATAEXPR
```
public static final DagTag DATAEXPR
```
    data expression
  - CHOOSE
```
public static final DagTag CHOOSE
```
    choose
- Method Detail
  - values
```
public static DagTag[] values()
```
    Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
```
for (DagTag c : DagTag.values())
    System.out.println(c);
```
    Returns:
    
    an array containing the constants of this enum type, in the order they are declared
  - valueOf
```
public static DagTag valueOf(String name)
```
    Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
    
    Parameters:
    
    name - the name of the enum constant to be returned.
    
    Returns:
    
    the enum constant with the specified name
    
    Throws:
    
    IllegalArgumentException - if this enum type has no constant with the specified name
    
    NullPointerException - if the argument is null
  - omitStat
```
public boolean omitStat(boolean pos)
```
    Parameters:
    
    pos - pos
    
    Returns:
    
    whether statistic's gathering should be omitted due to the type of a vertex
  - getName
```
public String getName()
```
    Returns:
    
    name
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Enum<DagTag>
  - isPNameTag
```
public boolean isPNameTag()
```
    Returns:
    
    check whether given DagTag is a primitive named concept-like entity
  - isNNameTag
```
public boolean isNNameTag()
```
    Returns:
    
    check whether given DagTag is a non-primitive named concept-like entity
  - isCNameTag
```
public boolean isCNameTag()
```
    Returns:
    
    check whether given DagTag is a named concept-like entity
  - isComplexConcept
```
public boolean isComplexConcept()
```
    Returns:
    
    true iff TAG represents complex concept

Enum DagTag

Enum Constant Summary

Method Summary

Methods inherited from class java.lang.Enum

Methods inherited from class java.lang.Object

Enum Constant Detail

BAD

TOP

AND

COLLECTION

FORALL

LE

IRR

PROJ

NN

PCONCEPT

NCONCEPT

PSINGLETON

NSINGLETON

DATATYPE

DATAVALUE

DATAEXPR

CHOOSE

Method Detail

values

valueOf

omitStat

getName

toString

isPNameTag

isNNameTag

isCNameTag

isComplexConcept