Constant Field Values

Contents

• org.processmining.*

org.processmining.*

org.processmining.ltl2automaton.plugins.automaton.TransitionLabel

Modifier and Type	Constant Field	Value
public static final java.lang.String	TRUE	"-"

org.processmining.ltl2automaton.plugins.cup_parser.ParserSym

Modifier and Type	Constant Field	Value
public static final int	AND	7
public static final int	EOF	0
public static final int	EQUALS	10
public static final int	error	1
public static final int	FALSE	5
public static final int	FUTURE	14
public static final int	GLOBALLY	13
public static final int	ID	19
public static final int	IMPLIES	9
public static final int	LPAREN	2
public static final int	NEXT	11
public static final int	NOT	6
public static final int	OR	8
public static final int	RELEASES	17
public static final int	RPAREN	3
public static final int	TRUE	4
public static final int	UNTIL	15
public static final int	WNEXT	12
public static final int	WRELEASES	18
public static final int	WUNTIL	16

org.processmining.ltl2automaton.plugins.cup_parser.Scanner

Modifier and Type	Constant Field	Value
public static final int	YYEOF	-1
public static final int	YYINITIAL	0

org.processmining.ltl2automaton.plugins.ltl.LTLFormula

Modifier and Type	Constant Field	Value
public static final char	ALWAYS	71
public static final char	AND	65
public static final char	EQUAL	61
public static final char	EVENTUALLY	69
public static final char	FALSE	102
public static final char	IMPLIES	45
public static final char	NEXT	88
public static final char	NOT	78
public static final char	OR	79
public static final char	PROPOSITION	112
public static final char	RELEASE	86
public static final char	TRUE	116
public static final char	UNTIL	85
public static final char	WNEXT	89
public static final char	WRELEASE	77
public static final char	WUNTIL	87