Constant Field Values


Contents
de.upb.*

de.upb.swt.mcie.formulas.BinaryOp
public static final int AND 0
public static final int AR 7
public static final int AU 5
public static final int EQU 3
public static final int ER 6
public static final int EU 4
public static final int IMP 2
public static final int MAXBINDING 5
public static final int OR 1

de.upb.swt.mcie.formulas.IncorrectUseException
public static final int TEMPORAL_FORMULA_WITHOUT_MODEL 1
public static final int UNKNOWN_OPERATION_IN_FORMULA 0

de.upb.swt.mcie.formulas.UnaryOp
public static final int AF 6
public static final int AG 4
public static final int AX 2
public static final int EF 5
public static final int EG 3
public static final int EX 1
public static final int MAXBINDING 0
public static final int NOT 0

de.upb.swt.mcie.mc.IncorrectUseException
public static final int NOT_IMPLEMENTED 0

de.upb.swt.mcie.parser.Scanner
private static final char LINE_SEPARATOR 10

de.upb.swt.mcie.parser.token.Brack
public static final int BRACE 1
public static final int CLOSE 1
public static final int NORMAL 0
public static final int OPEN 0
public static final int SQUARE 1

de.upb.swt.mcie.parser.token.Sep
public static final int COMMA 0
public static final int SEMICOLON 1

de.upb.swt.mcie.robdds.IncorrectUseException
public static final int CONTEXT_MISMATCH 1
public static final int ILLEGAL_UNPRIMED_VARIABLE 2
public static final int NO_PRIMED_VARIABLES_ALLOWED 0

de.upb.swt.mcie.robdds.InternalError
public static final int ILLEGAL_INNER_NODE 1
public static final int ILLEGAL_TERMINAL_NODE 2
public static final int UNKNOWN_NODE_TYPE 0