jtp.fol.kif
Interface SimplifierTokenTypes

All Known Implementing Classes:

Simplifier

public interface SimplifierTokenTypes

Field Summary

static int	And
static int	BIG_COMMENT
static int	CompositeSentence
static int	Defequals
static int	Deffunction
static int	Defimpleft
static int	Defimpright
static int	Defobject
static int	Defrelation
static int	Digit
static int	EOF
static int	Equiv
static int	Exists
static int	FLOAT
static int	Forall
static int	Func
static int	GoodChar
static int	IGNORE
static int	Impleft
static int	Impright
static int	INTEGER
static int	Kb
static int	LINE_COMMENT
static int	LPAREN
static int	Not
static int	NULL_TREE_LOOKAHEAD
static int	Number
static int	Or
static int	PACKAGE_SYMBOL
static int	PackageSign
static int	Quote
static int	RelSentence
static int	RPAREN
static int	SExp
static int	STRING
static int	SYMBOL
static int	SymbolWithoutPackage
static int	VARIABLE
static int	Vars
static int	WS

Field Detail

EOF

public static final int EOF

See Also:

Constant Field Values

NULL_TREE_LOOKAHEAD

public static final int NULL_TREE_LOOKAHEAD

See Also:

Constant Field Values

And

public static final int And

See Also:

Constant Field Values

Or

public static final int Or

See Also:

Constant Field Values

Not

public static final int Not

See Also:

Constant Field Values

Exists

public static final int Exists

See Also:

Constant Field Values

Forall

public static final int Forall

See Also:

Constant Field Values

Quote

public static final int Quote

See Also:

Constant Field Values

Impleft

public static final int Impleft

See Also:

Constant Field Values

Impright

public static final int Impright

See Also:

Constant Field Values

Equiv

public static final int Equiv

See Also:

Constant Field Values

Defobject

public static final int Defobject

See Also:

Constant Field Values

Defrelation

public static final int Defrelation

See Also:

Constant Field Values

Deffunction

public static final int Deffunction

See Also:

Constant Field Values

Defequals

public static final int Defequals

See Also:

Constant Field Values

Defimpleft

public static final int Defimpleft

See Also:

Constant Field Values

Defimpright

public static final int Defimpright

See Also:

Constant Field Values

RelSentence

public static final int RelSentence

See Also:

Constant Field Values

CompositeSentence

public static final int CompositeSentence

See Also:

Constant Field Values

SExp

public static final int SExp

See Also:

Constant Field Values

Vars

public static final int Vars

See Also:

Constant Field Values

INTEGER

public static final int INTEGER

See Also:

Constant Field Values

FLOAT

public static final int FLOAT

See Also:

Constant Field Values

Func

public static final int Func

See Also:

Constant Field Values

Kb

public static final int Kb

See Also:

Constant Field Values

LPAREN

public static final int LPAREN

See Also:

Constant Field Values

STRING

public static final int STRING

See Also:

Constant Field Values

RPAREN

public static final int RPAREN

See Also:

Constant Field Values

VARIABLE

public static final int VARIABLE

See Also:

Constant Field Values

IGNORE

public static final int IGNORE

See Also:

Constant Field Values

SYMBOL

public static final int SYMBOL

See Also:

Constant Field Values

PACKAGE_SYMBOL

public static final int PACKAGE_SYMBOL

See Also:

Constant Field Values

Number

public static final int Number

See Also:

Constant Field Values

SymbolWithoutPackage

public static final int SymbolWithoutPackage

See Also:

Constant Field Values

PackageSign

public static final int PackageSign

See Also:

Constant Field Values

Digit

public static final int Digit

See Also:

Constant Field Values

GoodChar

public static final int GoodChar

See Also:

Constant Field Values

LINE_COMMENT

public static final int LINE_COMMENT

See Also:

Constant Field Values

BIG_COMMENT

public static final int BIG_COMMENT

See Also:

Constant Field Values

WS

public static final int WS

See Also:

Constant Field Values