Token (JFact 5.0.3 API)

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

All Implemented Interfaces:

Serializable, Comparable<Token>
```
public enum Token
extends Enum<Token>
```
tokens

Enum Constant Summary

Enum Constants
Enum Constant and Description
`AND` and
`BOTTOM` bottom
`CNAME` name of a concept
`DATAEXPR` any data expression: data value, [constrained] datatype
`DNAME` name of a data role
`EXISTS` exists
`FORALL` for all
`GE` ATLEAST = GE
`INAME` name of a singleton
`INV` inv
`LE` ATMOST = LE
`NOT` not
`OR` or
`PROJFROM` role projection from
`PROJINTO` role projection into
`RCOMPOSITION` role composition
`RNAME` name of a role
`SELF` self
`TOP` top

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`String`	`getName()`
`String`	`toString()`
`static Token`	`valueOf(String name)` Returns the enum constant of this type with the specified name.
`static Token[]`	`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
  - AND
```
public static final Token AND
```
    and
  - OR
```
public static final Token OR
```
    or
  - NOT
```
public static final Token NOT
```
    not
  - INV
```
public static final Token INV
```
    inv
  - RCOMPOSITION
```
public static final Token RCOMPOSITION
```
    role composition
  - PROJINTO
```
public static final Token PROJINTO
```
    role projection into
  - PROJFROM
```
public static final Token PROJFROM
```
    role projection from
  - SELF
```
public static final Token SELF
```
    self
  - TOP
```
public static final Token TOP
```
    top
  - BOTTOM
```
public static final Token BOTTOM
```
    bottom
  - EXISTS
```
public static final Token EXISTS
```
    exists
  - FORALL
```
public static final Token FORALL
```
    for all
  - GE
```
public static final Token GE
```
    ATLEAST = GE
  - LE
```
public static final Token LE
```
    ATMOST = LE
  - DATAEXPR
```
public static final Token DATAEXPR
```
    any data expression: data value, [constrained] datatype
  - CNAME
```
public static final Token CNAME
```
    name of a concept
  - INAME
```
public static final Token INAME
```
    name of a singleton
  - RNAME
```
public static final Token RNAME
```
    name of a role
  - DNAME
```
public static final Token DNAME
```
    name of a data role
- Method Detail
  - values
```
public static Token[] 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 (Token c : Token.values())
    System.out.println(c);
```
    Returns:
    
    an array containing the constants of this enum type, in the order they are declared
  - valueOf
```
public static Token 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
  - getName
```
public String getName()
```
    Returns:
    
    name
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Enum<Token>

Enum Token

Enum Constant Summary

Method Summary

Methods inherited from class java.lang.Enum

Methods inherited from class java.lang.Object

Enum Constant Detail

AND

OR

NOT

INV

RCOMPOSITION

PROJINTO

PROJFROM

SELF

TOP

BOTTOM

EXISTS

FORALL

GE

LE

DATAEXPR

CNAME

INAME

RNAME

DNAME

Method Detail

values

valueOf

getName

toString