DagTag (JFact 4.0.1 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
`dtAnd` operations
`dtBad` illegal entry
`dtChoose` choose
`dtCollection` operations
`dtDataExpr` data expression
`dtDataType` datatype
`dtDataValue` data value
`dtForall` operations
`dtIrr` \neg\exists R.Self
`dtLE` operations
`dtNConcept` non-primitive concept
`dtNN` NN-rule was applied
`dtNSingleton` non-primitive singleton
`dtPConcept` primitive concept
`dtProj` aux vertex with Projection FROM the current node
`dtPSingleton` primitive singleton
`dtTop` operations

Method Summary

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
  - dtBad
```
public static final DagTag dtBad
```
    illegal entry
  - dtTop
```
public static final DagTag dtTop
```
    operations
  - dtAnd
```
public static final DagTag dtAnd
```
    operations
  - dtCollection
```
public static final DagTag dtCollection
```
    operations
  - dtForall
```
public static final DagTag dtForall
```
    operations
  - dtLE
```
public static final DagTag dtLE
```
    operations
  - dtIrr
```
public static final DagTag dtIrr
```
    \neg\exists R.Self
  - dtProj
```
public static final DagTag dtProj
```
    aux vertex with Projection FROM the current node
  - dtNN
```
public static final DagTag dtNN
```
    NN-rule was applied
  - dtPConcept
```
public static final DagTag dtPConcept
```
    primitive concept
  - dtNConcept
```
public static final DagTag dtNConcept
```
    non-primitive concept
  - dtPSingleton
```
public static final DagTag dtPSingleton
```
    primitive singleton
  - dtNSingleton
```
public static final DagTag dtNSingleton
```
    non-primitive singleton
  - dtDataType
```
public static final DagTag dtDataType
```
    datatype
  - dtDataValue
```
public static final DagTag dtDataValue
```
    data value
  - dtDataExpr
```
public static final DagTag dtDataExpr
```
    data expression
  - dtChoose
```
public static final DagTag dtChoose
```
    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
```
@Nonnull
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

dtBad

dtTop

dtAnd

dtCollection

dtForall

dtLE

dtIrr

dtProj

dtNN

dtPConcept

dtNConcept

dtPSingleton

dtNSingleton

dtDataType

dtDataValue

dtDataExpr

dtChoose

Method Detail

values

valueOf

omitStat

getName

toString

isPNameTag

isNNameTag

isCNameTag

isComplexConcept