logic
Class Token

java.lang.Object
  logic.Token

public class Token

extends java.lang.Object

Field Summary

static Token	action
static Token	all
static Token	and
static Token	assign
static Token	colon
static Token	colonArrow
static Token	comma
static Token	constants
static Token	dash
static Token	domain
static Token	doubleArrow
static Token	effect
static Token	eof
static Token	eol
static Token	equals
static Token	exclam
static Token	exists
static Token	goal
static Token	init
static Token	leftParen
static Token	neg
static Token	not
static Token	objects
static Token	or
static Token	parameters
static Token	pound
static Token	precondition
static Token	predicates
static Token	probabilistic
static Token	problem
static Token	question
static Token	rightParen
static Token	semiColon
static Token	singleArrow
static Token	types
static Token	vee
static Token	wedge
static Token	when

Constructor Summary

Token(java.lang.String _name, boolean _isSymbol)

Method Summary

java.lang.String	getName()
boolean	isSymbol()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

comma

public static final Token comma

singleArrow

public static final Token singleArrow

doubleArrow

public static final Token doubleArrow

colonArrow

public static final Token colonArrow

pound

public static final Token pound

exclam

public static final Token exclam

question

public static final Token question

colon

public static final Token colon

vee

public static final Token vee

wedge

public static final Token wedge

neg

public static final Token neg

all

public static final Token all

exists

public static final Token exists

leftParen

public static final Token leftParen

rightParen

public static final Token rightParen

dash

public static final Token dash

equals

public static final Token equals

semiColon

public static final Token semiColon

action

public static final Token action

parameters

public static final Token parameters

precondition

public static final Token precondition

effect

public static final Token effect

probabilistic

public static final Token probabilistic

assign

public static final Token assign

and

public static final Token and

or

public static final Token or

not

public static final Token not

when

public static final Token when

eol

public static final Token eol

eof

public static final Token eof

domain

public static final Token domain

problem

public static final Token problem

predicates

public static final Token predicates

types

public static final Token types

constants

public static final Token constants

objects

public static final Token objects

init

public static final Token init

goal

public static final Token goal

Constructor Detail

Token

public Token(java.lang.String _name,
             boolean _isSymbol)

Method Detail

getName

public java.lang.String getName()

isSymbol

public boolean isSymbol()

toString

public java.lang.String toString()