/*
 * Created on Aug 30, 2003 by Ravi Mohan
 *  
 */
package aima.logic.common;

public interface LogicTokenTypes {
	static final int SYMBOL = 1;

	static final int LPAREN = 2;

	static final int RPAREN = 3;

	static final int COMMA = 4;

	static final int CONNECTOR = 5;

	static final int QUANTIFIER = 6;

	static final int PREDICATE = 7;

	static final int FUNCTION = 8;

	static final int VARIABLE = 9;

	static final int CONSTANT = 10;

	static final int TRUE = 11;

	static final int FALSE = 12;

	static final int EQUALS = 13;

	static final int WHITESPACE = 1000;

	static final int EOI = 9999;

}