Constant Field Values

Contents

• org.logicng.*

org.logicng.*

org.logicng.io.parsers.LogicNGPropositionalLexer

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0004\u0000\u000bC\u0006\uffff\uffff\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0001\u0000\u0001\u0000\u0005\u0000\u001a\b\u0000\n\u0000\f\u0000\u001d\t\u0000\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0003\u0001\u0003\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0006\u0001\u0006\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001\b\u0001\t\u0001\t\u0001\t\u0001\t\u0001\n\u0004\n>\b\n\u000b\n\f\n?\u0001\n\u0001\n\u0000\u0000\u000b\u0001\u0001\u0003\u0002\u0005\u0003\u0007\u0004\t\u0005\u000b\u0006\r\u0007\u000f\b\u0011\t\u0013\n\u0015\u000b\u0001\u0000\u0003\u0005\u0000##09@Z__az\u0005\u0000##09AZ__az\u0003\u0000\t\n\r\r D\u0000\u0001\u0001\u0000\u0000\u0000\u0000\u0003\u0001\u0000\u0000\u0000\u0000\u0005\u0001\u0000\u0000\u0000\u0000\u0007\u0001\u0000\u0000\u0000\u0000\t\u0001\u0000\u0000\u0000\u0000\u000b\u0001\u0000\u0000\u0000\u0000\r\u0001\u0000\u0000\u0000\u0000\u000f\u0001\u0000\u0000\u0000\u0000\u0011\u0001\u0000\u0000\u0000\u0000\u0013\u0001\u0000\u0000\u0000\u0000\u0015\u0001\u0000\u0000\u0000\u0001\u0017\u0001\u0000\u0000\u0000\u0003\u001e\u0001\u0000\u0000\u0000\u0005$\u0001\u0000\u0000\u0000\u0007+\u0001\u0000\u0000\u0000\t-\u0001\u0000\u0000\u0000\u000b/\u0001\u0000\u0000\u0000\r1\u0001\u0000\u0000\u0000\u000f3\u0001\u0000\u0000\u0000\u00115\u0001\u0000\u0000\u0000\u00138\u0001\u0000\u0000\u0000\u0015=\u0001\u0000\u0000\u0000\u0017\u001b\u0007\u0000\u0000\u0000\u0018\u001a\u0007\u0001\u0000\u0000\u0019\u0018\u0001\u0000\u0000\u0000\u001a\u001d\u0001\u0000\u0000\u0000\u001b\u0019\u0001\u0000\u0000\u0000\u001b\u001c\u0001\u0000\u0000\u0000\u001c\u0002\u0001\u0000\u0000\u0000\u001d\u001b\u0001\u0000\u0000\u0000\u001e\u001f\u0005$\u0000\u0000\u001f \u0005t\u0000\u0000 !\u0005r\u0000\u0000!\"\u0005u\u0000\u0000\"#\u0005e\u0000\u0000#\u0004\u0001\u0000\u0000\u0000$%\u0005$\u0000\u0000%&\u0005f\u0000\u0000&\'\u0005a\u0000\u0000\'(\u0005l\u0000\u0000()\u0005s\u0000\u0000)*\u0005e\u0000\u0000*\u0006\u0001\u0000\u0000\u0000+,\u0005(\u0000\u0000,\b\u0001\u0000\u0000\u0000-.\u0005)\u0000\u0000.\n\u0001\u0000\u0000\u0000/0\u0005~\u0000\u00000\f\u0001\u0000\u0000\u000012\u0005&\u0000\u00002\u000e\u0001\u0000\u0000\u000034\u0005|\u0000\u00004\u0010\u0001\u0000\u0000\u000056\u0005=\u0000\u000067\u0005>\u0000\u00007\u0012\u0001\u0000\u0000\u000089\u0005<\u0000\u00009:\u0005=\u0000\u0000:;\u0005>\u0000\u0000;\u0014\u0001\u0000\u0000\u0000<>\u0007\u0002\u0000\u0000=<\u0001\u0000\u0000\u0000>?\u0001\u0000\u0000\u0000?=\u0001\u0000\u0000\u0000?@\u0001\u0000\u0000\u0000@A\u0001\u0000\u0000\u0000AB\u0006\n\u0000\u0000B\u0016\u0001\u0000\u0000\u0000\u0003\u0000\u001b?\u0001\u0006\u0000\u0000"
public static final int	AND	7
public static final int	EQUIV	10
public static final int	FALSE	3
public static final int	IMPL	9
public static final int	LBR	4
public static final int	NOT	6
public static final int	OR	8
public static final int	RBR	5
public static final int	TRUE	2
public static final int	VARIABLE	1
public static final int	WS	11

org.logicng.io.parsers.LogicNGPropositionalParser

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0004\u0001\u000bb\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0003\u0000\u0017\b\u0000\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0003\u0001\u001d\b\u0001\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0003\u0002)\b\u0002\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0003\u00032\b\u0003\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0005\u0004:\b\u0004\n\u0004\f\u0004=\t\u0004\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0005\u0005G\b\u0005\n\u0005\f\u0005J\t\u0005\u0001\u0005\u0001\u0005\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0003\u0006T\b\u0006\u0001\u0006\u0001\u0006\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0003\u0007^\b\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0000\u0000\b\u0000\u0002\u0004\u0006\b\n\f\u000e\u0000\u0000b\u0000\u0016\u0001\u0000\u0000\u0000\u0002\u001c\u0001\u0000\u0000\u0000\u0004(\u0001\u0000\u0000\u0000\u00061\u0001\u0000\u0000\u0000\b3\u0001\u0000\u0000\u0000\n@\u0001\u0000\u0000\u0000\fM\u0001\u0000\u0000\u0000\u000eW\u0001\u0000\u0000\u0000\u0010\u0011\u0005\u0000\u0000\u0001\u0011\u0017\u0006\u0000\uffff\uffff\u0000\u0012\u0013\u0003\u000e\u0007\u0000\u0013\u0014\u0005\u0000\u0000\u0001\u0014\u0015\u0006\u0000\uffff\uffff\u0000\u0015\u0017\u0001\u0000\u0000\u0000\u0016\u0010\u0001\u0000\u0000\u0000\u0016\u0012\u0001\u0000\u0000\u0000\u0017\u0001\u0001\u0000\u0000\u0000\u0018\u0019\u0005\u0002\u0000\u0000\u0019\u001d\u0006\u0001\uffff\uffff\u0000\u001a\u001b\u0005\u0003\u0000\u0000\u001b\u001d\u0006\u0001\uffff\uffff\u0000\u001c\u0018\u0001\u0000\u0000\u0000\u001c\u001a\u0001\u0000\u0000\u0000\u001d\u0003\u0001\u0000\u0000\u0000\u001e\u001f\u0005\u0001\u0000\u0000\u001f)\u0006\u0002\uffff\uffff\u0000 !\u0003\u0002\u0001\u0000!\"\u0006\u0002\uffff\uffff\u0000\")\u0001\u0000\u0000\u0000#$\u0005\u0004\u0000\u0000$%\u0003\u000e\u0007\u0000%&\u0005\u0005\u0000\u0000&\'\u0006\u0002\uffff\uffff\u0000\')\u0001\u0000\u0000\u0000(\u001e\u0001\u0000\u0000\u0000( \u0001\u0000\u0000\u0000(#\u0001\u0000\u0000\u0000)\u0005\u0001\u0000\u0000\u0000*+\u0005\u0006\u0000\u0000+,\u0003\u0006\u0003\u0000,-\u0006\u0003\uffff\uffff\u0000-2\u0001\u0000\u0000\u0000./\u0003\u0004\u0002\u0000/0\u0006\u0003\uffff\uffff\u000002\u0001\u0000\u0000\u00001*\u0001\u0000\u0000\u00001.\u0001\u0000\u0000\u00002\u0007\u0001\u0000\u0000\u000034\u0003\u0006\u0003\u00004;\u0006\u0004\uffff\uffff\u000056\u0005\u0007\u0000\u000067\u0003\u0006\u0003\u000078\u0006\u0004\uffff\uffff\u00008:\u0001\u0000\u0000\u000095\u0001\u0000\u0000\u0000:=\u0001\u0000\u0000\u0000;9\u0001\u0000\u0000\u0000;<\u0001\u0000\u0000\u0000<>\u0001\u0000\u0000\u0000=;\u0001\u0000\u0000\u0000>?\u0006\u0004\uffff\uffff\u0000?\t\u0001\u0000\u0000\u0000@A\u0003\b\u0004\u0000AH\u0006\u0005\uffff\uffff\u0000BC\u0005\b\u0000\u0000CD\u0003\b\u0004\u0000DE\u0006\u0005\uffff\uffff\u0000EG\u0001\u0000\u0000\u0000FB\u0001\u0000\u0000\u0000GJ\u0001\u0000\u0000\u0000HF\u0001\u0000\u0000\u0000HI\u0001\u0000\u0000\u0000IK\u0001\u0000\u0000\u0000JH\u0001\u0000\u0000\u0000KL\u0006\u0005\uffff\uffff\u0000L\u000b\u0001\u0000\u0000\u0000MN\u0003\n\u0005\u0000NS\u0006\u0006\uffff\uffff\u0000OP\u0005\t\u0000\u0000PQ\u0003\f\u0006\u0000QR\u0006\u0006\uffff\uffff\u0000RT\u0001\u0000\u0000\u0000SO\u0001\u0000\u0000\u0000ST\u0001\u0000\u0000\u0000TU\u0001\u0000\u0000\u0000UV\u0006\u0006\uffff\uffff\u0000V\r\u0001\u0000\u0000\u0000WX\u0003\f\u0006\u0000X]\u0006\u0007\uffff\uffff\u0000YZ\u0005\n\u0000\u0000Z[\u0003\u000e\u0007\u0000[\\\u0006\u0007\uffff\uffff\u0000\\^\u0001\u0000\u0000\u0000]Y\u0001\u0000\u0000\u0000]^\u0001\u0000\u0000\u0000^_\u0001\u0000\u0000\u0000_`\u0006\u0007\uffff\uffff\u0000`\u000f\u0001\u0000\u0000\u0000\b\u0016\u001c(1;HS]"
public static final int	AND	7
public static final int	EQUIV	10
public static final int	FALSE	3
public static final int	IMPL	9
public static final int	LBR	4
public static final int	NOT	6
public static final int	OR	8
public static final int	RBR	5
public static final int	RULE_conj	4
public static final int	RULE_constant	1
public static final int	RULE_disj	5
public static final int	RULE_equiv	7
public static final int	RULE_formula	0
public static final int	RULE_impl	6
public static final int	RULE_lit	3
public static final int	RULE_simp	2
public static final int	TRUE	2
public static final int	VARIABLE	1
public static final int	WS	11

org.logicng.io.parsers.LogicNGPseudoBooleanLexer

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0004\u0000\u0013n\u0006\uffff\uffff\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002\u000b\u0007\u000b\u0002\f\u0007\f\u0002\r\u0007\r\u0002\u000e\u0007\u000e\u0002\u000f\u0007\u000f\u0002\u0010\u0007\u0010\u0002\u0011\u0007\u0011\u0002\u0012\u0007\u0012\u0001\u0000\u0003\u0000)\b\u0000\u0001\u0000\u0004\u0000,\b\u0000\u000b\u0000\f\u0000-\u0001\u0001\u0003\u00011\b\u0001\u0001\u0001\u0001\u0001\u0005\u00015\b\u0001\n\u0001\f\u00018\t\u0001\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0006\u0001\u0006\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001\t\u0001\t\u0001\t\u0001\n\u0001\n\u0001\n\u0001\n\u0001\u000b\u0001\u000b\u0001\f\u0001\f\u0001\r\u0001\r\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000f\u0001\u000f\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0011\u0001\u0011\u0001\u0012\u0004\u0012i\b\u0012\u000b\u0012\f\u0012j\u0001\u0012\u0001\u0012\u0000\u0000\u0013\u0001\u0001\u0003\u0002\u0005\u0003\u0007\u0004\t\u0005\u000b\u0006\r\u0007\u000f\b\u0011\t\u0013\n\u0015\u000b\u0017\f\u0019\r\u001b\u000e\u001d\u000f\u001f\u0010!\u0011#\u0012%\u0013\u0001\u0000\u0007\u0001\u0000--\u0001\u000009\u0001\u0000~~\u0005\u0000##09@Z__az\u0005\u0000##09AZ__az\u0002\u0000++--\u0003\u0000\t\n\r\r r\u0000\u0001\u0001\u0000\u0000\u0000\u0000\u0003\u0001\u0000\u0000\u0000\u0000\u0005\u0001\u0000\u0000\u0000\u0000\u0007\u0001\u0000\u0000\u0000\u0000\t\u0001\u0000\u0000\u0000\u0000\u000b\u0001\u0000\u0000\u0000\u0000\r\u0001\u0000\u0000\u0000\u0000\u000f\u0001\u0000\u0000\u0000\u0000\u0011\u0001\u0000\u0000\u0000\u0000\u0013\u0001\u0000\u0000\u0000\u0000\u0015\u0001\u0000\u0000\u0000\u0000\u0017\u0001\u0000\u0000\u0000\u0000\u0019\u0001\u0000\u0000\u0000\u0000\u001b\u0001\u0000\u0000\u0000\u0000\u001d\u0001\u0000\u0000\u0000\u0000\u001f\u0001\u0000\u0000\u0000\u0000!\u0001\u0000\u0000\u0000\u0000#\u0001\u0000\u0000\u0000\u0000%\u0001\u0000\u0000\u0000\u0001(\u0001\u0000\u0000\u0000\u00030\u0001\u0000\u0000\u0000\u00059\u0001\u0000\u0000\u0000\u0007?\u0001\u0000\u0000\u0000\tF\u0001\u0000\u0000\u0000\u000bH\u0001\u0000\u0000\u0000\rJ\u0001\u0000\u0000\u0000\u000fL\u0001\u0000\u0000\u0000\u0011N\u0001\u0000\u0000\u0000\u0013P\u0001\u0000\u0000\u0000\u0015S\u0001\u0000\u0000\u0000\u0017W\u0001\u0000\u0000\u0000\u0019Y\u0001\u0000\u0000\u0000\u001b[\u0001\u0000\u0000\u0000\u001d]\u0001\u0000\u0000\u0000\u001f`\u0001\u0000\u0000\u0000!b\u0001\u0000\u0000\u0000#e\u0001\u0000\u0000\u0000%h\u0001\u0000\u0000\u0000\')\u0007\u0000\u0000\u0000(\'\u0001\u0000\u0000\u0000()\u0001\u0000\u0000\u0000)+\u0001\u0000\u0000\u0000*,\u0007\u0001\u0000\u0000+*\u0001\u0000\u0000\u0000,-\u0001\u0000\u0000\u0000-+\u0001\u0000\u0000\u0000-.\u0001\u0000\u0000\u0000.\u0002\u0001\u0000\u0000\u0000/1\u0007\u0002\u0000\u00000/\u0001\u0000\u0000\u000001\u0001\u0000\u0000\u000012\u0001\u0000\u0000\u000026\u0007\u0003\u0000\u000035\u0007\u0004\u0000\u000043\u0001\u0000\u0000\u000058\u0001\u0000\u0000\u000064\u0001\u0000\u0000\u000067\u0001\u0000\u0000\u00007\u0004\u0001\u0000\u0000\u000086\u0001\u0000\u0000\u00009:\u0005$\u0000\u0000:;\u0005t\u0000\u0000;<\u0005r\u0000\u0000<=\u0005u\u0000\u0000=>\u0005e\u0000\u0000>\u0006\u0001\u0000\u0000\u0000?@\u0005$\u0000\u0000@A\u0005f\u0000\u0000AB\u0005a\u0000\u0000BC\u0005l\u0000\u0000CD\u0005s\u0000\u0000DE\u0005e\u0000\u0000E\b\u0001\u0000\u0000\u0000FG\u0005(\u0000\u0000G\n\u0001\u0000\u0000\u0000HI\u0005)\u0000\u0000I\f\u0001\u0000\u0000\u0000JK\u0005~\u0000\u0000K\u000e\u0001\u0000\u0000\u0000LM\u0005&\u0000\u0000M\u0010\u0001\u0000\u0000\u0000NO\u0005|\u0000\u0000O\u0012\u0001\u0000\u0000\u0000PQ\u0005=\u0000\u0000QR\u0005>\u0000\u0000R\u0014\u0001\u0000\u0000\u0000ST\u0005<\u0000\u0000TU\u0005=\u0000\u0000UV\u0005>\u0000\u0000V\u0016\u0001\u0000\u0000\u0000WX\u0005*\u0000\u0000X\u0018\u0001\u0000\u0000\u0000YZ\u0007\u0005\u0000\u0000Z\u001a\u0001\u0000\u0000\u0000[\\\u0005=\u0000\u0000\\\u001c\u0001\u0000\u0000\u0000]^\u0005<\u0000\u0000^_\u0005=\u0000\u0000_\u001e\u0001\u0000\u0000\u0000`a\u0005<\u0000\u0000a \u0001\u0000\u0000\u0000bc\u0005>\u0000\u0000cd\u0005=\u0000\u0000d\"\u0001\u0000\u0000\u0000ef\u0005>\u0000\u0000f$\u0001\u0000\u0000\u0000gi\u0007\u0006\u0000\u0000hg\u0001\u0000\u0000\u0000ij\u0001\u0000\u0000\u0000jh\u0001\u0000\u0000\u0000jk\u0001\u0000\u0000\u0000kl\u0001\u0000\u0000\u0000lm\u0006\u0012\u0000\u0000m&\u0001\u0000\u0000\u0000\u0006\u0000(-06j\u0001\u0006\u0000\u0000"
public static final int	ADD	13
public static final int	AND	8
public static final int	EQ	14
public static final int	EQUIV	11
public static final int	FALSE	4
public static final int	GE	17
public static final int	GT	18
public static final int	IMPL	10
public static final int	LBR	5
public static final int	LE	15
public static final int	LITERAL	2
public static final int	LT	16
public static final int	MUL	12
public static final int	NOT	7
public static final int	NUMBER	1
public static final int	OR	9
public static final int	RBR	6
public static final int	TRUE	3
public static final int	WS	19

org.logicng.io.parsers.LogicNGPseudoBooleanParser

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0004\u0001\u0013\u00a1\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0003\u0000\u001d\b\u0000\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0003\u0001#\b\u0001\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0003\u0002>\b\u0002\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0003\u0003O\b\u0003\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0003\u0004X\b\u0004\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0005\u0005`\b\u0005\n\u0005\f\u0005c\t\u0005\u0001\u0005\u0001\u0005\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0005\u0006m\b\u0006\n\u0006\f\u0006p\t\u0006\u0001\u0006\u0001\u0006\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0003\u0007z\b\u0007\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0003\b\u0084\b\b\u0001\b\u0001\b\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0003\t\u0094\b\t\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0005\n\u009c\b\n\n\n\f\n\u009f\t\n\u0001\n\u0000\u0000\u000b\u0000\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0000\u0000\u00a8\u0000\u001c\u0001\u0000\u0000\u0000\u0002\"\u0001\u0000\u0000\u0000\u0004=\u0001\u0000\u0000\u0000\u0006N\u0001\u0000\u0000\u0000\bW\u0001\u0000\u0000\u0000\nY\u0001\u0000\u0000\u0000\ff\u0001\u0000\u0000\u0000\u000es\u0001\u0000\u0000\u0000\u0010}\u0001\u0000\u0000\u0000\u0012\u0093\u0001\u0000\u0000\u0000\u0014\u0095\u0001\u0000\u0000\u0000\u0016\u0017\u0005\u0000\u0000\u0001\u0017\u001d\u0006\u0000\uffff\uffff\u0000\u0018\u0019\u0003\u0010\b\u0000\u0019\u001a\u0005\u0000\u0000\u0001\u001a\u001b\u0006\u0000\uffff\uffff\u0000\u001b\u001d\u0001\u0000\u0000\u0000\u001c\u0016\u0001\u0000\u0000\u0000\u001c\u0018\u0001\u0000\u0000\u0000\u001d\u0001\u0001\u0000\u0000\u0000\u001e\u001f\u0005\u0003\u0000\u0000\u001f#\u0006\u0001\uffff\uffff\u0000 !\u0005\u0004\u0000\u0000!#\u0006\u0001\uffff\uffff\u0000\"\u001e\u0001\u0000\u0000\u0000\" \u0001\u0000\u0000\u0000#\u0003\u0001\u0000\u0000\u0000$%\u0003\u0014\n\u0000%&\u0005\u000e\u0000\u0000&\'\u0005\u0001\u0000\u0000\'(\u0006\u0002\uffff\uffff\u0000(>\u0001\u0000\u0000\u0000)*\u0003\u0014\n\u0000*+\u0005\u000f\u0000\u0000+,\u0005\u0001\u0000\u0000,-\u0006\u0002\uffff\uffff\u0000->\u0001\u0000\u0000\u0000./\u0003\u0014\n\u0000/0\u0005\u0010\u0000\u000001\u0005\u0001\u0000\u000012\u0006\u0002\uffff\uffff\u00002>\u0001\u0000\u0000\u000034\u0003\u0014\n\u000045\u0005\u0011\u0000\u000056\u0005\u0001\u0000\u000067\u0006\u0002\uffff\uffff\u00007>\u0001\u0000\u0000\u000089\u0003\u0014\n\u00009:\u0005\u0012\u0000\u0000:;\u0005\u0001\u0000\u0000;<\u0006\u0002\uffff\uffff\u0000<>\u0001\u0000\u0000\u0000=$\u0001\u0000\u0000\u0000=)\u0001\u0000\u0000\u0000=.\u0001\u0000\u0000\u0000=3\u0001\u0000\u0000\u0000=8\u0001\u0000\u0000\u0000>\u0005\u0001\u0000\u0000\u0000?@\u0005\u0001\u0000\u0000@O\u0006\u0003\uffff\uffff\u0000AB\u0005\u0002\u0000\u0000BO\u0006\u0003\uffff\uffff\u0000CD\u0003\u0002\u0001\u0000DE\u0006\u0003\uffff\uffff\u0000EO\u0001\u0000\u0000\u0000FG\u0003\u0004\u0002\u0000GH\u0006\u0003\uffff\uffff\u0000HO\u0001\u0000\u0000\u0000IJ\u0005\u0005\u0000\u0000JK\u0003\u0010\b\u0000KL\u0005\u0006\u0000\u0000LM\u0006\u0003\uffff\uffff\u0000MO\u0001\u0000\u0000\u0000N?\u0001\u0000\u0000\u0000NA\u0001\u0000\u0000\u0000NC\u0001\u0000\u0000\u0000NF\u0001\u0000\u0000\u0000NI\u0001\u0000\u0000\u0000O\u0007\u0001\u0000\u0000\u0000PQ\u0005\u0007\u0000\u0000QR\u0003\b\u0004\u0000RS\u0006\u0004\uffff\uffff\u0000SX\u0001\u0000\u0000\u0000TU\u0003\u0006\u0003\u0000UV\u0006\u0004\uffff\uffff\u0000VX\u0001\u0000\u0000\u0000WP\u0001\u0000\u0000\u0000WT\u0001\u0000\u0000\u0000X\t\u0001\u0000\u0000\u0000YZ\u0003\b\u0004\u0000Za\u0006\u0005\uffff\uffff\u0000[\\\u0005\b\u0000\u0000\\]\u0003\b\u0004\u0000]^\u0006\u0005\uffff\uffff\u0000^`\u0001\u0000\u0000\u0000_[\u0001\u0000\u0000\u0000`c\u0001\u0000\u0000\u0000a_\u0001\u0000\u0000\u0000ab\u0001\u0000\u0000\u0000bd\u0001\u0000\u0000\u0000ca\u0001\u0000\u0000\u0000de\u0006\u0005\uffff\uffff\u0000e\u000b\u0001\u0000\u0000\u0000fg\u0003\n\u0005\u0000gn\u0006\u0006\uffff\uffff\u0000hi\u0005\t\u0000\u0000ij\u0003\n\u0005\u0000jk\u0006\u0006\uffff\uffff\u0000km\u0001\u0000\u0000\u0000lh\u0001\u0000\u0000\u0000mp\u0001\u0000\u0000\u0000nl\u0001\u0000\u0000\u0000no\u0001\u0000\u0000\u0000oq\u0001\u0000\u0000\u0000pn\u0001\u0000\u0000\u0000qr\u0006\u0006\uffff\uffff\u0000r\r\u0001\u0000\u0000\u0000st\u0003\f\u0006\u0000ty\u0006\u0007\uffff\uffff\u0000uv\u0005\n\u0000\u0000vw\u0003\u000e\u0007\u0000wx\u0006\u0007\uffff\uffff\u0000xz\u0001\u0000\u0000\u0000yu\u0001\u0000\u0000\u0000yz\u0001\u0000\u0000\u0000z{\u0001\u0000\u0000\u0000{|\u0006\u0007\uffff\uffff\u0000|\u000f\u0001\u0000\u0000\u0000}~\u0003\u000e\u0007\u0000~\u0083\u0006\b\uffff\uffff\u0000\u007f\u0080\u0005\u000b\u0000\u0000\u0080\u0081\u0003\u0010\b\u0000\u0081\u0082\u0006\b\uffff\uffff\u0000\u0082\u0084\u0001\u0000\u0000\u0000\u0083\u007f\u0001\u0000\u0000\u0000\u0083\u0084\u0001\u0000\u0000\u0000\u0084\u0085\u0001\u0000\u0000\u0000\u0085\u0086\u0006\b\uffff\uffff\u0000\u0086\u0011\u0001\u0000\u0000\u0000\u0087\u0088\u0005\u0002\u0000\u0000\u0088\u0094\u0006\t\uffff\uffff\u0000\u0089\u008a\u0005\u0001\u0000\u0000\u008a\u0094\u0006\t\uffff\uffff\u0000\u008b\u008c\u0005\u0001\u0000\u0000\u008c\u008d\u0005\f\u0000\u0000\u008d\u008e\u0005\u0002\u0000\u0000\u008e\u0094\u0006\t\uffff\uffff\u0000\u008f\u0090\u0005\u0001\u0000\u0000\u0090\u0091\u0005\f\u0000\u0000\u0091\u0092\u0005\u0001\u0000\u0000\u0092\u0094\u0006\t\uffff\uffff\u0000\u0093\u0087\u0001\u0000\u0000\u0000\u0093\u0089\u0001\u0000\u0000\u0000\u0093\u008b\u0001\u0000\u0000\u0000\u0093\u008f\u0001\u0000\u0000\u0000\u0094\u0013\u0001\u0000\u0000\u0000\u0095\u0096\u0003\u0012\t\u0000\u0096\u009d\u0006\n\uffff\uffff\u0000\u0097\u0098\u0005\r\u0000\u0000\u0098\u0099\u0003\u0012\t\u0000\u0099\u009a\u0006\n\uffff\uffff\u0000\u009a\u009c\u0001\u0000\u0000\u0000\u009b\u0097\u0001\u0000\u0000\u0000\u009c\u009f\u0001\u0000\u0000\u0000\u009d\u009b\u0001\u0000\u0000\u0000\u009d\u009e\u0001\u0000\u0000\u0000\u009e\u0015\u0001\u0000\u0000\u0000\u009f\u009d\u0001\u0000\u0000\u0000\u000b\u001c\"=NWany\u0083\u0093\u009d"
public static final int	ADD	13
public static final int	AND	8
public static final int	EQ	14
public static final int	EQUIV	11
public static final int	FALSE	4
public static final int	GE	17
public static final int	GT	18
public static final int	IMPL	10
public static final int	LBR	5
public static final int	LE	15
public static final int	LITERAL	2
public static final int	LT	16
public static final int	MUL	12
public static final int	NOT	7
public static final int	NUMBER	1
public static final int	OR	9
public static final int	RBR	6
public static final int	RULE_add	10
public static final int	RULE_comparison	2
public static final int	RULE_conj	5
public static final int	RULE_constant	1
public static final int	RULE_disj	6
public static final int	RULE_equiv	8
public static final int	RULE_formula	0
public static final int	RULE_impl	7
public static final int	RULE_lit	4
public static final int	RULE_mul	9
public static final int	RULE_simp	3
public static final int	TRUE	3
public static final int	WS	19