public interface LTLParserTreeConstants
Modifier and Type | Field and Description |
---|---|
static int |
JJTARG |
static int |
JJTARGLIST |
static int |
JJTATTRIBUTE |
static int |
JJTATTRIBUTEDEFINITION |
static int |
JJTBINARYPROPOSITION |
static int |
JJTCOMPARISON |
static int |
JJTCONCEPTSET |
static int |
JJTDUMMYVAR |
static int |
JJTEXPR |
static int |
JJTFORMULACALL |
static int |
JJTFORMULADEFINITION |
static int |
JJTLITERAL |
static java.lang.String[] |
jjtNodeName |
static int |
JJTPARSE |
static int |
JJTPROPOSITION |
static int |
JJTQUANTIFICATION |
static int |
JJTRENAMING |
static int |
JJTSTRINGLIST |
static int |
JJTUNARYPROPOSITION |
static int |
JJTVALUEATTRIBUTE |
static int |
JJTVALUES |
static final int JJTPARSE
static final int JJTATTRIBUTEDEFINITION
static final int JJTRENAMING
static final int JJTFORMULADEFINITION
static final int JJTARGLIST
static final int JJTARG
static final int JJTPROPOSITION
static final int JJTUNARYPROPOSITION
static final int JJTBINARYPROPOSITION
static final int JJTQUANTIFICATION
static final int JJTDUMMYVAR
static final int JJTCOMPARISON
static final int JJTFORMULACALL
static final int JJTVALUES
static final int JJTSTRINGLIST
static final int JJTCONCEPTSET
static final int JJTATTRIBUTE
static final int JJTVALUEATTRIBUTE
static final int JJTLITERAL
static final int JJTEXPR
static final java.lang.String[] jjtNodeName