Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
_serializedATN |
"\u0003\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\u0002\rI\b\u0001\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0004\u0006\u0004#\n\u0004\r\u0004\u000e\u0004$\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0003\t\u0003\t\u0003\t\u0003\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\f\u0007\fA\n\f\f\f\u000e\fD\u000b\f\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0002\u0002\u000f\u0003\u0003\u0005\u0004\u0007\u0005\t\u0006\u000b\u0007\r\b\u000f\t\u0011\n\u0013\u000b\u0015\f\u0017\r\u0019\u0002\u001b\u0002\u0003\u0002\u0004\u0004\u0002\u000b\f\"\"\u0005\u0002C\\aac|I\u0002\u0003\u0003\u0002\u0002\u0002\u0002\u0005\u0003\u0002\u0002\u0002\u0002\u0007\u0003\u0002\u0002\u0002\u0002\t\u0003\u0002\u0002\u0002\u0002\u000b\u0003\u0002\u0002\u0002\u0002\r\u0003\u0002\u0002\u0002\u0002\u000f\u0003\u0002\u0002\u0002\u0002\u0011\u0003\u0002\u0002\u0002\u0002\u0013\u0003\u0002\u0002\u0002\u0002\u0015\u0003\u0002\u0002\u0002\u0002\u0017\u0003\u0002\u0002\u0002\u0003\u001d\u0003\u0002\u0002\u0002\u0005\u001f\u0003\u0002\u0002\u0002\u0007\"\u0003\u0002\u0002\u0002\t(\u0003\u0002\u0002\u0002\u000b*\u0003\u0002\u0002\u0002\r,\u0003\u0002\u0002\u0002\u000f.\u0003\u0002\u0002\u0002\u00111\u0003\u0002\u0002\u0002\u00135\u0003\u0002\u0002\u0002\u00159\u0003\u0002\u0002\u0002\u0017=\u0003\u0002\u0002\u0002\u0019E\u0003\u0002\u0002\u0002\u001bG\u0003\u0002\u0002\u0002\u001d\u001e\u0007*\u0002\u0002\u001e\u0004\u0003\u0002\u0002\u0002\u001f \u0007+\u0002\u0002 \u0006\u0003\u0002\u0002\u0002!#\t\u0002\u0002\u0002\"!\u0003\u0002\u0002\u0002#$\u0003\u0002\u0002\u0002$\"\u0003\u0002\u0002\u0002$%\u0003\u0002\u0002\u0002%&\u0003\u0002\u0002\u0002&\'\b\u0004\u0002\u0002\'\b\u0003\u0002\u0002\u0002()\u0007(\u0002\u0002)\n\u0003\u0002\u0002\u0002*+\u0007~\u0002\u0002+\f\u0003\u0002\u0002\u0002,-\u0007\u0080\u0002\u0002-\u000e\u0003\u0002\u0002\u0002./\u0007/\u0002\u0002/0\u0007@\u0002\u00020\u0010\u0003\u0002\u0002\u000212\u0007>\u0002\u000223\u0007?\u0002\u000234\u0007@\u0002\u00024\u0012\u0003\u0002\u0002\u000256\u0007d\u0002\u000267\u0007q\u0002\u000278\u0007z\u0002\u00028\u0014\u0003\u0002\u0002\u00029:\u0007f\u0002\u0002:;\u0007k\u0002\u0002;<\u0007c\u0002\u0002<\u0016\u0003\u0002\u0002\u0002=B\u0005\u0019\r\u0002>A\u0005\u0019\r\u0002?A\u0005\u001b\u000e\u0002@>\u0003\u0002\u0002\u0002@?\u0003\u0002\u0002\u0002AD\u0003\u0002\u0002\u0002B@\u0003\u0002\u0002\u0002BC\u0003\u0002\u0002\u0002C\u0018\u0003\u0002\u0002\u0002DB\u0003\u0002\u0002\u0002EF\t\u0003\u0002\u0002F\u001a\u0003\u0002\u0002\u0002GH\u00042;\u0002H\u001c\u0003\u0002\u0002\u0002\u0006\u0002$@B\u0003\b\u0002\u0002" |
public static final int |
AND |
4 |
public static final int |
EQ |
8 |
public static final int |
ID |
11 |
public static final int |
IMP |
7 |
public static final int |
NEC |
9 |
public static final int |
NOT |
6 |
public static final int |
OR |
5 |
public static final int |
POS |
10 |
public static final int |
T__0 |
1 |
public static final int |
T__1 |
2 |
public static final int |
WS |
3 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
_serializedATN |
"\u0003\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\u0003\r)\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0005\u0003\u0016\n\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0007\u0003$\n\u0003\f\u0003\u000e\u0003\'\u000b\u0003\u0003\u0003\u0002\u0003\u0004\u0004\u0002\u0004\u0002\u0002.\u0002\u0006\u0003\u0002\u0002\u0002\u0004\u0015\u0003\u0002\u0002\u0002\u0006\u0007\u0005\u0004\u0003\u0002\u0007\b\u0007\u0002\u0002\u0003\b\u0003\u0003\u0002\u0002\u0002\t\n\b\u0003\u0001\u0002\n\u000b\u0007\b\u0002\u0002\u000b\u0016\u0005\u0004\u0003\u000b\f\r\u0007\u000b\u0002\u0002\r\u0016\u0005\u0004\u0003\n\u000e\u000f\u0007\f\u0002\u0002\u000f\u0016\u0005\u0004\u0003\t\u0010\u0011\u0007\u0003\u0002\u0002\u0011\u0012\u0005\u0004\u0003\u0002\u0012\u0013\u0007\u0004\u0002\u0002\u0013\u0016\u0003\u0002\u0002\u0002\u0014\u0016\u0007\r\u0002\u0002\u0015\t\u0003\u0002\u0002\u0002\u0015\f\u0003\u0002\u0002\u0002\u0015\u000e\u0003\u0002\u0002\u0002\u0015\u0010\u0003\u0002\u0002\u0002\u0015\u0014\u0003\u0002\u0002\u0002\u0016%\u0003\u0002\u0002\u0002\u0017\u0018\f\b\u0002\u0002\u0018\u0019\u0007\u0006\u0002\u0002\u0019$\u0005\u0004\u0003\t\u001a\u001b\f\u0007\u0002\u0002\u001b\u001c\u0007\u0007\u0002\u0002\u001c$\u0005\u0004\u0003\b\u001d\u001e\f\u0006\u0002\u0002\u001e\u001f\u0007\t\u0002\u0002\u001f$\u0005\u0004\u0003\u0006 !\f\u0005\u0002\u0002!\"\u0007\n\u0002\u0002\"$\u0005\u0004\u0003\u0005#\u0017\u0003\u0002\u0002\u0002#\u001a\u0003\u0002\u0002\u0002#\u001d\u0003\u0002\u0002\u0002# \u0003\u0002\u0002\u0002$\'\u0003\u0002\u0002\u0002%#\u0003\u0002\u0002\u0002%&\u0003\u0002\u0002\u0002&\u0005\u0003\u0002\u0002\u0002\'%\u0003\u0002\u0002\u0002\u0005\u0015#%" |
public static final int |
AND |
4 |
public static final int |
EQ |
8 |
public static final int |
ID |
11 |
public static final int |
IMP |
7 |
public static final int |
NEC |
9 |
public static final int |
NOT |
6 |
public static final int |
OR |
5 |
public static final int |
POS |
10 |
public static final int |
RULE_modalFormula |
0 |
public static final int |
RULE_wff |
1 |
public static final int |
T__0 |
1 |
public static final int |
T__1 |
2 |
public static final int |
WS |
3 |
Modifier and Type | Constant Field | Value |
---|---|---|
public final java.lang.String |
ROLE_AXIOM |
"axiom" |
public final java.lang.String |
ROLE_CONJECTURE |
"conjecture" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"iltp" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"jtawb_fromat" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"pitpplain" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
_serializedATN |
"\u0003\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\u0002\u000b=\b\u0001\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0007\u0004!\n\u0004\f\u0004\u000e\u0004$\u000b\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0006\u0007+\n\u0007\r\u0007\u000e\u0007,\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\t\u0003\t\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\f\u0003\f\u0002\u0002\r\u0003\u0003\u0005\u0004\u0007\u0005\t\u0002\u000b\u0002\r\u0006\u000f\u0007\u0011\b\u0013\t\u0015\n\u0017\u000b\u0003\u0002\u0004\u0005\u0002C\\aac|\u0004\u0002\u000b\f\"\"=\u0002\u0003\u0003\u0002\u0002\u0002\u0002\u0005\u0003\u0002\u0002\u0002\u0002\u0007\u0003\u0002\u0002\u0002\u0002\r\u0003\u0002\u0002\u0002\u0002\u000f\u0003\u0002\u0002\u0002\u0002\u0011\u0003\u0002\u0002\u0002\u0002\u0013\u0003\u0002\u0002\u0002\u0002\u0015\u0003\u0002\u0002\u0002\u0002\u0017\u0003\u0002\u0002\u0002\u0003\u0019\u0003\u0002\u0002\u0002\u0005\u001b\u0003\u0002\u0002\u0002\u0007\u001d\u0003\u0002\u0002\u0002\t%\u0003\u0002\u0002\u0002\u000b\'\u0003\u0002\u0002\u0002\r*\u0003\u0002\u0002\u0002\u000f0\u0003\u0002\u0002\u0002\u00112\u0003\u0002\u0002\u0002\u00134\u0003\u0002\u0002\u0002\u00156\u0003\u0002\u0002\u0002\u00179\u0003\u0002\u0002\u0002\u0019\u001a\u0007*\u0002\u0002\u001a\u0004\u0003\u0002\u0002\u0002\u001b\u001c\u0007+\u0002\u0002\u001c\u0006\u0003\u0002\u0002\u0002\u001d\"\u0005\t\u0005\u0002\u001e!\u0005\t\u0005\u0002\u001f!\u0005\u000b\u0006\u0002 \u001e\u0003\u0002\u0002\u0002 \u001f\u0003\u0002\u0002\u0002!$\u0003\u0002\u0002\u0002\" \u0003\u0002\u0002\u0002\"#\u0003\u0002\u0002\u0002#\b\u0003\u0002\u0002\u0002$\"\u0003\u0002\u0002\u0002%&\t\u0002\u0002\u0002&\n\u0003\u0002\u0002\u0002\'(\u00042;\u0002(\f\u0003\u0002\u0002\u0002)+\t\u0003\u0002\u0002*)\u0003\u0002\u0002\u0002+,\u0003\u0002\u0002\u0002,*\u0003\u0002\u0002\u0002,-\u0003\u0002\u0002\u0002-.\u0003\u0002\u0002\u0002./\b\u0007\u0002\u0002/\u000e\u0003\u0002\u0002\u000201\u0007(\u0002\u00021\u0010\u0003\u0002\u0002\u000223\u0007~\u0002\u00023\u0012\u0003\u0002\u0002\u000245\u0007\u0080\u0002\u00025\u0014\u0003\u0002\u0002\u000267\u0007/\u0002\u000278\u0007@\u0002\u00028\u0016\u0003\u0002\u0002\u00029:\u0007>\u0002\u0002:;\u0007?\u0002\u0002;<\u0007@\u0002\u0002<\u0018\u0003\u0002\u0002\u0002\u0006\u0002 \",\u0003\b\u0002\u0002" |
public static final int |
AND |
5 |
public static final int |
EQ |
9 |
public static final int |
ID |
3 |
public static final int |
IMP |
8 |
public static final int |
NOT |
7 |
public static final int |
OR |
6 |
public static final int |
T__0 |
1 |
public static final int |
T__1 |
2 |
public static final int |
WS |
4 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
_serializedATN |
"\u0003\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\u0003\u000b%\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0005\u0003\u0012\n\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0007\u0003 \n\u0003\f\u0003\u000e\u0003#\u000b\u0003\u0003\u0003\u0002\u0003\u0004\u0004\u0002\u0004\u0002\u0002(\u0002\u0006\u0003\u0002\u0002\u0002\u0004\u0011\u0003\u0002\u0002\u0002\u0006\u0007\u0005\u0004\u0003\u0002\u0007\b\u0007\u0002\u0002\u0003\b\u0003\u0003\u0002\u0002\u0002\t\n\b\u0003\u0001\u0002\n\u000b\u0007\t\u0002\u0002\u000b\u0012\u0005\u0004\u0003\t\f\r\u0007\u0003\u0002\u0002\r\u000e\u0005\u0004\u0003\u0002\u000e\u000f\u0007\u0004\u0002\u0002\u000f\u0012\u0003\u0002\u0002\u0002\u0010\u0012\u0007\u0005\u0002\u0002\u0011\t\u0003\u0002\u0002\u0002\u0011\f\u0003\u0002\u0002\u0002\u0011\u0010\u0003\u0002\u0002\u0002\u0012!\u0003\u0002\u0002\u0002\u0013\u0014\f\b\u0002\u0002\u0014\u0015\u0007\u0007\u0002\u0002\u0015 \u0005\u0004\u0003\t\u0016\u0017\f\u0007\u0002\u0002\u0017\u0018\u0007\b\u0002\u0002\u0018 \u0005\u0004\u0003\b\u0019\u001a\f\u0006\u0002\u0002\u001a\u001b\u0007\n\u0002\u0002\u001b \u0005\u0004\u0003\u0006\u001c\u001d\f\u0005\u0002\u0002\u001d\u001e\u0007\u000b\u0002\u0002\u001e \u0005\u0004\u0003\u0005\u001f\u0013\u0003\u0002\u0002\u0002\u001f\u0016\u0003\u0002\u0002\u0002\u001f\u0019\u0003\u0002\u0002\u0002\u001f\u001c\u0003\u0002\u0002\u0002 #\u0003\u0002\u0002\u0002!\u001f\u0003\u0002\u0002\u0002!\"\u0003\u0002\u0002\u0002\"\u0005\u0003\u0002\u0002\u0002#!\u0003\u0002\u0002\u0002\u0005\u0011\u001f!" |
public static final int |
AND |
5 |
public static final int |
EQ |
9 |
public static final int |
ID |
3 |
public static final int |
IMP |
8 |
public static final int |
NOT |
7 |
public static final int |
OR |
6 |
public static final int |
RULE_formula |
0 |
public static final int |
RULE_wff |
1 |
public static final int |
T__0 |
1 |
public static final int |
T__1 |
2 |
public static final int |
WS |
4 |