jshop2tokentypes.java

SHOP2 一个人工智能里面关于任务分解和任务规划的系统。JSHOP2是其java版本。

// $ANTLR 2.7.2: "JSHOP2.g" -> "JSHOP2Lexer.java"$

  package JSHOP2;

  import java.io.IOException;
  import java.util.LinkedList;
  import java.util.Vector;

public interface JSHOP2TokenTypes {
	int EOF = 1;
	int NULL_TREE_LOOKAHEAD = 3;
	int LP = 4;
	int DEFPROBLEM = 5;
	int ID = 6;
	int RP = 7;
	int NIL = 8;
	int DEFDOMAIN = 9;
	int METHOD = 10;
	int OPERATOR = 11;
	int OPID = 12;
	int VARID = 13;
	int PROTECTION = 14;
	int FORALL = 15;
	int AXIOM = 16;
	int UNORDERED = 17;
	int IMMEDIATE = 18;
	int FIRST = 19;
	int SORT = 20;
	int AND = 21;
	int OR = 22;
	int NOT = 23;
	int IMPLY = 24;
	int ASSIGN = 25;
	int CALL = 26;
	int NUM = 27;
	int DOT = 28;
	int DIV = 29;
	int EQUAL = 30;
	int LESS = 31;
	int LESSEQ = 32;
	int MEMBER = 33;
	int MINUS = 34;
	int MORE = 35;
	int MOREEQ = 36;
	int MULT = 37;
	int NOTEQ = 38;
	int PLUS = 39;
	int POWER = 40;
	int DEFPROBLEMSET = 41;
	int STDLIB = 42;
	int WS = 43;
	int COMMENT = 44;
}