Constant Field Values

Contents

• org.svvrl.*

org.svvrl.*

org.svvrl.goal.cmd.CmdPlugin

Modifier and Type	Constant Field	Value
public static final java.lang.String	PLUGIN_ID	"org.svvrl.goal.cmd"

org.svvrl.goal.cmd.CommandExecutor

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

org.svvrl.goal.cmd.ConvertCommand

Modifier and Type	Constant Field	Value
static final java.lang.String	CMD_GAME	"game"

org.svvrl.goal.cmd.ParityCommand

Modifier and Type	Constant Field	Value
static final java.lang.String	CMD_COMPRESS	"compress"
static final java.lang.String	CMD_CONVERT	"convert"
static final java.lang.String	CMD_PROPAGATE	"propagate"

org.svvrl.goal.cmd.parser.CMDParserConstants

Modifier and Type	Constant Field	Value
public static final int	AND_SET	59
public static final int	ARGUMENT	15
public static final int	BOOL_T	36
public static final int	BREAK	29
public static final int	CALL	34
public static final int	CATCH	32
public static final int	COLON	72
public static final int	COMMA	73
public static final int	CONTINUE	30
public static final int	DEFAULT	0
public static final int	DIV	46
public static final int	DIV_SET	57
public static final int	DO	22
public static final int	DONE	21
public static final int	DOUBLE_T	39
public static final int	ELIF	25
public static final int	ELSE	26
public static final int	EOF	0
public static final int	EQ	52
public static final int	EXIT	28
public static final int	FALSE	12
public static final int	FI	27
public static final int	FLOAT	75
public static final int	FLOAT_T	38
public static final int	FOR	18
public static final int	FORMAL_COMMENT	8
public static final int	GE	51
public static final int	GT	49
public static final int	HELP	14
public static final int	IDENTIFIER	76
public static final int	IF	23
public static final int	IN	20
public static final int	IN_FORMAL_COMMENT	1
public static final int	IN_MULTI_LINE_COMMENT	2
public static final int	INCLUDE	35
public static final int	INT	74
public static final int	INT_T	37
public static final int	INTERACTIVE	16
public static final int	LAND	63
public static final int	LBRAC	67
public static final int	LCB	69
public static final int	LE	50
public static final int	LNOT	62
public static final int	LOR	64
public static final int	LPAR	65
public static final int	LT	48
public static final int	LVAL	78
public static final int	MINUS	44
public static final int	MINUS_SET	55
public static final int	MINUSMINUS	42
public static final int	MOD	47
public static final int	MOD_SET	58
public static final int	MULT	45
public static final int	MULT_SET	56
public static final int	MULTI_LINE_COMMENT	9
public static final int	NE	53
public static final int	NULL	13
public static final int	OR_SET	60
public static final int	PLUS	43
public static final int	PLUS_SET	54
public static final int	PLUSPLUS	41
public static final int	PROCEDURE	33
public static final int	RBRAC	68
public static final int	RCB	70
public static final int	RPAR	66
public static final int	SEMICOLON	71
public static final int	SET	61
public static final int	SHELL_CMD	77
public static final int	SINGLE_LINE_COMMENT	5
public static final int	STRING_T	40
public static final int	STRING1	79
public static final int	STRING2	80
public static final int	THEN	24
public static final int	TIME	17
public static final int	TRUE	11
public static final int	TRY	31
public static final int	WHILE	19

org.svvrl.goal.cmd.parser.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.svvrl.goal.cmd.parser.TokenMgrError

Modifier and Type	Constant Field	Value
static final int	INVALID_LEXICAL_STATE	2
static final int	LEXICAL_ERROR	0
static final int	LOOP_DETECTED	3
static final int	STATIC_LEXER_ERROR	1

org.svvrl.goal.core.CorePlugin

Modifier and Type	Constant Field	Value
public static final java.lang.String	PLUGIN_ID	"org.svvrl.goal.core"

org.svvrl.goal.core.Editable

Modifier and Type	Constant Field	Value
public static final java.lang.String	DESCRIPTION	"Description"
public static final java.lang.String	DIRTY	"Dirty"
public static final java.lang.String	NAME	"Name"

org.svvrl.goal.core.GOAL

Modifier and Type	Constant Field	Value
public static final java.lang.String	DOWNLOAD_PAGE	"http://goal.im.ntu.edu.tw/wiki/doku.php?id=goal:download"
public static final java.lang.String	HOMEPAGE	"http://goal.im.ntu.edu.tw/"
public static final java.lang.String	NAME	"GOAL"

org.svvrl.goal.core.Message

Modifier and Type	Constant Field	Value
public static final java.lang.String	ALPHABET_SIZE_OUT_OF_BOUND	"The alphabet size is out of bound."
public static final java.lang.String	ALT_STATE_REQUIRED	"The state is required to be of type AltState."
public static final java.lang.String	COMPARATOR_NOT_THE_SAME	"The comparators in the tree sets are not the same."
public static final java.lang.String	DECODER_NOT_SUPPORTED	"This codec does not implement decoder functions."
public static final java.lang.String	ENCODER_NOT_SUPPORTED	"This codec does not implement encoder functions."
public static final java.lang.String	FAILED_TO_SAVE_PREFERENCE	"Failed to save user\'s preference."
public static final java.lang.String	INCOMPATIBLE_AUTOMATA	"The automata are not compatible."
public static final java.lang.String	INVALID_ALT_TRANSITION	"The transition is not a valid alternating transition. It should be of type AltTransition."
public static final java.lang.String	INVALID_AUTOMATON_NO_INITIAL_STATE	"The automaton without an initial state is invalid"
public static final java.lang.String	INVALID_FINITE_INPUT_SEQUENCE	"The input sequence is not a valid finite word."
public static final java.lang.String	INVALID_INFINITE_INPUT_SEQUENCE	"The input sequence is not a valid infinite word."
public static final java.lang.String	INVALID_INPUT_SEQUENCE	"The inpute sequence is invalid."
public static final java.lang.String	INVALID_PARITY_CONDITION	"The parity acceptance condition is not valid. A valid parity acceptance condition should contain all states."
public static final java.lang.String	INVALID_PROPOSITION	"The proposition/symbol is invalid."
public static final java.lang.String	INVALID_SYMBOL	"The symbol is invalid."
public static final java.lang.String	INVALID_UCW	"The automaton is not a valid universal co-B\u00fcchi word automaton (UCW)."
public static final java.lang.String	MAP_KEY_MISSING	"A key is missing in the map."
public static final java.lang.String	NO_ACCEPTABLE_OBJECT	"There is no other acceptable object around."
public static final java.lang.String	NO_CODEC_AVAILABLE	"There is not codec that supports this object."
public static final java.lang.String	NO_FORMULA_REWRITER_AVAILABLE	"There is no formula rewriter that supports this logic formula."
public static final java.lang.String	NOT_ALT_STATE	"The state is not a valid state for an alternating automaton. It should be of type AltState or AltConnector."
public static final java.lang.String	NOT_ALT_TRANSITION	"The transition is not an alternating transition."
public static final java.lang.String	NOT_CNF_ALTAUTOMATON	"The alternating automaton is required to be in CNF."
public static final java.lang.String	NOT_DBW	"A deterministic B\u00fcchi automaton is required for this operation."
public static final java.lang.String	NOT_DMW	"A deterministic Muller automaton is required for this operation."
public static final java.lang.String	NOT_FSA_STATE	"The state is not an FSA state."
public static final java.lang.String	NOT_GAME_STATE	"The state is not a game state."
public static final java.lang.String	NOT_GAME_TRANSITION	"The state is not a game transition."
public static final java.lang.String	NOT_IN_AUTOMATON	"The object is not in an automaton."
public static final java.lang.String	NOT_NGBW	"A generalized B\u00fcchi automaton is required for this operation."
public static final java.lang.String	NOT_SAME_ACCEPTANCE_CONDITION	"The acceptance condition is required to be the same."
public static final java.lang.String	NOT_SAME_ALPHABET	"The alphabet is required to be the same."
public static final java.lang.String	NOT_SAME_ALPHABET_TYPE	"The alphabet type is required to be the same."
public static final java.lang.String	NOT_SAME_LABEL_POSITION	"The label position is required to be the same."
public static final java.lang.String	NOT_TWO_WAY_ALT_TRANSITION	"The transition is not a two-way alternating transition."
public static final java.lang.String	ONLY_FOR_LABEL_ON_TRANSITION	"This operation is only available for label-on-transition automata."
public static final java.lang.String	ONLY_FOR_QPTL	"This operation only supports QPTL formulae."
public static final java.lang.String	PROPOSITION_ALREADY_EXISTS	"The proposition/symbol already exists."
public static final java.lang.String	RAMSEY_STATE_SIZE_LIMIT	"<html>Sorry, due to the complexity issue, the input automaton with state size greater than 3 is not allowed.</html>"
public static final java.lang.String	REQUIRE_DETERMINISTIC	"This operation requires a deterministic automaton."
public static final java.lang.String	UNKNOWN_ACCEPTANCE_CONDITION	"The acceptance condition is unknown."
public static final java.lang.String	UNSUPPORTED_ACCEPTANCE_CONDITION	"The acceptance condition is not supported."

org.svvrl.goal.core.Preference

Modifier and Type	Constant Field	Value
public static final java.lang.String	AboveTransitionPropertiesKey	"AboveTransition"
public static final java.lang.String	AcceptingColorKey	"AcceptingColor"
public static final java.lang.String	AcceptingStateStyle_CircleOnly	"Double Circles"
public static final java.lang.String	AcceptingStateStyle_ColorAndCircle	"Accepting State Color and Double Circles"
public static final java.lang.String	AcceptingStateStyle_ColorOnly	"Accepting State Color"
public static final java.lang.String	AcceptingStateStyleKey	"AcceptingStateStyle"
public static final java.lang.String	AuthorKey	"Author"
public static final java.lang.String	BackgroundColorKey	"BackgroundColor"
public static final java.lang.String	BelowStatePropertiesKey	"BelowState"
public static final java.lang.String	ComplementConstructionKey	"ComplementConstruction"
public static final java.lang.String	DEFAULT_INITIAL_INDICATOR_STYLE	"Triangle"
public static final java.lang.String	DisplayGridlinesKey	"DisplayGridlines"
public static final java.lang.String	DivideAndConquerKey	"DivideAndConquer"
public static final java.lang.String	DrawingFontKey	"DrawingFont"
public static final java.lang.String	EmailKey	"Email"
public static final java.lang.String	GridlinesColorKey	"GridlinesColor"
public static final java.lang.String	GridlinesSizeKey	"GridlinesSize"
public static final java.lang.String	GridlinesTransparencyKey	"GridlinesTransparency"
public static final java.lang.String	HighlightColorKey	"HighlightColor"
public static final java.lang.String	INITIAL_INDICATOR_STYLE_ARROW	"Arrow"
public static final java.lang.String	INITIAL_INDICATOR_STYLE_TRIANGLE	"Triangle"
public static final java.lang.String	LayoutBoundsKey	"LayoutBounds"
public static final java.lang.String	LayoutKey	"LayoutAlgorithm"
public static final java.lang.String	LineColorKey	"DefaultLineColor"
public static final int	MAX_ERROR_MESSAGE	1000
public static final java.lang.String	NumberOfProcessorsKey	"NumberOfProcessors"
public static final java.lang.String	O_BUCHI_GAME_SOLVER	"BuchiGameSolver"
public static final java.lang.String	O_CLASSIC_GAME_SOLVER	"ClassicGameSolver"
public static final java.lang.String	O_CO_BUCHI_GAME_SOLVER	"CoBuchiGameSolver"
public static final java.lang.String	O_CONNECTOR_SCALE	"ConnectorScale"
public static final java.lang.String	O_DEFAULT_ALPHABET_TYPE	"AutomatonDefaultAlphabetType"
public static final java.lang.String	O_DEFAULT_LABEL_POSITION	"AutomatonDefaultLabelPosition"
public static final boolean	O_DEFAULT_TRANSITION_SIMPLIFICATION_ALLOW_OVERLAP	true
public static final java.lang.String	O_GENERALIZED_BUCHI_GAME_SOLVER	"GeneralizedBuchiGameSolver"
public static final java.lang.String	O_GRIDLINES_DOTS	"GridlinesDots"
public static final java.lang.String	O_INITIAL_INDICATOR_STYLE	"InitialIndicatorStyle"
public static final java.lang.String	O_MULLER_GAME_SOLVER	"MullerGameSolver"
public static final java.lang.String	O_PARITY_GAME_SOLVER	"ParityGameSolver"
public static final java.lang.String	O_RABIN_GAME_SOLVER	"RabinGameSolver"
public static final java.lang.String	O_REACHABILITY_GAME_SOLVER	"ReachabilityGameSolver"
public static final java.lang.String	O_STREETT_GAME_SOLVER	"StreettGameSolver"
public static final java.lang.String	O_TRANSITION_SIMPLIFICATION_ALLOW_OVERLAP	"TransitionSimplificationAllowOverlap"
public static final int	OnStateCustomName	0
public static final int	OnStateID	2
public static final int	OnStateInitialID	1
public static final int	OnStateNone	3
public static final java.lang.String	OnStatePropertyKey	"OnStateProperty"
public static final java.lang.String	SelectedColorKey	"SelectedColor"
public static final java.lang.String	Simulation2Key	"Simulation2"
public static final java.lang.String	SimulationKey	"Simulation"
public static final java.lang.String	STATE_LABEL_DELIMITER	","
public static final int	STATE_LABEL_PADDING	3
public static final java.lang.String	StateColorKey	"DefaultStateColor"
public static final java.lang.String	StatePrefixKey	"StatePrefix"
public static final java.lang.String	StateRadiusKey	"StateRadius"
public static final java.lang.String	SystemFontKey	"SystemFont"
public static final java.lang.String	TextColorKey	"DefaultTextColor"
public static final int	TRANSITION_LOOP_HEIGHT	80
public static final java.lang.String	TranslationAlgorithmKey	"TranslationAlgorithm"
public static final java.lang.String	UseLocalRepositoryKey	"UseLocalRepository"
public static final java.lang.String	UseRemoteRepositoryKey	"UseRemoteRepository"
public static final java.lang.String	UseRepositoryExact	"Exact Match"
public static final java.lang.String	UseRepositoryKey	"UseRepository"
public static final java.lang.String	UseRepositoryNever	"Never"
public static final java.lang.String	UseRepositoryUnify	"Unify"
public static final java.lang.String	UserPropertyKey	"UserProperty"

org.svvrl.goal.core.Properties

Modifier and Type	Constant Field	Value
public static final java.lang.String	PROPERTY_DELIMITER	";"

org.svvrl.goal.core.aut.Automaton

Modifier and Type	Constant Field	Value
public static final java.lang.String	FORMULA	"Formula"

org.svvrl.goal.core.aut.AutomatonEvent

Modifier and Type	Constant Field	Value
public static final int	ACC_MODIFIED	7
public static final int	ACC_REPLACED	8
public static final int	AUTOMATON_CHANGED	0
public static final int	STATE_ADDED	1
public static final int	STATE_MODIFIED	3
public static final int	STATE_REMOVED	2
public static final int	TRANSITION_ADDED	4
public static final int	TRANSITION_MODIFIED	6
public static final int	TRANSITION_REMOVED	5

org.svvrl.goal.core.aut.GraphicComponent

Modifier and Type	Constant Field	Value
public static final java.lang.String	ACCEPTANCE_CONDITION	"AcceptanceCondition"
public static final java.lang.String	COLOR	"Color"
public static final java.lang.String	LABEL	"Label"
public static final java.lang.String	OPACITY	"Opacity"
public static final java.lang.String	POSITION_X	"X"
public static final java.lang.String	POSITION_Y	"Y"
public static final java.lang.String	TEXT_COLOR	"TextColor"

org.svvrl.goal.core.aut.SetEvent<T>

Modifier and Type	Constant Field	Value
public static final int	ADDED	0
public static final int	REMOVED	1

org.svvrl.goal.core.aut.State

Modifier and Type	Constant Field	Value
public static final java.lang.String	INIT_ORIENTATION	"InitOrientation"
public static final java.lang.String	SELFLOOP_ORIENTATION	"SelfloopOrientation"

org.svvrl.goal.core.aut.Transition

Modifier and Type	Constant Field	Value
public static final java.lang.String	CONTROL_POINT_X	"ControlPointX"
public static final java.lang.String	CONTROL_POINT_Y	"ControlPointY"

org.svvrl.goal.core.aut.alt.AbstractAltAutomaton

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

org.svvrl.goal.core.aut.fsa.NBW2DRW

Modifier and Type	Constant Field	Value
public static final java.lang.String	BY_MODIFIED_SAFRA	"ModifiedSafra"
public static final java.lang.String	BY_MS	"MS"
public static final java.lang.String	BY_SAFRA	"Safra"

org.svvrl.goal.core.aut.fsa.NTGBW2NBWOptions

Modifier and Type	Constant Field	Value
public static final java.lang.String	NTGBW2NBWByLTL2BA	"LTL2BA"
public static final java.lang.String	NTGBW2NBWByLTL2BUCHI	"LTL2BUCHI"

org.svvrl.goal.core.aut.fsa.RunTree

Modifier and Type	Constant Field	Value
public static final java.lang.String	HEIGHT	"height"

org.svvrl.goal.core.aut.fsa.Subset

Modifier and Type	Constant Field	Value
public static final java.lang.String	SUBSET_KEY	"Subset"

org.svvrl.goal.core.aut.game.AbstractControllableGameSolver<T extends Strategy<?>>

Modifier and Type	Constant Field	Value
public static final int	OUTSIDE_SUBGAME_OPACITY	10
public static final int	SUBGAME_OPACITY	100

org.svvrl.goal.core.comp.ms.MSTree

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"Muller-Schupp Tree"

org.svvrl.goal.core.comp.piterman.CompactSafraTree

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"CompactSafraTree"

org.svvrl.goal.core.comp.safra.SafraTree

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"SafraTree"

org.svvrl.goal.core.comp.schewe.HistoryTree

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"HistoryTree"

org.svvrl.goal.core.io.AbstractAltAutomatonCodec

Modifier and Type	Constant Field	Value
public static final java.lang.String	ATTRIB_ALT_STYLE	"style"
public static final java.lang.String	TAG_CONNECTOR	"Connector"

org.svvrl.goal.core.io.AltAutomatonCodec

Modifier and Type	Constant Field	Value
public static final java.lang.String	TYPE_NAME	"AlternatingAutomaton"

org.svvrl.goal.core.io.AutomatonCodec

Modifier and Type	Constant Field	Value
public static final java.lang.String	ATTR_COMPLETE	"complete"
public static final java.lang.String	ATTR_ENTRY_NAME	"name"
public static final java.lang.String	ATTR_ID	"id"
public static final java.lang.String	ATTR_LABEL_POSITION	"label-on"
public static final java.lang.String	ATTR_STATE_ID	"sid"
public static final java.lang.String	ATTR_TRANSITION_ID	"tid"
public static final java.lang.String	ATTR_TYPE	"type"
public static final java.lang.String	TAG_ACC	"Acc"
public static final java.lang.String	TAG_ACC_ACCEPTANCE_SET	"AcceptanceSet"
public static final java.lang.String	TAG_ACC_CONDITION	"Condition"
public static final java.lang.String	TAG_ACC_PAIR	"AccPair"
public static final java.lang.String	TAG_ACC_PAIR_E	"E"
public static final java.lang.String	TAG_ACC_PAIR_F	"F"
public static final java.lang.String	TAG_ACC_SET	"AccSet"
public static final java.lang.String	TAG_ALPHABET	"Alphabet"
public static final java.lang.String	TAG_DESCRIPTION	"Description"
public static final java.lang.String	TAG_ENTRY	"Entry"
public static final java.lang.String	TAG_FORMULA	"Formula"
public static final java.lang.String	TAG_INITIAL_STATE_SET	"InitialStateSet"
public static final java.lang.String	TAG_NAME	"Name"
public static final java.lang.String	TAG_PROPERTIES	"Properties"
public static final java.lang.String	TAG_STATE	"State"
public static final java.lang.String	TAG_STATE_ID	"StateID"
public static final java.lang.String	TAG_STATE_SET	"StateSet"
public static final java.lang.String	TAG_STRUCTURE	"Structure"
public static final java.lang.String	TAG_TRANSITION	"Transition"
public static final java.lang.String	TAG_TRANSITION_FROM_STATE	"From"
public static final java.lang.String	TAG_TRANSITION_ID	"TransitionID"
public static final java.lang.String	TAG_TRANSITION_SET	"TransitionSet"
public static final java.lang.String	TAG_TRANSITION_TO_STATE	"To"

org.svvrl.goal.core.io.FSACodec

Modifier and Type	Constant Field	Value
public static final java.lang.String	TYPE_NAME	"FiniteStateAutomaton"

org.svvrl.goal.core.io.GameCodec

Modifier and Type	Constant Field	Value
public static final java.lang.String	TAG_PLAYER	"Player"
public static final java.lang.String	TYPE_NAME	"Game"

org.svvrl.goal.core.io.JFFNFWCodec

Modifier and Type	Constant Field	Value
public static final java.lang.String	ATTRIB_ID	"id"
public static final java.lang.String	ATTRIB_NAME	"name"
public static final java.lang.String	TAG_AUTOMATON	"automaton"
public static final java.lang.String	TAG_FINAL	"final"
public static final java.lang.String	TAG_INITIAL	"initial"
public static final java.lang.String	TAG_LABEL	"label"
public static final java.lang.String	TAG_READ	"read"
public static final java.lang.String	TAG_STATE	"state"
public static final java.lang.String	TAG_STRUCTURE	"structure"
public static final java.lang.String	TAG_TRANSITION	"transition"
public static final java.lang.String	TAG_TRANSITION_FROM_STATE	"from"
public static final java.lang.String	TAG_TRANSITION_TO_STATE	"to"
public static final java.lang.String	TAG_TYPE	"type"
public static final java.lang.String	TAG_X	"x"
public static final java.lang.String	TAG_Y	"y"

org.svvrl.goal.core.io.TwoWayAltAutomatonCodec

Modifier and Type	Constant Field	Value
public static final java.lang.String	ATTRIB_TRANSITION_DIRECTION	"direction"
public static final java.lang.String	TAG_FINAL_STATE_SET	"FinalStateSet"
public static final java.lang.String	TYPE_NAME	"TwoWayAlternatingAutomaton"

org.svvrl.goal.core.io.XMLCodec

Modifier and Type	Constant Field	Value
public static final java.lang.String	DEFAULT_CHARSET	"UTF-8"

org.svvrl.goal.core.io.dot.Graph

Modifier and Type	Constant Field	Value
public static final int	TYPE_DIGRAPH	0
public static final int	TYPE_GRAPH	1
public static final int	TYPE_SUBGRAPH	2

org.svvrl.goal.core.io.promela.PromelaParserConstants

Modifier and Type	Constant Field	Value
public static final int	AND	22
public static final int	ASSERT	33
public static final int	ATOMIC	32
public static final int	COLON	20
public static final int	CONDITION	19
public static final int	DEFAULT	0
public static final int	DO	16
public static final int	EOF	0
public static final int	FALSE	13
public static final int	FI	15
public static final int	FORMAL_COMMENT	8
public static final int	GOTO	30
public static final int	IF	14
public static final int	IN_FORMAL_COMMENT	1
public static final int	IN_MULTI_LINE_COMMENT	2
public static final int	LCURPAR	28
public static final int	LEFTRIGHTARROW	25
public static final int	LPAR	26
public static final int	MULTI_LINE_COMMENT	9
public static final int	NEG	18
public static final int	NEVER	11
public static final int	OD	17
public static final int	ONE	35
public static final int	OR	23
public static final int	PROP	34
public static final int	RCURPAR	29
public static final int	RIGHTARROW	24
public static final int	RPAR	27
public static final int	SEMICOLON	21
public static final int	SINGLE_LINE_COMMENT	5
public static final int	SKIPT	31
public static final int	TRUE	12
public static final int	ZERO	36

org.svvrl.goal.core.io.promela.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.svvrl.goal.core.io.promela.TokenMgrError

Modifier and Type	Constant Field	Value
static final int	INVALID_LEXICAL_STATE	2
static final int	LEXICAL_ERROR	0
static final int	LOOP_DETECTED	3
static final int	STATIC_LEXER_ERROR	1

org.svvrl.goal.core.logic.actl.parser.ACTLParserConstants

Modifier and Type	Constant Field	Value
public static final int	A	15
public static final int	AF	13
public static final int	AG	14
public static final int	AND	8
public static final int	AX	12
public static final int	DEFAULT	0
public static final int	EOF	0
public static final int	FF	6
public static final int	IFF	10
public static final int	IMP	11
public static final int	LPAR	19
public static final int	NEG	7
public static final int	OR	9
public static final int	PROP	21
public static final int	R	17
public static final int	RPAR	20
public static final int	TT	5
public static final int	U	16
public static final int	V	18

org.svvrl.goal.core.logic.actl.parser.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.svvrl.goal.core.logic.actl.parser.TokenMgrError

Modifier and Type	Constant Field	Value
static final int	INVALID_LEXICAL_STATE	2
static final int	LEXICAL_ERROR	0
static final int	LOOP_DETECTED	3
static final int	STATIC_LEXER_ERROR	1

org.svvrl.goal.core.logic.ltl.LTL

Modifier and Type	Constant Field	Value
public static final int	ARITY_ATOMIC	0
public static final int	ARITY_BINARY	2
public static final int	ARITY_UNARY	1
public static final int	CONJUNCTION_DISJUNCTION_OUTPUT_FORMAT_C_STYLE	1
public static final int	CONJUNCTION_DISJUNCTION_OUTPUT_FORMAT_LOGIC_STYLE	0
protected static final java.lang.String	FALSE_STRING	"False"
public static final int	IMPLICATION_OUTOUT_FORMAT_1	0
public static final int	IMPLICATION_OUTOUT_FORMAT_2	1
public static final int	PATH_FORMULA	1
public static final int	STATE_FORMULA	0
public static final int	TEMPORAL_OPERATOR_OUTPUT_FORMAT_LETTER	1
public static final int	TEMPORAL_OPERATOR_OUTPUT_FORMAT_SYMBOL	0
protected static final java.lang.String	TRUE_STRING	"True"

org.svvrl.goal.core.logic.ltl.parser.LTLParserConstants

Modifier and Type	Constant Field	Value
public static final int	AND	8
public static final int	B	30
public static final int	COLON	36
public static final int	COMMA	37
public static final int	DEFAULT	0
public static final int	EOF	0
public static final int	F	20
public static final int	F_OP	11
public static final int	FF	6
public static final int	FG	32
public static final int	G	21
public static final int	G_OP	12
public static final int	GF	33
public static final int	H	28
public static final int	H_OP	16
public static final int	IFF	17
public static final int	IMP	18
public static final int	LPAR	34
public static final int	NEG	7
public static final int	O	27
public static final int	O_OP	15
public static final int	OR	9
public static final int	PROP	38
public static final int	R	24
public static final int	RPAR	35
public static final int	S	29
public static final int	T	31
public static final int	TT	5
public static final int	U	22
public static final int	W	23
public static final int	X	19
public static final int	X_OP	10
public static final int	Y	25
public static final int	Y_OP	13
public static final int	Z	26
public static final int	Z_OP	14

org.svvrl.goal.core.logic.ltl.parser.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.svvrl.goal.core.logic.ltl.parser.TokenMgrError

Modifier and Type	Constant Field	Value
static final int	INVALID_LEXICAL_STATE	2
static final int	LEXICAL_ERROR	0
static final int	LOOP_DETECTED	3
static final int	STATIC_LEXER_ERROR	1

org.svvrl.goal.core.logic.ore.parser.OREParserConstants

Modifier and Type	Constant Field	Value
public static final int	DEFAULT	0
public static final int	EMPTY	6
public static final int	EOF	0
public static final int	EPSILON	5
public static final int	LCPAR	13
public static final int	LPAR	11
public static final int	PLUS	9
public static final int	PROP	15
public static final int	QUESTION	10
public static final int	RCPAR	14
public static final int	RPAR	12
public static final int	STAR	8
public static final int	UNION	7

org.svvrl.goal.core.logic.ore.parser.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.svvrl.goal.core.logic.ore.parser.TokenMgrError

Modifier and Type	Constant Field	Value
static final int	INVALID_LEXICAL_STATE	2
static final int	LEXICAL_ERROR	0
static final int	LOOP_DETECTED	3
static final int	STATIC_LEXER_ERROR	1

org.svvrl.goal.core.logic.propositional.PLNegation

Modifier and Type	Constant Field	Value
public static final java.lang.String	OP_STR	"~"

org.svvrl.goal.core.logic.propositional.parser.PLParserConstants

Modifier and Type	Constant Field	Value
public static final int	AND	8
public static final int	DEFAULT	0
public static final int	EOF	0
public static final int	FF	6
public static final int	IFF	10
public static final int	IMP	11
public static final int	LPAR	12
public static final int	NEG	7
public static final int	OR	9
public static final int	PROP	14
public static final int	RPAR	13
public static final int	TT	5

org.svvrl.goal.core.logic.propositional.parser.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.svvrl.goal.core.logic.propositional.parser.TokenMgrError

Modifier and Type	Constant Field	Value
static final int	INVALID_LEXICAL_STATE	2
static final int	LEXICAL_ERROR	0
static final int	LOOP_DETECTED	3
static final int	STATIC_LEXER_ERROR	1

org.svvrl.goal.core.logic.qptl.QPTL

Modifier and Type	Constant Field	Value
public static final int	ARITY_ATOMIC	0
public static final int	ARITY_BINARY	2
public static final int	ARITY_QUANTIFICATION	3
public static final int	ARITY_UNARY	1
protected static final java.lang.String	ERROR_PRENEX	"This QPTL formula can not be converted to prenex normal form."
protected static final java.lang.String	FALSE_STRING	"False"
public static final int	PATH_FORMULA	1
public static final int	STATE_FORMULA	0
protected static final java.lang.String	TRUE_STRING	"True"

org.svvrl.goal.core.logic.qptl.QPTLUtil

Modifier and Type	Constant Field	Value
public static final int	OP_ALWAYS	2
public static final int	OP_BACKTO	12
public static final int	OP_BEFORE	8
public static final int	OP_EXISTS	14
public static final int	OP_FORALL	15
public static final int	OP_NEXT	1
public static final int	OP_ONCE	10
public static final int	OP_PREVIOUS	7
public static final int	OP_RELEASE	6
public static final int	OP_SINCE	11
public static final int	OP_SOFAR	9
public static final int	OP_SOMETIME	3
public static final int	OP_TRIGGER	13
public static final int	OP_UNLESS	5
public static final int	OP_UNTIL	4

org.svvrl.goal.core.logic.qptl.parser.QPTLParserConstants

Modifier and Type	Constant Field	Value
public static final int	A	34
public static final int	AND	8
public static final int	B	32
public static final int	COLON	42
public static final int	COMMA	43
public static final int	DEFAULT	0
public static final int	E	35
public static final int	EOF	0
public static final int	F	21
public static final int	F_OP	11
public static final int	FF	6
public static final int	FG	38
public static final int	G	22
public static final int	G_OP	12
public static final int	GF	39
public static final int	H	30
public static final int	H_OP	16
public static final int	IFF	17
public static final int	IMP	18
public static final int	LPAR	40
public static final int	NEG	7
public static final int	O	29
public static final int	O_OP	15
public static final int	OR	9
public static final int	PROP	44
public static final int	R	25
public static final int	RIMP	19
public static final int	RPAR	41
public static final int	S	31
public static final int	T	33
public static final int	TT	5
public static final int	U	23
public static final int	UNICODEA	36
public static final int	UNICODEE	37
public static final int	V	26
public static final int	W	24
public static final int	X	20
public static final int	X_OP	10
public static final int	Y	27
public static final int	Y_OP	13
public static final int	Z	28
public static final int	Z_OP	14

org.svvrl.goal.core.logic.qptl.parser.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.svvrl.goal.core.logic.qptl.parser.TokenMgrError

Modifier and Type	Constant Field	Value
static final int	INVALID_LEXICAL_STATE	2
static final int	LEXICAL_ERROR	0
static final int	LOOP_DETECTED	3
static final int	STATIC_LEXER_ERROR	1

org.svvrl.goal.core.logic.qptl.partial.PartialQPTLParserConstants

Modifier and Type	Constant Field	Value
public static final int	A	34
public static final int	AND	8
public static final int	B	32
public static final int	COLON	42
public static final int	COMMA	43
public static final int	DEFAULT	0
public static final int	E	35
public static final int	EOF	0
public static final int	F	21
public static final int	F_OP	11
public static final int	FF	6
public static final int	FG	38
public static final int	G	22
public static final int	G_OP	12
public static final int	GF	39
public static final int	H	30
public static final int	H_OP	16
public static final int	IFF	17
public static final int	IMP	18
public static final int	LPAR	40
public static final int	NEG	7
public static final int	O	29
public static final int	O_OP	15
public static final int	OR	9
public static final int	PROP	44
public static final int	R	25
public static final int	RIMP	19
public static final int	RPAR	41
public static final int	S	31
public static final int	T	33
public static final int	TT	5
public static final int	U	23
public static final int	UNICODEA	36
public static final int	UNICODEE	37
public static final int	V	26
public static final int	W	24
public static final int	X	20
public static final int	X_OP	10
public static final int	Y	27
public static final int	Y_OP	13
public static final int	Z	28
public static final int	Z_OP	14

org.svvrl.goal.core.logic.qptl.partial.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.svvrl.goal.core.logic.qptl.partial.TokenMgrError

Modifier and Type	Constant Field	Value
static final int	INVALID_LEXICAL_STATE	2
static final int	LEXICAL_ERROR	0
static final int	LOOP_DETECTED	3
static final int	STATIC_LEXER_ERROR	1

org.svvrl.goal.core.logic.re.parser.REParserConstants

Modifier and Type	Constant Field	Value
public static final int	DEFAULT	0
public static final int	EMPTY	6
public static final int	EOF	0
public static final int	EPSILON	5
public static final int	LPAR	11
public static final int	PLUS	9
public static final int	PROP	13
public static final int	QUESTION	10
public static final int	RPAR	12
public static final int	STAR	8
public static final int	UNION	7

org.svvrl.goal.core.logic.re.parser.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.svvrl.goal.core.logic.re.parser.TokenMgrError

Modifier and Type	Constant Field	Value
static final int	INVALID_LEXICAL_STATE	2
static final int	LEXICAL_ERROR	0
static final int	LOOP_DETECTED	3
static final int	STATIC_LEXER_ERROR	1

org.svvrl.goal.core.repo.BuchiStore

Modifier and Type	Constant Field	Value
public static final java.lang.String	BROWSE_AUTOMATON_URL	"http://buchi.im.ntu.edu.tw/index.php/browse/browseAutomaton/"
public static final java.lang.String	BROWSE_FORMULA_URL	"http://buchi.im.ntu.edu.tw/index.php/browse/browseFormula/"
public static final java.lang.String	GFF_EXTENSION	".gff"
public static final java.lang.String	GFF_URL	"http://buchi.im.ntu.edu.tw/uploads/"
public static final java.lang.String	STORE_URL	"http://buchi.im.ntu.edu.tw/"
public static final java.lang.String	THUMBNAIL_EXTENSION	".jpg"
public static final java.lang.String	THUMBNAIL_URL	"http://buchi.im.ntu.edu.tw/uploads/image/"
public static final java.lang.String	UPLOAD_URL	"http://buchi.im.ntu.edu.tw/index.php/upload/do_upload"

org.svvrl.goal.core.repo.Repository

Modifier and Type	Constant Field	Value
public static final java.lang.String	INDEX_FILE	"index.txt"

org.svvrl.goal.core.repo.store.BuchiStore

Modifier and Type	Constant Field	Value
public static final java.lang.String	BROWSE_AUTOMATON_URL	"http://buchi.im.ntu.edu.tw/index.php/browse/browseAutomaton/"
public static final java.lang.String	BROWSE_LANGUAGE_URL	"http://buchi.im.ntu.edu.tw/index.php/browse/browseLanguageClass/"
public static final java.lang.String	GFF_EXTENSION	".gff"
public static final java.lang.String	GFF_URL	"http://buchi.im.ntu.edu.tw/uploads/"
public static final int	QPTL_FORMAT1	0
public static final int	QPTL_FORMAT2	1
public static final int	QPTL_UNICODE	2
public static final java.lang.String	STORE_URL	"http://buchi.im.ntu.edu.tw/"
public static final java.lang.String	THUMBNAIL_EXTENSION	".jpg"
public static final java.lang.String	THUMBNAIL_URL	"http://buchi.im.ntu.edu.tw/uploads/image/"
public final java.lang.String	UPLOAD_URL	"http://buchi.im.ntu.edu.tw/index.php/upload/do_upload"

org.svvrl.goal.core.tran.TranslationConstants

Modifier and Type	Constant Field	Value
public static final boolean	DefaultDelegateTranslation	true
public static final boolean	DefaultReduceBeforeMerge	true
public static final boolean	DefaultSimplifyFormula	false
public static final boolean	DefaultSimplifyIntermediateNBW	true
public static final boolean	DefaultSimplifyNBW	false
public static final boolean	DefaultSimplifyNGBW	false
public static final boolean	DefaultSimplifyProjectedNBW	false
public static final boolean	DefaultSupersetReduction	false
public static final java.lang.String	DelegateTranslationSuffix	"DelegateTranslation"
public static final java.lang.String	ReduceBeforeMergeSuffix	"ReduceBeforeMerge"
public static final java.lang.String	SimplifyFormulaSuffix	"SimplifyFormula"
public static final java.lang.String	SimplifyIntermediateNBWSuffix	"SimplifyIntermediateNBW"
public static final java.lang.String	SimplifyNBWSuffix	"SimplifyNBW"
public static final java.lang.String	SimplifyNGBWSuffix	"SimplifyNGBW"
public static final java.lang.String	SimplifyProjectedNBWSuffix	"SimplifyProjectedNBW"
public static final java.lang.String	SupersetReductionSuffix	"SupersetReduction"

org.svvrl.goal.core.tran.ccj09.CCJ09

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"CCJ09"

org.svvrl.goal.core.tran.couvreur.Couvreur

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"Couvreur\'s Algorithm"

org.svvrl.goal.core.tran.couvreur.ExtendedCouvreur

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"Extended Couvreur\'s Algorithm"

org.svvrl.goal.core.tran.inctableau.Edge

Modifier and Type	Constant Field	Value
public static final int	FUTURE	1
public static final int	PAST	2
public static final int	SATISFACTORY	3

org.svvrl.goal.core.tran.kp02.KP02

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"KP02"

org.svvrl.goal.core.tran.ltl2ba.LTL2BA

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"LTL2BA (GO)"

org.svvrl.goal.core.tran.ltl2ba.LTL2VWAA

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"LTL2VWAA (GO)"

org.svvrl.goal.core.tran.ltl2buchi.ExtendedLTL2Buchi

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"Extended LTL2BUCHI (GL)"

org.svvrl.goal.core.tran.ltl2buchi.LTL2Buchi

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"LTL2BUCHI (GL)"

org.svvrl.goal.core.tran.pltl2ba.LTL2TWVWAA

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"PLTL2TWVWAA (GO)"

org.svvrl.goal.core.tran.pltl2ba.PLTL2BA

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"PLTL2BA (GO)"

org.svvrl.goal.core.tran.pltl2ba.TWVWAA2NTGBW

Modifier and Type	Constant Field	Value
public static final java.lang.String	PROP_2VWAA_PREDECESSORS	"2VWAA Predecessors"
public static final java.lang.String	PROP_2VWAA_STATES	"2VWAA States"

org.svvrl.goal.core.tran.pmt02.PMT02

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"PMT02"

org.svvrl.goal.core.tran.qptl2ba.QPTL2BA

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"QPTL2BA"

org.svvrl.goal.core.tran.tableau.Tableau

Modifier and Type	Constant Field	Value
public static final java.lang.String	NAME	"Tableau (MP)"

org.svvrl.goal.core.tran.tester.AuxVariable

Modifier and Type	Constant Field	Value
public static final int	TYPE_AUX	0
public static final int	TYPE_BOTH	2
public static final int	TYPE_PRIMED	1

org.svvrl.goal.core.tran.tester.SystemVariable

Modifier and Type	Constant Field	Value
public static final int	TYPE_AND	4
public static final int	TYPE_EQUIVALENCE	7
public static final int	TYPE_ERROR	6
public static final int	TYPE_IMPLICATION	5
public static final int	TYPE_NEGATION	1
public static final int	TYPE_OR	2
public static final int	TYPE_STATE	0
public static final int	TYPE_TEMPORAL	3

org.svvrl.goal.core.util.LatestAppearanceRecord<T>

Modifier and Type	Constant Field	Value
public static final java.lang.String	MARKER	"#"

org.svvrl.goal.core.util.XMLUtil

Modifier and Type	Constant Field	Value
public static final java.lang.String	ATTR_ENTRY_NAME	"name"
public static final java.lang.String	TAG_ENTRY	"Entry"
public static final java.lang.String	TAG_PROPERTIES	"Properties"

org.svvrl.goal.core.wiki.Description

Modifier and Type	Constant Field	Value
public static final int	EXTRA_INDENT	6

org.svvrl.goal.core.wiki.OrderedList

Modifier and Type	Constant Field	Value
public static final int	EXTRA_INDENT	2

org.svvrl.goal.core.wiki.UnorderedList

Modifier and Type	Constant Field	Value
public static final int	EXTRA_INDENT	2

org.svvrl.goal.gui.LineLayout

Modifier and Type	Constant Field	Value
public static final int	HORIZONTAL	0
public static final int	VERTICAL	1

org.svvrl.goal.gui.Tab

Modifier and Type	Constant Field	Value
public static final java.lang.String	PROPERTY_DIRTY	"dirty"
public static final java.lang.String	PROPERTY_EDITOR	"editor"
public static final java.lang.String	PROPERTY_INDEX	"index"

org.svvrl.goal.gui.TabbedPane

Modifier and Type	Constant Field	Value
public static final int	NO_IMAGE	0
public static final int	TAB_IMAGE	1
public static final int	TAB_THUMBNAIL	2

org.svvrl.goal.gui.UIPlugin

Modifier and Type	Constant Field	Value
public static final java.lang.String	PLUGIN_ID	"org.svvrl.goal.gui"

org.svvrl.goal.gui.editor.AutomatonCanvas<T extends Automaton>

Modifier and Type	Constant Field	Value
public static final double	MAX_SCALE	5.0
public static final double	MIN_SCALE	0.5
public static final double	SCALE_UNIT	0.1

org.svvrl.goal.gui.pref.Preference

Modifier and Type	Constant Field	Value
public static final int	CE_COLUMNS	50
public static final int	CE_ROWS	5
public static final java.lang.String	DisplayGuidelinesKey	"DisplayGuidelines"
public static final java.lang.String	FloatableToolbarKey	"FloatableToolbar"
public static final java.lang.String	GuidelinesColorKey	"GuidelinesColor"
public static final java.lang.String	LastWindowHeightKey	"LastWindowHeight"
public static final java.lang.String	LastWindowLocationXKey	"LastWindowLocationX"
public static final java.lang.String	LastWindowLocationYKey	"LastWindowLocationY"
public static final java.lang.String	LastWindowWidthKey	"LastWindowWidth"
public static final java.lang.String	NativeFileDialogKey	"NativeFileDialog"
public static final java.lang.String	O_CLOSE_ON_EMPTY_TAB	"CloseOnEmptyTab"
public static final java.lang.String	O_EXTERNAL_BROWSER	"UseExternalBrowser"
public static final java.lang.String	O_REMOVE_UNUSED_PROPOSITIONS	"RemoveUnusedPropositions"
public static final int	PADDING	10
public static final java.lang.String	RememberLastWindowLocationKey	"RememberLastWindowLocation"
public static final java.lang.String	SnapToGridKey	"SnapToGrid"
public static final java.lang.String	StartupDialogKey	"StartupDialog"
public static final int	TOOLTIP_WIDTH	50
public static final int	TRANSPARENT_LEVEL	10

org.svvrl.goal.gui.pref.ProductOptionsPanel

Modifier and Type	Constant Field	Value
public static final java.lang.String	PREDICATES_VALIDITY	"org.svvrl.goal.gui.pref.ProductOptionsPanel.predicates_validity"