Serialized Form
-
Package org.svvrl.goal.cmd
-
Class org.svvrl.goal.cmd.BreakException extends java.lang.Exception implements Serializable
- serialVersionUID:
- -5656524981776960363L
-
Serialized Fields
-
number
int number
The number of breaks left.
-
-
Class org.svvrl.goal.cmd.ContinueException extends java.lang.Exception implements Serializable
- serialVersionUID:
- -5656524981776960363L
-
Serialized Fields
-
number
int number
The number of continues left.
-
-
Class org.svvrl.goal.cmd.EvaluationException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 6184053549762712815L
-
-
Package org.svvrl.goal.cmd.parser
-
Class org.svvrl.goal.cmd.parser.ParseException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
java.lang.String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
java.lang.String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.svvrl.goal.cmd.parser.Token extends java.lang.Object implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
java.lang.String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Class org.svvrl.goal.cmd.parser.TokenMgrError extends java.lang.Error implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.svvrl.goal.core
-
Class org.svvrl.goal.core.AbstractEditable extends java.lang.Object implements Serializable
- serialVersionUID:
- 8937161185000969036L
-
Serialized Fields
-
listeners
java.util.List<EditableListener> listeners
A list of editable listeners. -
properties
Properties properties
Properties of this object.
-
-
Class org.svvrl.goal.core.DerivedProperty extends java.lang.Object implements Serializable
- serialVersionUID:
- 8860375588840577663L
-
Serialized Fields
-
owner
java.lang.Object owner
The object that has this property.
-
-
Class org.svvrl.goal.core.EditableCollection extends java.util.ArrayList<Editable> implements Serializable
- serialVersionUID:
- 6621898683394258853L
-
Serialized Fields
-
derived
java.util.Map<java.lang.String,DerivedProperty> derived
Derived properties of this object. -
listeners
java.util.List<EditableListener> listeners
A list of editable listeners. -
properties
Properties properties
Properties of this object. -
runtime
Properties runtime
Runtime properties of this object.
-
-
Class org.svvrl.goal.core.EditableEvent extends java.util.EventObject implements Serializable
- serialVersionUID:
- 7260436292463503112L
-
Serialized Fields
-
props
Properties props
An object containing changed properties.
-
-
Class org.svvrl.goal.core.FinishedException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 1623885495392753922L
-
Class org.svvrl.goal.core.GenerationException extends java.lang.Exception implements Serializable
- serialVersionUID:
- -5774719405796713638L
-
Class org.svvrl.goal.core.NoSuchPreferenceException extends java.lang.RuntimeException implements Serializable
- serialVersionUID:
- -2465517335566581425L
-
Class org.svvrl.goal.core.PreferenceAlreadyExistsException extends java.lang.RuntimeException implements Serializable
- serialVersionUID:
- 3263436629724000509L
-
Class org.svvrl.goal.core.Properties extends java.util.Properties implements Serializable
- serialVersionUID:
- 8520442715293159654L
-
Serialized Fields
-
listeners
java.util.List<java.beans.PropertyChangeListener> listeners
A list of listeners that are interested in the change of the properties. -
preference_lookup
boolean preference_lookup
-
-
Class org.svvrl.goal.core.UnsupportedException extends java.lang.Exception implements Serializable
- serialVersionUID:
- -1623562346381474417L
-
Class org.svvrl.goal.core.ValidationException extends java.lang.RuntimeException implements Serializable
- serialVersionUID:
- -3295575668754798286L
-
Class org.svvrl.goal.core.VersionFormatException extends java.lang.IllegalArgumentException implements Serializable
- serialVersionUID:
- 8793693141062471999L
-
-
Package org.svvrl.goal.core.aut
-
Class org.svvrl.goal.core.aut.AbstractAcc extends Acc<R extends Run<T,L>> implements Serializable
- serialVersionUID:
- -4759873325437592561L
-
Serialized Fields
-
ccls
java.lang.Class<T extends GraphicComponent> ccls
The class of components in this acceptance condition.
-
-
Class org.svvrl.goal.core.aut.AbstractGraphicComponentList extends java.util.ArrayList<T extends GraphicComponent> implements Serializable
- serialVersionUID:
- -4591411405855319617L
-
Class org.svvrl.goal.core.aut.AbstractGraphicComponentSet extends java.util.TreeSet<T extends GraphicComponent> implements Serializable
- serialVersionUID:
- 6332934097133985433L
-
Serialized Fields
-
listeners
java.util.List<SetListener<T extends GraphicComponent>> listeners
The set listeners
-
-
Class org.svvrl.goal.core.aut.AbstractListPairSetAcc extends AbstractAcc<T extends GraphicComponent,S extends AbstractGraphicComponentSet<T,S>,L extends AbstractGraphicComponentList<T,S,L>,R extends Run<T,L>,A extends AbstractListPairSetAcc<T,S,L,R,A>> implements Serializable
- serialVersionUID:
- -560867078699168059L
-
Serialized Fields
-
aps
java.util.List<Pair<S extends AbstractGraphicComponentSet<T,S>,S extends AbstractGraphicComponentSet<T,S>>> aps
The acceptance pairs. -
invisible
java.util.Map<T extends GraphicComponent,java.util.List<S extends AbstractGraphicComponentSet<T,S>>> invisible
-
-
Class org.svvrl.goal.core.aut.AbstractListSetAcc extends AbstractAcc<T extends GraphicComponent,S extends AbstractGraphicComponentSet<T,S>,L extends AbstractGraphicComponentList<T,S,L>,R extends Run<T,L>,A extends AbstractListSetAcc<T,S,L,R,A>> implements Serializable
- serialVersionUID:
- 941404842995471705L
-
Serialized Fields
-
ass
java.util.List<S extends AbstractGraphicComponentSet<T,S>> ass
The acceptance sets. -
invisible
java.util.Map<T extends GraphicComponent,java.util.List<S extends AbstractGraphicComponentSet<T,S>>> invisible
-
-
Class org.svvrl.goal.core.aut.AbstractNBWLikeAcc extends AbstractSetAcc<State,StateSet,StateList,StateRun,A extends AbstractNBWLikeAcc<A>> implements Serializable
- serialVersionUID:
- 7408986845908240702L
-
Class org.svvrl.goal.core.aut.AbstractNGBWLikeAcc extends AbstractListSetAcc<State,StateSet,StateList,StateRun,A extends AbstractNGBWLikeAcc<A>> implements Serializable
- serialVersionUID:
- 6981949514236813071L
-
Class org.svvrl.goal.core.aut.AbstractNRWLikeAcc extends AbstractListPairSetAcc<State,StateSet,StateList,StateRun,A extends AbstractNRWLikeAcc<A>> implements Serializable
- serialVersionUID:
- -560867078699168059L
-
Class org.svvrl.goal.core.aut.AbstractNTBWLikeAcc extends AbstractSetAcc<Transition,TransitionSet,TransitionList,TransitionRun,A extends AbstractNTBWLikeAcc<A>> implements Serializable
- serialVersionUID:
- 7408986845908240702L
-
Class org.svvrl.goal.core.aut.AbstractNTGBWLikeAcc extends AbstractListSetAcc<Transition,TransitionSet,TransitionList,TransitionRun,A extends AbstractNTGBWLikeAcc<A>> implements Serializable
- serialVersionUID:
- -8956972148000359544L
-
Class org.svvrl.goal.core.aut.AbstractNTRWLikeAcc extends AbstractListPairSetAcc<Transition,TransitionSet,TransitionList,TransitionRun,A extends AbstractNTRWLikeAcc<A>> implements Serializable
- serialVersionUID:
- -560867078699168059L
-
Class org.svvrl.goal.core.aut.AbstractSetAcc extends AbstractAcc<T extends GraphicComponent,S extends AbstractGraphicComponentSet<T,S>,L extends AbstractGraphicComponentList<T,S,L>,R extends Run<T,L>,A extends AbstractSetAcc<T,S,L,R,A>> implements Serializable
- serialVersionUID:
- 7408986845908240702L
-
Serialized Fields
-
as
S extends AbstractGraphicComponentSet<T,S> as
The accepting set. -
invisible
S extends AbstractGraphicComponentSet<T,S> invisible
The invisible accepting states.
-
-
Class org.svvrl.goal.core.aut.Acc extends AutomatonComponent implements Serializable
- serialVersionUID:
- 3309391187721851769L
-
Class org.svvrl.goal.core.aut.AcceptanceCondition.Renderer extends javax.swing.DefaultListCellRenderer implements Serializable
- serialVersionUID:
- 9040328787322382516L
-
Class org.svvrl.goal.core.aut.AcceptanceProperty extends DerivedProperty implements Serializable
- serialVersionUID:
- -8894208218692055629L
-
Class org.svvrl.goal.core.aut.AccEvent extends AutomatonEvent implements Serializable
- serialVersionUID:
- 7704543511400917055L
-
Class org.svvrl.goal.core.aut.Automaton extends AbstractEditable implements Serializable
- serialVersionUID:
- 416134288835069462L
-
Serialized Fields
-
acc
Acc<?> acc
The acceptance condition. -
aps
java.util.Set<java.lang.String> aps
A set of atomic propositions in the propositional alphabet or a set of symbols in the classical alphabet. -
atype
AlphabetType atype
The alphabet type. -
complete_transition
boolean complete_transition
A boolean indicating the current transition display mode. -
from_map
java.util.Map<State,TransitionSet> from_map
A map from a state to its outgoing transitions. -
from_to_map
BinaryMap<State,State,TransitionSet> from_to_map
A map from a state and another state to transitions from the first state to the second state. -
gsid
int gsid
The greatest state ID. -
gtid
int gtid
The greatest transition ID. -
inits
StateSet inits
The set of initial states. -
invisible_inits
java.util.Stack<StateSet> invisible_inits
Layers of invisible initial states. -
invisible_states
java.util.Stack<StateSet> invisible_states
Layers of invisible states. -
invisible_trans
java.util.Stack<TransitionSet> invisible_trans
Layers of invisible transitions. -
listeners
java.util.Set<AutomatonListener> listeners
A set of listeners that are interested in the changes of this automaton. -
lpos
Position lpos
The position of the labels. -
states
StateMap states
The set of states. -
to_map
java.util.Map<State,TransitionSet> to_map
A map from a state to its incoming transitions. -
trans
TransitionSet trans
The set of transitions. -
validate_transition_label
boolean validate_transition_label
-
-
Class org.svvrl.goal.core.aut.AutomatonComponent extends AbstractEditable implements Serializable
- serialVersionUID:
- -214828205580486294L
-
Serialized Fields
-
aut
Automaton aut
The automaton containing this component.
-
-
Class org.svvrl.goal.core.aut.AutomatonEvent extends java.util.EventObject implements Serializable
- serialVersionUID:
- -7429908335162363430L
-
Serialized Fields
-
id
int id
The type of this event
-
-
Class org.svvrl.goal.core.aut.BuchiAcc extends AbstractNBWLikeAcc<BuchiAcc> implements Serializable
- serialVersionUID:
- -362616471137043064L
-
Class org.svvrl.goal.core.aut.ClassicAcc extends AbstractNBWLikeAcc<ClassicAcc> implements Serializable
- serialVersionUID:
- 9091090029315954093L
-
Class org.svvrl.goal.core.aut.CoBuchiAcc extends AbstractNBWLikeAcc<CoBuchiAcc> implements Serializable
- serialVersionUID:
- 1590988730480315707L
-
Class org.svvrl.goal.core.aut.GeneralizedBuchiAcc extends AbstractNGBWLikeAcc<GeneralizedBuchiAcc> implements Serializable
- serialVersionUID:
- -4651319168585514267L
-
Class org.svvrl.goal.core.aut.GraphicComponent extends AutomatonComponent implements Serializable
- serialVersionUID:
- -7887914979712678853L
-
Serialized Fields
-
id
int id
The unique ID of this component.
-
-
Class org.svvrl.goal.core.aut.GraphicComponentComparator extends java.lang.Object implements Serializable
- serialVersionUID:
- -7674290410949334397L
-
Class org.svvrl.goal.core.aut.GraphicComponentList extends AbstractGraphicComponentList<GraphicComponent,GraphicComponentSet,GraphicComponentList> implements Serializable
- serialVersionUID:
- -6912248119353101201L
-
Class org.svvrl.goal.core.aut.GraphicComponentMap extends java.util.TreeMap<java.lang.Integer,T extends GraphicComponent> implements Serializable
- serialVersionUID:
- -5182274990657964475L
-
Class org.svvrl.goal.core.aut.GraphicComponentSet extends AbstractGraphicComponentSet<GraphicComponent,GraphicComponentSet> implements Serializable
- serialVersionUID:
- -6912248119353101201L
-
Class org.svvrl.goal.core.aut.HanoiAcc extends AbstractAcc<GraphicComponent,GraphicComponentSet,GraphicComponentList,GraphicComponentRun,HanoiAcc> implements Serializable
- serialVersionUID:
- 1567109794940564972L
-
Serialized Fields
-
ass
java.util.Map<java.lang.Integer,GraphicComponentSet> ass
All acceptance sets. -
exp
BoolExp<AcceptanceAtom> exp
The Boolean expression. -
invisible
java.util.Map<GraphicComponent,java.util.List<GraphicComponentSet>> invisible
-
-
Class org.svvrl.goal.core.aut.MullerAcc extends AbstractNGBWLikeAcc<MullerAcc> implements Serializable
- serialVersionUID:
- -4807004490865733110L
-
Class org.svvrl.goal.core.aut.ParityAcc extends AbstractNGBWLikeAcc<ParityAcc> implements Serializable
- serialVersionUID:
- -4807004490865733110L
-
Class org.svvrl.goal.core.aut.RabinAcc extends AbstractNRWLikeAcc<RabinAcc> implements Serializable
- serialVersionUID:
- 7317918979422672511L
-
Class org.svvrl.goal.core.aut.ReachabilityAcc extends AbstractNBWLikeAcc<ReachabilityAcc> implements Serializable
- serialVersionUID:
- 32976673931578765L
-
Class org.svvrl.goal.core.aut.SetEvent extends java.util.EventObject implements Serializable
- serialVersionUID:
- -6795065421734072740L
-
Serialized Fields
-
al
java.util.List<T> al
Stores the elements. -
id
int id
The event ID.
-
-
Class org.svvrl.goal.core.aut.State extends GraphicComponent implements Serializable
- serialVersionUID:
- 8030301932718250303L
-
Class org.svvrl.goal.core.aut.StateComparator extends GraphicComponentComparator<State> implements Serializable
- serialVersionUID:
- -1820028865164609062L
-
Class org.svvrl.goal.core.aut.StateEvent extends AutomatonEvent implements Serializable
- serialVersionUID:
- 2713140372739734266L
-
Class org.svvrl.goal.core.aut.StateList extends AbstractGraphicComponentList<State,StateSet,StateList> implements Serializable
- serialVersionUID:
- -2851249701710369080L
-
Class org.svvrl.goal.core.aut.StateMap extends GraphicComponentMap<State> implements Serializable
- serialVersionUID:
- -3209432500740579669L
-
Class org.svvrl.goal.core.aut.StateSet extends AbstractGraphicComponentSet<State,StateSet> implements Serializable
- serialVersionUID:
- -8247404440848834322L
-
Class org.svvrl.goal.core.aut.StreettAcc extends AbstractNRWLikeAcc<StreettAcc> implements Serializable
- serialVersionUID:
- 22781113692391411L
-
Class org.svvrl.goal.core.aut.TBuchiAcc extends AbstractNTBWLikeAcc<TBuchiAcc> implements Serializable
- serialVersionUID:
- 4919929909508925288L
-
Class org.svvrl.goal.core.aut.TCoBuchiAcc extends AbstractNTBWLikeAcc<TCoBuchiAcc> implements Serializable
- serialVersionUID:
- 8981036535123780205L
-
Class org.svvrl.goal.core.aut.TGeneralizedBuchiAcc extends AbstractNTGBWLikeAcc<TGeneralizedBuchiAcc> implements Serializable
- serialVersionUID:
- -4651319168585514267L
-
Class org.svvrl.goal.core.aut.TMullerAcc extends AbstractNTGBWLikeAcc<TMullerAcc> implements Serializable
- serialVersionUID:
- -5939973849807952201L
-
Class org.svvrl.goal.core.aut.TParityAcc extends AbstractNTGBWLikeAcc<TParityAcc> implements Serializable
- serialVersionUID:
- 8062969846927294579L
-
Class org.svvrl.goal.core.aut.TRabinAcc extends AbstractNTRWLikeAcc<TRabinAcc> implements Serializable
- serialVersionUID:
- 7923707458798172145L
-
Class org.svvrl.goal.core.aut.Transition extends GraphicComponent implements Serializable
- serialVersionUID:
- 3895282109003870395L
-
Class org.svvrl.goal.core.aut.TransitionComparator extends GraphicComponentComparator<Transition> implements Serializable
- serialVersionUID:
- -8487914838801278216L
-
Class org.svvrl.goal.core.aut.TransitionEvent extends AutomatonEvent implements Serializable
- serialVersionUID:
- -7625439730179865019L
-
Class org.svvrl.goal.core.aut.TransitionList extends AbstractGraphicComponentList<Transition,TransitionSet,TransitionList> implements Serializable
- serialVersionUID:
- -2851249701710369080L
-
Class org.svvrl.goal.core.aut.TransitionSet extends AbstractGraphicComponentSet<Transition,TransitionSet> implements Serializable
- serialVersionUID:
- 4460812860652145802L
-
Class org.svvrl.goal.core.aut.TStreettAcc extends AbstractNTRWLikeAcc<TStreettAcc> implements Serializable
- serialVersionUID:
- 22781113692391411L
-
-
Package org.svvrl.goal.core.aut.alt
-
Class org.svvrl.goal.core.aut.alt.AbstractAltAutomaton extends Automaton implements Serializable
- serialVersionUID:
- 4549030044620548390L
-
Class org.svvrl.goal.core.aut.alt.AltAutomaton extends AbstractAltAutomaton implements Serializable
- serialVersionUID:
- 1716841552879597689L
-
Class org.svvrl.goal.core.aut.alt.AltConnector extends State implements Serializable
- serialVersionUID:
- -611877359551443741L
-
Class org.svvrl.goal.core.aut.alt.AltState extends State implements Serializable
- serialVersionUID:
- 3907075997314815680L
-
Class org.svvrl.goal.core.aut.alt.AltTransition extends Transition implements Serializable
- serialVersionUID:
- 4002159981989658359L
-
-
Package org.svvrl.goal.core.aut.alt.twoway
-
Class org.svvrl.goal.core.aut.alt.twoway.TwoWayAltAutomaton extends AbstractAltAutomaton implements Serializable
- serialVersionUID:
- -2705469267571958097L
-
Serialized Fields
-
finals
StateSet finals
The set of final states.
-
-
Class org.svvrl.goal.core.aut.alt.twoway.TwoWayAltTransition extends AltTransition implements Serializable
- serialVersionUID:
- -3084739763268003797L
-
Serialized Fields
-
dir
Direction dir
The direction of this transition.
-
-
-
Package org.svvrl.goal.core.aut.fsa
-
Class org.svvrl.goal.core.aut.fsa.ConfigurationAutomaton extends FSA implements Serializable
- serialVersionUID:
- -6758781818578971127L
-
Serialized Fields
-
aut
FSA aut
-
cfgs
java.util.Map<Configuration,ConfigurationState> cfgs
A map mapping a configuration to a state in the configuration automaton. -
seq
InputSequence seq
-
-
Class org.svvrl.goal.core.aut.fsa.ConfigurationState extends FSAState implements Serializable
- serialVersionUID:
- -7090502849393062336L
-
Serialized Fields
-
cfg
Configuration cfg
The configuration of this state.
-
-
Class org.svvrl.goal.core.aut.fsa.FSA extends Automaton implements Serializable
- serialVersionUID:
- 4007366589792420436L
-
Class org.svvrl.goal.core.aut.fsa.FSAState extends State implements Serializable
- serialVersionUID:
- -2348758001189427280L
-
Class org.svvrl.goal.core.aut.fsa.FSATransition extends Transition implements Serializable
- serialVersionUID:
- 5801342551280363420L
-
Class org.svvrl.goal.core.aut.fsa.InputSimulator extends AbstractEditable implements Serializable
- serialVersionUID:
- -7510249332944813074L
-
Serialized Fields
-
aut
FSA aut
A finite state automaton. -
frozen
java.util.Set<InputSimulator.Run> frozen
The frozen configurations. -
runs
java.util.List<InputSimulator.Run> runs
The runs of configurations computed so far. -
seq
InputSequence seq
An input sequence.
-
-
Class org.svvrl.goal.core.aut.fsa.NTGBW2NBWOptions extends Properties implements Serializable
- serialVersionUID:
- 3193604514531817014L
-
Class org.svvrl.goal.core.aut.fsa.ReducedSplitTree extends SplitTree implements Serializable
- serialVersionUID:
- -632397361092410307L
-
Class org.svvrl.goal.core.aut.fsa.RunDag extends AbstractEditable implements Serializable
- serialVersionUID:
- -5895063775203451082L
-
Serialized Fields
-
aut
FSA aut
-
node_map
BinaryMap<java.lang.Integer,Configuration,RunDag.Node> node_map
-
root
RunDag.Node root
-
tree
java.util.List<java.util.Set<RunDag.Node>> tree
-
-
Class org.svvrl.goal.core.aut.fsa.RunTree extends AbstractEditable implements Serializable
- serialVersionUID:
- 131353054854423048L
-
Serialized Fields
-
aut
FSA aut
-
root
RunTree.Node root
-
tree
java.util.List<java.util.List<RunTree.Node>> tree
-
-
Class org.svvrl.goal.core.aut.fsa.SplitTree extends AbstractEditable implements Serializable
- serialVersionUID:
- 7792338271257042308L
-
Serialized Fields
-
aut
FSA aut
-
root
SplitTree.Node root
-
tree
java.util.List<java.util.List<SplitTree.Node>> tree
-
-
-
Package org.svvrl.goal.core.aut.game
-
Class org.svvrl.goal.core.aut.game.BigStepSolver.ApproximateProgressMeasure extends SmallProgressMeasureSolver.ProgressMeasure implements Serializable
- serialVersionUID:
- -8810118222101703813L
-
Class org.svvrl.goal.core.aut.game.Game extends Automaton implements Serializable
- serialVersionUID:
- 95020887107962779L
-
Class org.svvrl.goal.core.aut.game.GameEvent extends java.util.EventObject implements Serializable
- serialVersionUID:
- -4460305086466109064L
-
Class org.svvrl.goal.core.aut.game.GameState extends State implements Serializable
- serialVersionUID:
- 4935724196217654896L
-
Serialized Fields
-
player
GamePlayer player
The player that owns this state.
-
-
Class org.svvrl.goal.core.aut.game.GameTransition extends Transition implements Serializable
- serialVersionUID:
- 3339695154102023470L
-
Class org.svvrl.goal.core.aut.game.MemorylessSolution extends Solution<MemorylessStrategy> implements Serializable
- serialVersionUID:
- 4460997199791722057L
-
Class org.svvrl.goal.core.aut.game.SimpleStrategy extends java.util.HashMap<java.lang.Integer,java.lang.Integer> implements Serializable
- serialVersionUID:
- 1292360553018854096L
-
Class org.svvrl.goal.core.aut.game.SmallProgressMeasureSolver.ProgressMeasure extends java.util.HashMap<GameState,SmallProgressMeasureSolver.Tuple> implements Serializable
- serialVersionUID:
- 3417238277603859107L
-
Class org.svvrl.goal.core.aut.game.Solution extends java.util.HashMap<GamePlayer,WinningPair<T extends Strategy<?>>> implements Serializable
- serialVersionUID:
- 8673255083121362626L
-
-
Package org.svvrl.goal.core.aut.opt
-
Class org.svvrl.goal.core.aut.opt.DelayedSimulation.LOSCompoundState extends GameState implements Serializable
- serialVersionUID:
- -5877710750497319602L
-
Class org.svvrl.goal.core.aut.opt.DelayedSimulation.LOTCompoundState extends DelayedSimulation.LOSCompoundState implements Serializable
- serialVersionUID:
- -4760994060388876434L
-
Serialized Fields
-
symbol
java.lang.String symbol
-
-
Class org.svvrl.goal.core.aut.opt.FairSimulation.CompoundState extends GameState implements Serializable
- serialVersionUID:
- -4760994060388876434L
-
Class org.svvrl.goal.core.aut.opt.PruningFairSetsOptions extends Properties implements Serializable
- serialVersionUID:
- -1434682708515361024L
-
Class org.svvrl.goal.core.aut.opt.SimulationOptimizerOptions extends Properties implements Serializable
- serialVersionUID:
- 8845618177333194761L
-
-
Package org.svvrl.goal.core.comp
-
Class org.svvrl.goal.core.comp.NotContainedException extends java.lang.Exception implements Serializable
- serialVersionUID:
- -1449646936033416892L
-
Serialized Fields
-
ce
InputSequence ce
A counterexample accepted by the first automaton but not the second automaton.
-
-
-
Package org.svvrl.goal.core.comp.ms
-
Class org.svvrl.goal.core.comp.ms.MSContainmentOptions extends Properties implements Serializable
- serialVersionUID:
- -3737035906361939649L
-
Class org.svvrl.goal.core.comp.ms.MSState extends FSAState implements Serializable
- serialVersionUID:
- -620317635960345257L
-
Serialized Fields
-
tree
MSTree tree
-
-
-
Package org.svvrl.goal.core.comp.piterman
-
Class org.svvrl.goal.core.comp.piterman.PitermanContainmentOptions extends Properties implements Serializable
- serialVersionUID:
- -3907667319393767047L
-
Class org.svvrl.goal.core.comp.piterman.PitermanState extends FSAState implements Serializable
- serialVersionUID:
- -281015732087736341L
-
Serialized Fields
-
tree
CompactSafraTree tree
-
-
-
Package org.svvrl.goal.core.comp.progressmeasure
-
Class org.svvrl.goal.core.comp.progressmeasure.ProgressMeasure extends java.util.TreeMap<State,java.lang.Integer> implements Serializable
- serialVersionUID:
- 699185074735005234L
-
-
Package org.svvrl.goal.core.comp.ramsey
-
Class org.svvrl.goal.core.comp.ramsey.Profile extends java.util.ArrayList<RunSummary> implements Serializable
- serialVersionUID:
- 801803061458114574L
-
Class org.svvrl.goal.core.comp.ramsey.ProfileAutomaton extends FSA implements Serializable
- serialVersionUID:
- 68580850623448209L
-
Serialized Fields
-
alphabet
java.lang.String[] alphabet
The alphabet of the input automaton. -
empty_cache
BinaryMap<java.lang.Integer,java.lang.Integer,java.lang.Boolean> empty_cache
A cache of the emptiness. -
n
int n
The number of states of the input automaton. -
profiles
java.util.List<Profile> profiles
The created profiles. -
proper_cache
BinaryMap<java.lang.Integer,java.lang.Integer,java.lang.Boolean> proper_cache
A cache of the properness. -
source
FSA source
The input NBW to be complemented. -
src_acc
BuchiAcc src_acc
The acceptance condition of the input NBW. -
src_map
BinaryMap<State,java.lang.String,StateSet> src_map
A cache of the successor map of the input automaton. -
src_states
java.util.List<State> src_states
A set of states in the input NBW. -
succ_map
BinaryMap<Profile,java.lang.String,Profile> succ_map
A map from a profile and a symbol to a successor. -
to_profile_map
java.util.Map<State,Profile> to_profile_map
-
to_state_map
java.util.Map<Profile,State> to_state_map
-
-
Class org.svvrl.goal.core.comp.ramsey.RamseyOptions extends Properties implements Serializable
- serialVersionUID:
- 4178001413702067781L
-
Class org.svvrl.goal.core.comp.ramsey.RunSummary extends java.util.HashSet<RunPair> implements Serializable
- serialVersionUID:
- 6069248992406236058L
-
-
Package org.svvrl.goal.core.comp.rank
-
Class org.svvrl.goal.core.comp.rank.LevelRanking extends java.util.TreeMap<State,java.lang.Integer> implements Serializable
- serialVersionUID:
- 1342548849326425388L
-
-
Package org.svvrl.goal.core.comp.safra
-
Class org.svvrl.goal.core.comp.safra.ModifiedSafraContainmentOptions extends SafraContainmentOptions implements Serializable
- serialVersionUID:
- -6538604861612361274L
-
Class org.svvrl.goal.core.comp.safra.SafraContainmentOptions extends Properties implements Serializable
- serialVersionUID:
- -780004652411453953L
-
Class org.svvrl.goal.core.comp.safra.SafraState extends FSAState implements Serializable
- serialVersionUID:
- -281015732087736341L
-
Serialized Fields
-
tree
SafraTree tree
-
-
-
Package org.svvrl.goal.core.comp.schewe
-
Class org.svvrl.goal.core.comp.schewe.ScheweState extends FSAState implements Serializable
- serialVersionUID:
- -281015732087736341L
-
Serialized Fields
-
tree
HistoryTree tree
-
-
-
Package org.svvrl.goal.core.comp.slice
-
Class org.svvrl.goal.core.comp.slice.OptimizedSliceComplementOptions extends SliceKWOptions implements Serializable
- serialVersionUID:
- 7166501307160382250L
-
Class org.svvrl.goal.core.comp.slice.SliceContainmentOptions extends SliceVWOptions implements Serializable
- serialVersionUID:
- 4273725315295802175L
-
Class org.svvrl.goal.core.comp.slice.SliceKWOptions extends SliceVWOptions implements Serializable
- serialVersionUID:
- 6451407272690891043L
-
Class org.svvrl.goal.core.comp.slice.SliceOptions extends SliceKWOptions implements Serializable
- serialVersionUID:
- 5549728579497930775L
-
Class org.svvrl.goal.core.comp.slice.SliceVWOptions extends Properties implements Serializable
- serialVersionUID:
- 8000139040534014483L
-
-
Package org.svvrl.goal.core.draw
-
Class org.svvrl.goal.core.draw.ArrowInitialIndicator extends java.awt.geom.Path2D.Double implements Serializable
- serialVersionUID:
- 753722518795748406L
-
Class org.svvrl.goal.core.draw.TriangleInitialIndicator extends java.awt.geom.Path2D.Double implements Serializable
- serialVersionUID:
- -8894586734107411490L
-
Serialized Fields
-
points
java.awt.Point[] points
-
-
-
Package org.svvrl.goal.core.io
-
Class org.svvrl.goal.core.io.CodecException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 8593419753436207093L
-
-
Package org.svvrl.goal.core.io.promela
-
Class org.svvrl.goal.core.io.promela.ParseException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
java.lang.String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
java.lang.String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.svvrl.goal.core.io.promela.Token extends java.lang.Object implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
java.lang.String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Class org.svvrl.goal.core.io.promela.TokenMgrError extends java.lang.Error implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.svvrl.goal.core.layout
-
Class org.svvrl.goal.core.layout.CostFunctionRenderer extends javax.swing.DefaultListCellRenderer implements Serializable
- serialVersionUID:
- -2632593439717873867L
-
Serialized Fields
-
add_index
boolean add_index
-
-
Class org.svvrl.goal.core.layout.DPoint extends java.awt.geom.Point2D.Double implements Serializable
- serialVersionUID:
- 5885498111110148310L
-
Class org.svvrl.goal.core.layout.LayoutRenderer extends javax.swing.DefaultListCellRenderer implements Serializable
- serialVersionUID:
- -196773683122437220L
-
Serialized Fields
-
add_index
boolean add_index
-
-
-
Package org.svvrl.goal.core.logic
-
Class org.svvrl.goal.core.logic.FormulaHolder extends AbstractEditable implements Serializable
- serialVersionUID:
- 5696027554609959450L
-
Serialized Fields
-
formula
java.lang.String formula
The formula string stored in this holder. -
parser
FormulaParser<T extends Logic> parser
A parser that can parser the string into a logic formula.
-
-
Class org.svvrl.goal.core.logic.Logic extends java.lang.Object implements Serializable
- serialVersionUID:
- -3568381087754451138L
-
Class org.svvrl.goal.core.logic.ParseException extends java.lang.Exception implements Serializable
- serialVersionUID:
- -3995664866776242953L
-
Class org.svvrl.goal.core.logic.UnificationException extends java.lang.Exception implements Serializable
- serialVersionUID:
- -6908144319768664325L
-
-
Package org.svvrl.goal.core.logic.actl
-
Class org.svvrl.goal.core.logic.actl.ACTL extends Logic implements Serializable
- serialVersionUID:
- -6944720335856348368L
-
Class org.svvrl.goal.core.logic.actl.ACTLAlways extends ACTLUnary implements Serializable
- serialVersionUID:
- -7240616294851342877L
-
Class org.svvrl.goal.core.logic.actl.ACTLAnd extends ACTLBinary implements Serializable
- serialVersionUID:
- -4934152878400811286L
-
Class org.svvrl.goal.core.logic.actl.ACTLAtomic extends ACTL implements Serializable
- serialVersionUID:
- -4604889599974611459L
-
Serialized Fields
-
prop
Proposition prop
-
-
Class org.svvrl.goal.core.logic.actl.ACTLBinary extends ACTL implements Serializable
- serialVersionUID:
- 2475968179206214586L
-
Class org.svvrl.goal.core.logic.actl.ACTLFormula extends FormulaHolder<ACTL> implements Serializable
- serialVersionUID:
- -2311131477837510357L
-
Class org.svvrl.goal.core.logic.actl.ACTLNegation extends ACTLUnary implements Serializable
- serialVersionUID:
- -6794546723669035452L
-
Class org.svvrl.goal.core.logic.actl.ACTLNext extends ACTLUnary implements Serializable
- serialVersionUID:
- 3163000204588944485L
-
Class org.svvrl.goal.core.logic.actl.ACTLOr extends ACTLBinary implements Serializable
- serialVersionUID:
- -785533982282689050L
-
Class org.svvrl.goal.core.logic.actl.ACTLRelease extends ACTLBinary implements Serializable
- serialVersionUID:
- -7524259971844763026L
-
Class org.svvrl.goal.core.logic.actl.ACTLSometime extends ACTLUnary implements Serializable
- serialVersionUID:
- -3735340776990738789L
-
Class org.svvrl.goal.core.logic.actl.ACTLUnary extends ACTL implements Serializable
- serialVersionUID:
- 9100363709252625414L
-
Serialized Fields
-
formula
ACTL formula
The sub-formula of this formula.
-
-
Class org.svvrl.goal.core.logic.actl.ACTLUntil extends ACTLBinary implements Serializable
- serialVersionUID:
- 6112603550654535413L
-
-
Package org.svvrl.goal.core.logic.actl.parser
-
Class org.svvrl.goal.core.logic.actl.parser.ParseException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
java.lang.String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
java.lang.String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.svvrl.goal.core.logic.actl.parser.Token extends java.lang.Object implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
java.lang.String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Class org.svvrl.goal.core.logic.actl.parser.TokenMgrError extends java.lang.Error implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.svvrl.goal.core.logic.ltl
-
Class org.svvrl.goal.core.logic.ltl.LTL extends Logic implements Serializable
- serialVersionUID:
- -1043771936961165962L
-
Class org.svvrl.goal.core.logic.ltl.LTLAlways extends LTLUnary implements Serializable
- serialVersionUID:
- 1862785701365869983L
-
Class org.svvrl.goal.core.logic.ltl.LTLAnd extends LTLBinary implements Serializable
- serialVersionUID:
- -6956615643923759076L
-
Class org.svvrl.goal.core.logic.ltl.LTLAtomic extends LTL implements Serializable
- serialVersionUID:
- -5467740334037800904L
-
Serialized Fields
-
proposition
Proposition proposition
The proposition.
-
-
Class org.svvrl.goal.core.logic.ltl.LTLBackto extends LTLBinary implements Serializable
- serialVersionUID:
- -8213238570500787878L
-
Class org.svvrl.goal.core.logic.ltl.LTLBefore extends LTLUnary implements Serializable
- serialVersionUID:
- -8838067484236427383L
-
Class org.svvrl.goal.core.logic.ltl.LTLBinary extends LTL implements Serializable
- serialVersionUID:
- 4679401881407850463L
-
Class org.svvrl.goal.core.logic.ltl.LTLEquivalence extends LTLBinary implements Serializable
- serialVersionUID:
- 7628604421151285120L
-
Class org.svvrl.goal.core.logic.ltl.LTLImplication extends LTLBinary implements Serializable
- serialVersionUID:
- -3717939104063253620L
-
Class org.svvrl.goal.core.logic.ltl.LTLNegation extends LTLUnary implements Serializable
- serialVersionUID:
- 3735371458828045371L
-
Class org.svvrl.goal.core.logic.ltl.LTLNext extends LTLUnary implements Serializable
- serialVersionUID:
- -5613560854765228894L
-
Class org.svvrl.goal.core.logic.ltl.LTLOnce extends LTLUnary implements Serializable
- serialVersionUID:
- 2712210679893439467L
-
Class org.svvrl.goal.core.logic.ltl.LTLOr extends LTLBinary implements Serializable
- serialVersionUID:
- -3970865392227502003L
-
Class org.svvrl.goal.core.logic.ltl.LTLPrevious extends LTLUnary implements Serializable
- serialVersionUID:
- 7206632601105072658L
-
Class org.svvrl.goal.core.logic.ltl.LTLRelease extends LTLBinary implements Serializable
- serialVersionUID:
- -5570830677485736419L
-
Class org.svvrl.goal.core.logic.ltl.LTLSet extends HashSet<LTL> implements Serializable
- serialVersionUID:
- 1335754709695821515L
-
Class org.svvrl.goal.core.logic.ltl.LTLSince extends LTLBinary implements Serializable
- serialVersionUID:
- 3548904568453373790L
-
Class org.svvrl.goal.core.logic.ltl.LTLSofar extends LTLUnary implements Serializable
- serialVersionUID:
- -1415353361737604409L
-
Class org.svvrl.goal.core.logic.ltl.LTLSometime extends LTLUnary implements Serializable
- serialVersionUID:
- 3943102053385385051L
-
Class org.svvrl.goal.core.logic.ltl.LTLTrigger extends LTLBinary implements Serializable
- serialVersionUID:
- 1979561007399229011L
-
Class org.svvrl.goal.core.logic.ltl.LTLUnary extends LTL implements Serializable
- serialVersionUID:
- -8743091210727845054L
-
Serialized Fields
-
formula
LTL formula
The sub-formula.
-
-
Class org.svvrl.goal.core.logic.ltl.LTLUnless extends LTLBinary implements Serializable
- serialVersionUID:
- -7926619278340449214L
-
Class org.svvrl.goal.core.logic.ltl.LTLUntil extends LTLBinary implements Serializable
- serialVersionUID:
- -3152158204256219504L
-
-
Package org.svvrl.goal.core.logic.ltl.parser
-
Class org.svvrl.goal.core.logic.ltl.parser.ParseException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
java.lang.String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
java.lang.String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.svvrl.goal.core.logic.ltl.parser.Token extends java.lang.Object implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
java.lang.String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Class org.svvrl.goal.core.logic.ltl.parser.TokenMgrError extends java.lang.Error implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.svvrl.goal.core.logic.ore
-
Class org.svvrl.goal.core.logic.ore.EditableORE extends FormulaHolder<ORExpression> implements Serializable
- serialVersionUID:
- -5566327036381377375L
-
Class org.svvrl.goal.core.logic.ore.ORESingleton extends ORExpression implements Serializable
- serialVersionUID:
- -2540097928492387032L
-
Serialized Fields
-
prefix
RegularExpression prefix
-
suffix
RegularExpression suffix
-
-
Class org.svvrl.goal.core.logic.ore.ORETranslationOptions extends Properties implements Serializable
- serialVersionUID:
- 1915240691090613992L
-
Class org.svvrl.goal.core.logic.ore.OREUnion extends ORExpression implements Serializable
- serialVersionUID:
- 1342064219868905610L
-
Serialized Fields
-
expr1
ORExpression expr1
-
expr2
ORExpression expr2
-
-
Class org.svvrl.goal.core.logic.ore.ORExpression extends Logic implements Serializable
- serialVersionUID:
- -6473939515994149965L
-
-
Package org.svvrl.goal.core.logic.ore.parser
-
Class org.svvrl.goal.core.logic.ore.parser.ParseException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
java.lang.String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
java.lang.String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.svvrl.goal.core.logic.ore.parser.Token extends java.lang.Object implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
java.lang.String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Class org.svvrl.goal.core.logic.ore.parser.TokenMgrError extends java.lang.Error implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.svvrl.goal.core.logic.propositional
-
Class org.svvrl.goal.core.logic.propositional.PL extends Logic implements Serializable
- serialVersionUID:
- -8709238104065860245L
-
Class org.svvrl.goal.core.logic.propositional.PLAnd extends PLBinary implements Serializable
- serialVersionUID:
- 7346890190525129349L
-
Class org.svvrl.goal.core.logic.propositional.PLAtomic extends PL implements Serializable
- serialVersionUID:
- -522868518746414255L
-
Serialized Fields
-
prop
Proposition prop
-
-
Class org.svvrl.goal.core.logic.propositional.PLBinary extends PL implements Serializable
- serialVersionUID:
- 8237836870747002233L
-
Class org.svvrl.goal.core.logic.propositional.PLEquivalence extends PLBinary implements Serializable
- serialVersionUID:
- -4180212775843219954L
-
Class org.svvrl.goal.core.logic.propositional.PLFormula extends FormulaHolder<PL> implements Serializable
- serialVersionUID:
- 7781168220604375785L
-
Class org.svvrl.goal.core.logic.propositional.PLImplication extends PLBinary implements Serializable
- serialVersionUID:
- 4600278027752018043L
-
Class org.svvrl.goal.core.logic.propositional.PLNegation extends PLUnary implements Serializable
- serialVersionUID:
- 5340232006346680198L
-
Class org.svvrl.goal.core.logic.propositional.PLOr extends PLBinary implements Serializable
- serialVersionUID:
- -3580234689924570214L
-
Class org.svvrl.goal.core.logic.propositional.PLUnary extends PL implements Serializable
- serialVersionUID:
- -2021216477553240304L
-
Serialized Fields
-
op_string
java.lang.String op_string
The string representation of the unary operator. -
sub
PL sub
The sub-formula of this unary formula.
-
-
-
Package org.svvrl.goal.core.logic.propositional.parser
-
Class org.svvrl.goal.core.logic.propositional.parser.ParseException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
java.lang.String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
java.lang.String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.svvrl.goal.core.logic.propositional.parser.Token extends java.lang.Object implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
java.lang.String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Class org.svvrl.goal.core.logic.propositional.parser.TokenMgrError extends java.lang.Error implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.svvrl.goal.core.logic.qptl
-
Class org.svvrl.goal.core.logic.qptl.QPTL extends Logic implements Serializable
- serialVersionUID:
- -2074047141133439660L
-
Class org.svvrl.goal.core.logic.qptl.QPTLAlways extends QPTLUnary implements Serializable
- serialVersionUID:
- 6000061308969066224L
-
Class org.svvrl.goal.core.logic.qptl.QPTLAnd extends QPTLBinary implements Serializable
- serialVersionUID:
- 3130734927137453768L
-
Class org.svvrl.goal.core.logic.qptl.QPTLAtomic extends QPTL implements Serializable
- serialVersionUID:
- 4793971524789068206L
-
Serialized Fields
-
proposition
Proposition proposition
The proposition.
-
-
Class org.svvrl.goal.core.logic.qptl.QPTLBackto extends QPTLBinary implements Serializable
- serialVersionUID:
- 976032843276166527L
-
Class org.svvrl.goal.core.logic.qptl.QPTLBefore extends QPTLUnary implements Serializable
- serialVersionUID:
- -8005915154678063642L
-
Class org.svvrl.goal.core.logic.qptl.QPTLBinary extends QPTL implements Serializable
- serialVersionUID:
- -4095334149043704710L
-
Class org.svvrl.goal.core.logic.qptl.QPTLEquivalence extends QPTLBinary implements Serializable
- serialVersionUID:
- -2050630648276368935L
-
Class org.svvrl.goal.core.logic.qptl.QPTLExists extends QPTLQuantification implements Serializable
- serialVersionUID:
- -4023617192344017731L
-
Class org.svvrl.goal.core.logic.qptl.QPTLForall extends QPTLQuantification implements Serializable
- serialVersionUID:
- -3849944854121869275L
-
Class org.svvrl.goal.core.logic.qptl.QPTLFormula extends FormulaHolder<QPTL> implements Serializable
- serialVersionUID:
- 3632127167308191530L
-
Class org.svvrl.goal.core.logic.qptl.QPTLImplication extends QPTLBinary implements Serializable
- serialVersionUID:
- 6440102547652285271L
-
Class org.svvrl.goal.core.logic.qptl.QPTLNegation extends QPTLUnary implements Serializable
- serialVersionUID:
- 4235995748667432262L
-
Class org.svvrl.goal.core.logic.qptl.QPTLNext extends QPTLUnary implements Serializable
- serialVersionUID:
- -6527698858861101621L
-
Class org.svvrl.goal.core.logic.qptl.QPTLOnce extends QPTLUnary implements Serializable
- serialVersionUID:
- 164027641942634539L
-
Class org.svvrl.goal.core.logic.qptl.QPTLOr extends QPTLBinary implements Serializable
- serialVersionUID:
- 6734409080137368903L
-
Class org.svvrl.goal.core.logic.qptl.QPTLParenthesis extends QPTLUnary implements Serializable
- serialVersionUID:
- -7313076051071073249L
-
Serialized Fields
-
left
boolean left
-
right
boolean right
-
-
Class org.svvrl.goal.core.logic.qptl.QPTLPrevious extends QPTLUnary implements Serializable
- serialVersionUID:
- -6164747946827769093L
-
Class org.svvrl.goal.core.logic.qptl.QPTLQuantification extends QPTL implements Serializable
- serialVersionUID:
- 8467079825743152487L
-
Serialized Fields
-
formula
QPTL formula
The sub-formula. -
proposition
Proposition proposition
The quantified variable.
-
-
Class org.svvrl.goal.core.logic.qptl.QPTLRelease extends QPTLBinary implements Serializable
- serialVersionUID:
- 7220865787914005332L
-
Class org.svvrl.goal.core.logic.qptl.QPTLSince extends QPTLBinary implements Serializable
- serialVersionUID:
- -2802105342986774128L
-
Class org.svvrl.goal.core.logic.qptl.QPTLSofar extends QPTLUnary implements Serializable
- serialVersionUID:
- -2706450723979027225L
-
Class org.svvrl.goal.core.logic.qptl.QPTLSometime extends QPTLUnary implements Serializable
- serialVersionUID:
- 3314873201511220880L
-
Class org.svvrl.goal.core.logic.qptl.QPTLTrigger extends QPTLBinary implements Serializable
- serialVersionUID:
- -4181204763643269398L
-
Class org.svvrl.goal.core.logic.qptl.QPTLUnary extends QPTL implements Serializable
- serialVersionUID:
- 3208536239900507628L
-
Serialized Fields
-
formula
QPTL formula
The sub-formula.
-
-
Class org.svvrl.goal.core.logic.qptl.QPTLUnless extends QPTLBinary implements Serializable
- serialVersionUID:
- -6831519092905049768L
-
Class org.svvrl.goal.core.logic.qptl.QPTLUntil extends QPTLBinary implements Serializable
- serialVersionUID:
- 4603786312449417865L
-
-
Package org.svvrl.goal.core.logic.qptl.parser
-
Class org.svvrl.goal.core.logic.qptl.parser.ParseException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
java.lang.String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
java.lang.String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.svvrl.goal.core.logic.qptl.parser.Token extends java.lang.Object implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
java.lang.String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Class org.svvrl.goal.core.logic.qptl.parser.TokenMgrError extends java.lang.Error implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.svvrl.goal.core.logic.qptl.partial
-
Class org.svvrl.goal.core.logic.qptl.partial.ParseException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
java.lang.String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
java.lang.String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.svvrl.goal.core.logic.qptl.partial.Token extends java.lang.Object implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
java.lang.String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Class org.svvrl.goal.core.logic.qptl.partial.TokenMgrError extends java.lang.Error implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.svvrl.goal.core.logic.re
-
Class org.svvrl.goal.core.logic.re.EditableRE extends FormulaHolder<RegularExpression> implements Serializable
- serialVersionUID:
- 3523837513067836538L
-
Class org.svvrl.goal.core.logic.re.REAtomic extends RegularExpression implements Serializable
- serialVersionUID:
- 6433982594535803211L
-
Serialized Fields
-
prop
Proposition prop
-
-
Class org.svvrl.goal.core.logic.re.REConcatenation extends RegularExpression implements Serializable
- serialVersionUID:
- 6904560055233559959L
-
Serialized Fields
-
expr1
RegularExpression expr1
-
expr2
RegularExpression expr2
-
-
Class org.svvrl.goal.core.logic.re.REEmpty extends RegularExpression implements Serializable
- serialVersionUID:
- 4626147042523673057L
-
Class org.svvrl.goal.core.logic.re.REEpsilon extends RegularExpression implements Serializable
- serialVersionUID:
- -3521419582727340906L
-
Class org.svvrl.goal.core.logic.re.RegularExpression extends Logic implements Serializable
- serialVersionUID:
- 5189745867356633718L
-
Class org.svvrl.goal.core.logic.re.REPlus extends REConcatenation implements Serializable
- serialVersionUID:
- 3217300644366675943L
-
Class org.svvrl.goal.core.logic.re.REQuestion extends REUnion implements Serializable
- serialVersionUID:
- -8619237159270950396L
-
Class org.svvrl.goal.core.logic.re.REStar extends RegularExpression implements Serializable
- serialVersionUID:
- 3178162546142187277L
-
Serialized Fields
-
expr
RegularExpression expr
-
-
Class org.svvrl.goal.core.logic.re.RETranslationOptions extends Properties implements Serializable
- serialVersionUID:
- -8147655246053400239L
-
Class org.svvrl.goal.core.logic.re.REUnion extends RegularExpression implements Serializable
- serialVersionUID:
- 6291730055676146843L
-
Serialized Fields
-
expr1
RegularExpression expr1
-
expr2
RegularExpression expr2
-
-
-
Package org.svvrl.goal.core.logic.re.parser
-
Class org.svvrl.goal.core.logic.re.parser.ParseException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
java.lang.String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
java.lang.String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.svvrl.goal.core.logic.re.parser.Token extends java.lang.Object implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
java.lang.String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Class org.svvrl.goal.core.logic.re.parser.TokenMgrError extends java.lang.Error implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.svvrl.goal.core.repo
-
Class org.svvrl.goal.core.repo.EntryCellRender extends javax.swing.DefaultListCellRenderer implements Serializable
- serialVersionUID:
- 2120723340374725859L
-
Class org.svvrl.goal.core.repo.LocalEntry extends Entry implements Serializable
- serialVersionUID:
- 8941204887401361501L
-
Serialized Fields
-
filename
java.lang.String filename
The name of the target GFF file in this entry.
-
-
-
Package org.svvrl.goal.core.tran
-
Class org.svvrl.goal.core.tran.TranslationAlgorithm.ListCellRender extends javax.swing.DefaultListCellRenderer implements Serializable
- serialVersionUID:
- -8734227112919390929L
-
-
Package org.svvrl.goal.core.tran.couvreur
-
Class org.svvrl.goal.core.tran.couvreur.CouvreurOptions extends Properties implements Serializable
- serialVersionUID:
- 2907372868893880L
-
Class org.svvrl.goal.core.tran.couvreur.ExtendedSuccessorSet extends java.util.HashSet<ExtendedSuccessor> implements Serializable
- serialVersionUID:
- 7333509391052450096L
-
Class org.svvrl.goal.core.tran.couvreur.SuccessorSet extends java.util.HashSet<Successor> implements Serializable
- serialVersionUID:
- -5883033479020105187L
-
-
Package org.svvrl.goal.core.tran.extendedonthefly
-
Class org.svvrl.goal.core.tran.extendedonthefly.ExtendedGPVWOptions extends Properties implements Serializable
- serialVersionUID:
- 4508747752678604976L
-
Class org.svvrl.goal.core.tran.extendedonthefly.ExtendedGPVWPlusOptions extends Properties implements Serializable
- serialVersionUID:
- 1779297753610966656L
-
Class org.svvrl.goal.core.tran.extendedonthefly.ExtendedLTL2AUTOptions extends Properties implements Serializable
- serialVersionUID:
- -3978855453967520601L
-
Class org.svvrl.goal.core.tran.extendedonthefly.ExtendedLTL2AUTPlusOptions extends Properties implements Serializable
- serialVersionUID:
- 6755218611214151552L
-
-
Package org.svvrl.goal.core.tran.inctableau
-
Class org.svvrl.goal.core.tran.inctableau.IncrementalTableauOptions extends Properties implements Serializable
- serialVersionUID:
- 3774882497289421672L
-
-
Package org.svvrl.goal.core.tran.ltl2ba
-
Class org.svvrl.goal.core.tran.ltl2ba.LTL2BAOptions extends Properties implements Serializable
- serialVersionUID:
- -2398653434671267193L
-
-
Package org.svvrl.goal.core.tran.ltl2buchi
-
Class org.svvrl.goal.core.tran.ltl2buchi.LTL2BuchiOptions extends Properties implements Serializable
- serialVersionUID:
- 3695464022587405599L
-
-
Package org.svvrl.goal.core.tran.modella
-
Class org.svvrl.goal.core.tran.modella.Cover extends HashSet<CoverElement> implements Serializable
- serialVersionUID:
- 581855991629147370L
-
Class org.svvrl.goal.core.tran.modella.CoverElement extends LTLSet implements Serializable
- serialVersionUID:
- 5049302331007377707L
-
Serialized Fields
-
substates
Cover substates
-
-
Class org.svvrl.goal.core.tran.modella.ModellaOptions extends Properties implements Serializable
- serialVersionUID:
- 7863618713168772720L
-
-
Package org.svvrl.goal.core.tran.pltl2ba
-
Class org.svvrl.goal.core.tran.pltl2ba.PLTL2BAOptions extends Properties implements Serializable
- serialVersionUID:
- 7509948125839337029L
-
-
Package org.svvrl.goal.core.tran.qptl2ba
-
Class org.svvrl.goal.core.tran.qptl2ba.QPTL2BAOptions extends Properties implements Serializable
- serialVersionUID:
- 1840539030652168441L
-
-
Package org.svvrl.goal.core.tran.tableau
-
Class org.svvrl.goal.core.tran.tableau.Closure extends HashSet<LTL> implements Serializable
- serialVersionUID:
- 8323896174679346217L
-
Class org.svvrl.goal.core.tran.tableau.TableauOptions extends Properties implements Serializable
- serialVersionUID:
- 7863618713168772720L
-
-
Package org.svvrl.goal.core.tran.tester
-
Class org.svvrl.goal.core.tran.tester.FDSState extends java.lang.Object implements Serializable
- serialVersionUID:
- 2663486926513228958L
-
Class org.svvrl.goal.core.tran.tester.FDSTransition extends java.lang.Object implements Serializable
- serialVersionUID:
- 4525325443346362803L
-
Class org.svvrl.goal.core.tran.tester.TemporalTesterOptions extends Properties implements Serializable
- serialVersionUID:
- 5279448411974962092L
-
-
Package org.svvrl.goal.core.util
-
Class org.svvrl.goal.core.util.BinaryMap extends java.util.HashMap<K1,java.util.Map<K2,V>> implements Serializable
- serialVersionUID:
- 7402822987091979242L
-
Class org.svvrl.goal.core.util.ConcurrentBinaryMap extends java.util.concurrent.ConcurrentHashMap<K1,java.util.concurrent.ConcurrentHashMap<K2,V>> implements Serializable
- serialVersionUID:
- 7402822987091979242L
-
Class org.svvrl.goal.core.util.HashSet extends java.util.HashSet<T> implements Serializable
- serialVersionUID:
- 8343382898871066790L
-
Class org.svvrl.goal.core.util.MaximumRetryException extends java.lang.Exception implements Serializable
- serialVersionUID:
- -4851891822371501318L
-
Class org.svvrl.goal.core.util.TrinaryMap extends java.util.HashMap<K1,java.util.Map<K2,java.util.Map<K3,V>>> implements Serializable
- serialVersionUID:
- -2055670973165428721L
-
-
Package org.svvrl.goal.core.wiki
-
Class org.svvrl.goal.core.wiki.Blocks extends java.util.ArrayList<Block> implements Serializable
- serialVersionUID:
- 6071531167197077707L
-
Class org.svvrl.goal.core.wiki.Bold extends Span implements Serializable
- serialVersionUID:
- -7163149605218420575L
-
Class org.svvrl.goal.core.wiki.DefinitionList extends Blocks implements Serializable
- serialVersionUID:
- -6626934537902392912L
-
Class org.svvrl.goal.core.wiki.Delete extends Span implements Serializable
- serialVersionUID:
- 3370407285370195322L
-
Class org.svvrl.goal.core.wiki.Headline extends InlineBlock implements Serializable
- serialVersionUID:
- -2249934218637896678L
-
Serialized Fields
-
level
int level
-
-
Class org.svvrl.goal.core.wiki.InlineBlock extends Span implements Serializable
- serialVersionUID:
- -8501703990317048384L
-
Class org.svvrl.goal.core.wiki.Italic extends Span implements Serializable
- serialVersionUID:
- 1013929971552901915L
-
Class org.svvrl.goal.core.wiki.Monospace extends Span implements Serializable
- serialVersionUID:
- 7451795476120604454L
-
Class org.svvrl.goal.core.wiki.OrderedList extends Blocks implements Serializable
- serialVersionUID:
- -83112230087921726L
-
Class org.svvrl.goal.core.wiki.Paragraph extends InlineBlock implements Serializable
- serialVersionUID:
- -5144214086273095867L
-
Class org.svvrl.goal.core.wiki.Span extends java.util.ArrayList<Inline> implements Serializable
- serialVersionUID:
- 3437177687160800417L
-
Serialized Fields
-
entities
HTMLEntities entities
-
-
Class org.svvrl.goal.core.wiki.Subscript extends Span implements Serializable
- serialVersionUID:
- 4238475116052398415L
-
Class org.svvrl.goal.core.wiki.Superscript extends Span implements Serializable
- serialVersionUID:
- -223340059456828552L
-
Class org.svvrl.goal.core.wiki.Underline extends Span implements Serializable
- serialVersionUID:
- -2896323716037844745L
-
Class org.svvrl.goal.core.wiki.UnorderedList extends Blocks implements Serializable
- serialVersionUID:
- -158076687506689680L
-
-
Package org.svvrl.goal.gui
-
Class org.svvrl.goal.gui.AboutWindow extends UIDialog implements Serializable
- serialVersionUID:
- -2928641683677951607L
-
Serialized Fields
-
model
javax.swing.table.DefaultTableModel model
-
-
Class org.svvrl.goal.gui.AbstractSimulationRelationDialog extends UIDialog implements Serializable
- serialVersionUID:
- 8854762549934035129L
-
Serialized Fields
-
height
int height
-
highlighter
AutomatonHighlighter highlighter
-
list1
javax.swing.JList<java.util.Set<State>> list1
The list for the first simulation equivalence. -
list2
javax.swing.JList<java.util.Set<State>> list2
The list for the second simulation equivalence. -
model1
org.svvrl.goal.gui.AbstractSimulationRelationDialog.SimulationTableModel model1
The table model for the first simulation relation. -
model2
org.svvrl.goal.gui.AbstractSimulationRelationDialog.SimulationTableModel model2
The table model for the second simulation relation. -
table1
javax.swing.JTable table1
The table for the first simulation relation. -
table2
javax.swing.JTable table2
The table for the second simulation relation. -
width
int width
-
-
Class org.svvrl.goal.gui.AutomatonSearchDialog extends SearchDialog<Automaton> implements Serializable
- serialVersionUID:
- 6295467872118311984L
-
Serialized Fields
-
canvas
AutomatonCanvas<?> canvas
-
color
java.util.Map<GraphicComponent,java.awt.Color> color
-
drawer
AutomatonDrawer<?> drawer
-
opacity
java.util.Map<GraphicComponent,java.lang.Integer> opacity
-
-
Class org.svvrl.goal.gui.Browser extends javax.swing.JFrame implements Serializable
- serialVersionUID:
- 7553484331075636690L
-
Serialized Fields
-
browser
javax.swing.JButton browser
-
current
int current
The index of the current page inhistory
. -
epane
javax.swing.JEditorPane epane
-
history
java.util.List<Browser.History> history
-
home
javax.swing.JButton home
-
homepage
java.net.URL homepage
-
image_window
org.svvrl.goal.gui.Browser.ImageWindow image_window
-
next
javax.swing.JButton next
-
prev
javax.swing.JButton prev
-
spane
javax.swing.JScrollPane spane
-
-
Class org.svvrl.goal.gui.ColorLabel extends javax.swing.JLabel implements Serializable
- serialVersionUID:
- -554613107378487221L
-
Serialized Fields
-
color
java.awt.Color color
-
parent
java.awt.Component parent
-
-
Class org.svvrl.goal.gui.ControllableTab extends Tab implements Serializable
- serialVersionUID:
- -3901808427923157432L
-
Serialized Fields
-
calg
EditableAlgorithm calg
-
color_flag
boolean color_flag
-
flip_color
boolean flip_color
-
msgpane
javax.swing.JTextPane msgpane
-
spane
javax.swing.JSplitPane spane
-
-
Class org.svvrl.goal.gui.DelayedSimulationRelationDialog extends AbstractSimulationRelationDialog implements Serializable
- serialVersionUID:
- -4936752800831189861L
-
Class org.svvrl.goal.gui.EditorTab extends Tab implements Serializable
- serialVersionUID:
- 2505329580823468008L
-
Class org.svvrl.goal.gui.FairSimulationRelationDialog extends AbstractSimulationRelationDialog implements Serializable
- serialVersionUID:
- -1162184610202919823L
-
Class org.svvrl.goal.gui.ImageGlassPane extends javax.swing.JPanel implements Serializable
- serialVersionUID:
- 4192903435694570388L
-
Serialized Fields
-
composite
java.awt.AlphaComposite composite
-
image
java.awt.Image image
-
point
java.awt.Point point
-
-
Class org.svvrl.goal.gui.IndexedListCellRender extends javax.swing.DefaultListCellRenderer implements Serializable
- serialVersionUID:
- 6124559058116107064L
-
Serialized Fields
-
modulus
int modulus
-
start
int start
-
step
int step
-
-
Class org.svvrl.goal.gui.InputSimulatorTab extends Tab implements Serializable
- serialVersionUID:
- -1247394135698297470L
-
Serialized Fields
-
aut
FSA aut
-
simulator
InputSimulator simulator
-
spane
javax.swing.JSplitPane spane
-
viewer
InputSimulatorViewer viewer
-
-
Class org.svvrl.goal.gui.LabelArea extends javax.swing.JScrollPane implements Serializable
- serialVersionUID:
- -183241402606336229L
-
Serialized Fields
-
area
javax.swing.JTextArea area
-
-
Class org.svvrl.goal.gui.MenuBar extends javax.swing.JMenuBar implements Serializable
- serialVersionUID:
- -337921956050259324L
-
Class org.svvrl.goal.gui.NewDialog extends UIDialog implements Serializable
- serialVersionUID:
- -6797011053783514792L
-
Serialized Fields
-
cancel
javax.swing.JButton cancel
-
ok
javax.swing.JButton ok
-
tree
javax.swing.JTree tree
-
-
Class org.svvrl.goal.gui.NoAcceptableObjectException extends java.lang.Exception implements Serializable
- serialVersionUID:
- -6516325170164437713L
-
Class org.svvrl.goal.gui.PreviewFileChooser extends javax.swing.JFileChooser implements Serializable
- serialVersionUID:
- -2974236728231806422L
-
Class org.svvrl.goal.gui.ProgressDialog extends UIDialog implements Serializable
- serialVersionUID:
- -5004658471300399672L
-
Serialized Fields
-
area
javax.swing.JTextArea area
-
bar
javax.swing.JProgressBar bar
-
bg
javax.swing.JButton bg
-
stage
boolean stage
-
step
boolean step
-
-
Class org.svvrl.goal.gui.PromelaDialog extends UIDialog implements Serializable
- serialVersionUID:
- 3578583496879270368L
-
Class org.svvrl.goal.gui.PropertyNamesSelector extends TwoListSelector<java.lang.String> implements Serializable
- serialVersionUID:
- -418061907332156830L
-
Serialized Fields
-
builtin
java.lang.String[] builtin
-
create
javax.swing.JButton create
The button for creating a new user-defined property. -
remove
javax.swing.JButton remove
The button for removing a user-defined property.
-
-
Class org.svvrl.goal.gui.RecentFilesDialog extends UIDialog implements Serializable
- serialVersionUID:
- 8171633307010273759L
-
Serialized Fields
-
files
java.io.File[] files
-
list
javax.swing.JList<java.io.File> list
-
window
Window window
-
-
Class org.svvrl.goal.gui.RunDagTab extends Tab implements Serializable
- serialVersionUID:
- 7445161820962574830L
-
Serialized Fields
-
aut
FSA aut
-
dag
RunDag dag
-
editor
AutomatonEditor<?> editor
-
field
javax.swing.JTextField field
-
spane
javax.swing.JSplitPane spane
-
viewer
RunDagViewer viewer
-
-
Class org.svvrl.goal.gui.RunTreeTab extends Tab implements Serializable
- serialVersionUID:
- 7445161820962574830L
-
Serialized Fields
-
aut
FSA aut
-
editor
AutomatonEditor<?> editor
-
field
javax.swing.JTextField field
-
spane
javax.swing.JSplitPane spane
-
tree
RunTree tree
-
viewer
RunTreeViewer viewer
-
-
Class org.svvrl.goal.gui.SearchDialog extends UIDialog implements Serializable
- serialVersionUID:
- 2457103344335167387L
-
Serialized Fields
-
close
javax.swing.JButton close
-
editable
T extends Editable editable
-
exact_match_box
javax.swing.JCheckBox exact_match_box
-
field
javax.swing.JTextField field
-
list
javax.swing.JList<java.lang.Object> list
-
model
javax.swing.DefaultListModel<java.lang.Object> model
-
msg_label
javax.swing.JLabel msg_label
-
search
javax.swing.JButton search
-
selected
java.util.Set<java.lang.Object> selected
-
-
Class org.svvrl.goal.gui.SimulationRelationDialog extends AbstractSimulationRelationDialog implements Serializable
- serialVersionUID:
- -491877369285914848L
-
Class org.svvrl.goal.gui.SplitTreeTab extends Tab implements Serializable
- serialVersionUID:
- 7445161820962574830L
-
Serialized Fields
-
aut
FSA aut
-
editor
AutomatonEditor<?> editor
-
field
javax.swing.JTextField field
-
spane
javax.swing.JSplitPane spane
-
tree
SplitTree tree
-
viewer
SplitTreeViewer viewer
-
-
Class org.svvrl.goal.gui.StartupDialog extends UIDialog implements Serializable
- serialVersionUID:
- -6034120457277651472L
-
Serialized Fields
-
bg
java.awt.Color bg
-
close
javax.swing.JButton close
-
height
int height
The height of this startup dialog. -
next_box
javax.swing.JCheckBox next_box
-
next_label
javax.swing.JLabel next_label
-
welcome
javax.swing.JLabel welcome
-
width
int width
The width of this startup dialog.
-
-
Class org.svvrl.goal.gui.StatusBar extends javax.swing.JPanel implements Serializable
- serialVersionUID:
- -5690678984278853172L
-
Serialized Fields
-
type
javax.swing.JLabel type
-
-
Class org.svvrl.goal.gui.Tab extends javax.swing.JPanel implements Serializable
- serialVersionUID:
- 5119063949157261885L
-
Serialized Fields
-
codec
Codec codec
The codec previously used for saving the editable object in this tab. -
dirty
boolean dirty
Indicates if the editable object has been changed. -
editable
Editable editable
The editable object edited in this tab. -
editor
Editor<? extends Editable> editor
The main editor in this tab. -
file
java.io.File file
The previously saved file of the editable object in this tab. -
index
int index
-
readonly
boolean readonly
Indicates if the editable object is read only.
-
-
Class org.svvrl.goal.gui.TabbedPane extends javax.swing.JTabbedPane implements Serializable
- serialVersionUID:
- -5761117708116974294L
-
Serialized Fields
-
display_mode
int display_mode
-
drag_tab_component
java.awt.Component drag_tab_component
-
drag_tab_index
int drag_tab_index
The index of the dragged tab. -
drag_tab_title
java.lang.String drag_tab_title
-
glass_pane
ImageGlassPane glass_pane
-
line_color
java.awt.Color line_color
-
line_rect
java.awt.geom.Rectangle2D line_rect
-
window
Window window
-
-
Class org.svvrl.goal.gui.TabSelectionPanel extends javax.swing.JPanel implements Serializable
- serialVersionUID:
- -3582480034845436639L
-
Class org.svvrl.goal.gui.TemporalHierarchyComponent extends java.awt.Component implements Serializable
- serialVersionUID:
- 2263144081780209413L
-
Serialized Fields
-
classes
java.util.Set<TemporalHierarchy> classes
-
off_color
java.awt.Color off_color
-
on_color
java.awt.Color on_color
-
padding
int padding
-
region_x0
int region_x0
-
region_x1
int region_x1
-
region_y0
int region_y0
-
region_y1
int region_y1
-
-
Class org.svvrl.goal.gui.TwoListSelector extends UIDialog implements Serializable
- serialVersionUID:
- -3512233626664241358L
-
Serialized Fields
-
action
int action
-
cancel
javax.swing.JButton cancel
-
left_border
javax.swing.border.TitledBorder left_border
-
left_list
javax.swing.JList<T> left_list
The left list containing available objects. -
left_objects
java.util.Vector<T> left_objects
The objects in the left list denoting the available objects. -
middle
javax.swing.Box middle
A box in the middle containing some buttons. -
move_all_left
javax.swing.JButton move_all_left
-
move_all_right
javax.swing.JButton move_all_right
-
move_left
javax.swing.JButton move_left
-
move_right
javax.swing.JButton move_right
-
ok
javax.swing.JButton ok
-
right_border
javax.swing.border.TitledBorder right_border
-
right_list
javax.swing.JList<T> right_list
The right list containing selected objects. -
right_objects
java.util.Vector<T> right_objects
The objects in the right list denoting the selected objects. -
wrapper
javax.swing.JPanel wrapper
A panel contains the two-list selector in the center.
-
-
Class org.svvrl.goal.gui.UIDialog extends javax.swing.JDialog implements Serializable
- serialVersionUID:
- -8527772219507191799L
-
Class org.svvrl.goal.gui.URILabel extends javax.swing.JLabel implements Serializable
- serialVersionUID:
- -1516045153718367313L
-
Serialized Fields
-
cursor
java.awt.Cursor cursor
-
uri
java.net.URI uri
-
-
Class org.svvrl.goal.gui.Window extends javax.swing.JFrame implements Serializable
- serialVersionUID:
- -462864642993508430L
-
Serialized Fields
-
status_bar
StatusBar status_bar
The status bar of this window. -
switch_listeners
java.util.Set<TabSwitchedListener> switch_listeners
A set of listeners that are interested in the switch of active tab. -
tab_pane
TabbedPane tab_pane
A panel containing all tabs. -
toolboxes
java.util.ArrayList<javax.swing.JToolBar> toolboxes
The tool boxes of this window. -
wid
int wid
The unique ID of this window.
-
-
-
Package org.svvrl.goal.gui.action
-
Class org.svvrl.goal.gui.action.AboutAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- 1211205437352504090L
-
Class org.svvrl.goal.gui.action.AbstractAlphabetAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -3311540063134146691L
-
Serialized Fields
-
add
javax.swing.JButton add
-
annot
javax.swing.JCheckBox annot
-
fields
javax.swing.JPanel fields
-
fmap
java.util.Map<javax.swing.JTextField,javax.swing.JTextField> fmap
A map from a predicate field to a PL formula field. -
INVALID_COLOR
java.awt.Color INVALID_COLOR
-
main
javax.swing.JPanel main
-
map
java.util.Map<Proposition,PL> map
A map from a predicate to a PL formula. -
od
OptionsDialog<Properties> od
-
parser
PLParser parser
-
preds_name
javax.swing.JTextField preds_name
-
prev_retain
boolean prev_retain
-
props
java.util.List<Proposition> props
-
props_label
javax.swing.JLabel props_label
-
retain
javax.swing.JCheckBox retain
-
syms_name
javax.swing.JTextField syms_name
-
VALID_COLOR
java.awt.Color VALID_COLOR
-
validity
java.util.Map<javax.swing.JTextField,java.lang.Boolean> validity
A map from a field to a Boolean indicating whether the proposition or the PL formula inside it is valid or not.
-
-
Class org.svvrl.goal.gui.action.AbstractComplementAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -5433018145592549806L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.AbstractNewAutomatonAction extends AbstractNewEditableAction<T extends Automaton> implements Serializable
- serialVersionUID:
- -3525757208201390034L
-
Class org.svvrl.goal.gui.action.AbstractNewEditableAction extends WindowAction<T extends Editable> implements Serializable
- serialVersionUID:
- -7913823947627888333L
-
Serialized Fields
-
creator
EditableCreator<T extends Editable> creator
-
-
Class org.svvrl.goal.gui.action.AbstractStepByStepTranslationAction extends LogicAction<F extends Logic,T extends Automaton> implements Serializable
- serialVersionUID:
- -4959453202381996524L
-
Class org.svvrl.goal.gui.action.AbstractTranslationAction extends LogicAction<F extends Logic,T extends Automaton> implements Serializable
- serialVersionUID:
- -4959453202381996524L
-
Class org.svvrl.goal.gui.action.AbstractZoomAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 1585694145032040097L
-
Serialized Fields
-
level
int level
The zoom level.
-
-
Class org.svvrl.goal.gui.action.AperiodicAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -3879305080942317532L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.AutomatonConsistencyAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -1466758318073604824L
-
Class org.svvrl.goal.gui.action.AutomatonOperationAction extends EditableAction<T extends Automaton,O extends Automaton> implements Serializable
- serialVersionUID:
- 8037947123080688078L
-
Serialized Fields
-
init
boolean init
-
layout
boolean layout
-
-
Class org.svvrl.goal.gui.action.AutomatonSearchAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- 667652593481305834L
-
Class org.svvrl.goal.gui.action.BuchiRepositoryAction extends WindowAction<Entry> implements Serializable
- serialVersionUID:
- 3911002718218575186L
-
Class org.svvrl.goal.gui.action.BuchiStoreAction extends WindowAction<AutomatonBean> implements Serializable
- serialVersionUID:
- -6277876255325453085L
-
Serialized Fields
-
formula
FormulaBean formula
-
-
Class org.svvrl.goal.gui.action.BuchiStoreUploaderAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 278602713060171092L
-
Class org.svvrl.goal.gui.action.CCJ09Actions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 5644412778243017585L
-
Class org.svvrl.goal.gui.action.CheckUpdateAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -1804556145642722681L
-
Class org.svvrl.goal.gui.action.ClassicalMinimizationAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 4825443964914888595L
-
Class org.svvrl.goal.gui.action.ClassicComplementAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 2151193532562012299L
-
Class org.svvrl.goal.gui.action.ClearAllRecentFileAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- 6408152039411438427L
-
Class org.svvrl.goal.gui.action.ClickButtonAction extends javax.swing.AbstractAction implements Serializable
- serialVersionUID:
- 7800336656222473702L
-
Serialized Fields
-
button
javax.swing.AbstractButton button
-
-
Class org.svvrl.goal.gui.action.CloseActiveTabAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 6271493624326088583L
-
Class org.svvrl.goal.gui.action.CloseAllTabsAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 4869031881596142212L
-
Class org.svvrl.goal.gui.action.ClosureAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -933342879366996476L
-
Class org.svvrl.goal.gui.action.ConcatenationAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -6833837942765039305L
-
Class org.svvrl.goal.gui.action.ContainmentAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -5870603823921852456L
-
Class org.svvrl.goal.gui.action.ContractAlphabetAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -8317988147245049586L
-
Class org.svvrl.goal.gui.action.ConvertAction extends AutomatonOperationAction<Automaton,Automaton> implements Serializable
- serialVersionUID:
- 1086714315575129925L
-
Serialized Fields
-
conv_seq
AutomatonType[] conv_seq
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertAlphabetTypeAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- 417191902002547400L
-
Class org.svvrl.goal.gui.action.ConvertAlternationStyleAction extends AutomatonOperationAction<AltAutomaton,AltAutomaton> implements Serializable
- serialVersionUID:
- -3400607357882794858L
-
Class org.svvrl.goal.gui.action.ConvertLabelPositionAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 6641810113189641342L
-
Class org.svvrl.goal.gui.action.ConvertToComplementABWAction extends AutomatonOperationAction<FSA,AltAutomaton> implements Serializable
- serialVersionUID:
- 7087566279956080741L
-
Class org.svvrl.goal.gui.action.ConvertToComplementACWAction extends AutomatonOperationAction<FSA,AltAutomaton> implements Serializable
- serialVersionUID:
- -224518722046734972L
-
Class org.svvrl.goal.gui.action.ConvertToComplementAPWAction extends AutomatonOperationAction<AltAutomaton,AltAutomaton> implements Serializable
- serialVersionUID:
- 1523489748789897001L
-
Class org.svvrl.goal.gui.action.ConvertToComplementDBWAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -8851893542157268121L
-
Class org.svvrl.goal.gui.action.ConvertToComplementDCWAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -4072788432063970527L
-
Class org.svvrl.goal.gui.action.ConvertToComplementDMWAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 8323377891962979820L
-
Class org.svvrl.goal.gui.action.ConvertToComplementDPWAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 2223434961573216622L
-
Class org.svvrl.goal.gui.action.ConvertToComplementDRWAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 2223434961573216622L
-
Class org.svvrl.goal.gui.action.ConvertToComplementDSWAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 2223434961573216622L
-
Class org.svvrl.goal.gui.action.ConvertToDBWByBK09Action extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -4967804552273286989L
-
Class org.svvrl.goal.gui.action.ConvertToDBWByDEK07Action extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -2494537501231401588L
-
Class org.svvrl.goal.gui.action.ConvertToDBWByLandweberAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -931914383198007852L
-
Class org.svvrl.goal.gui.action.ConvertToHOAAction extends AutomatonOperationAction<Automaton,FSA> implements Serializable
- serialVersionUID:
- -4162325763550738366L
-
Class org.svvrl.goal.gui.action.ConvertToNBGAction extends AutomatonOperationAction<Game,Game> implements Serializable
- serialVersionUID:
- -6295903380839666823L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertToNBWAction extends AutomatonOperationAction<Automaton,FSA> implements Serializable
- serialVersionUID:
- 2223434961573216622L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertToNCGAction extends AutomatonOperationAction<Game,Game> implements Serializable
- serialVersionUID:
- -6612331946145520135L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertToNCWAction extends AutomatonOperationAction<Automaton,FSA> implements Serializable
- serialVersionUID:
- -360108904533611105L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertToNGBGAction extends AutomatonOperationAction<Game,Game> implements Serializable
- serialVersionUID:
- -8781532428695564663L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertToNGBWAction extends AutomatonOperationAction<Automaton,FSA> implements Serializable
- serialVersionUID:
- 1159161885816271539L
-
Class org.svvrl.goal.gui.action.ConvertToNMGAction extends AutomatonOperationAction<Game,Game> implements Serializable
- serialVersionUID:
- -6295903380839666823L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertToNMWAction extends AutomatonOperationAction<Automaton,FSA> implements Serializable
- serialVersionUID:
- 2223434961573216622L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertToNPGAction extends AutomatonOperationAction<Game,Game> implements Serializable
- serialVersionUID:
- -6295903380839666823L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertToNPWAction extends AutomatonOperationAction<Automaton,FSA> implements Serializable
- serialVersionUID:
- 8961114264386880513L
-
Class org.svvrl.goal.gui.action.ConvertToNRGAction extends AutomatonOperationAction<Game,Game> implements Serializable
- serialVersionUID:
- -6295903380839666823L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertToNRWAction extends AutomatonOperationAction<Automaton,FSA> implements Serializable
- serialVersionUID:
- 2223434961573216622L
-
Class org.svvrl.goal.gui.action.ConvertToNSGAction extends AutomatonOperationAction<Game,Game> implements Serializable
- serialVersionUID:
- -6295903380839666823L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertToNSWAction extends AutomatonOperationAction<Automaton,FSA> implements Serializable
- serialVersionUID:
- 2223434961573216622L
-
Class org.svvrl.goal.gui.action.ConvertToNTBWAction extends AutomatonOperationAction<Automaton,FSA> implements Serializable
- serialVersionUID:
- 3742836725236047838L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ConvertToNTGBWAction extends AutomatonOperationAction<Automaton,FSA> implements Serializable
- serialVersionUID:
- 3780067319097403799L
-
Class org.svvrl.goal.gui.action.ConvertToOmegaRegularExpressionAction extends EditableAction<FSA,EditableORE> implements Serializable
- serialVersionUID:
- 7353372067387467110L
-
Class org.svvrl.goal.gui.action.ConvertToRegularExpressionAction extends EditableAction<FSA,EditableRE> implements Serializable
- serialVersionUID:
- -2952485250214042326L
-
Class org.svvrl.goal.gui.action.ConvertToWDBWAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -5480404261722193682L
-
Class org.svvrl.goal.gui.action.CopyAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- -6269299227489241405L
-
Class org.svvrl.goal.gui.action.CopyAsGasTeXAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 6660928082474127572L
-
Serialized Fields
-
codec
GasTeXCodec codec
-
-
Class org.svvrl.goal.gui.action.CopyAsPromelaAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- -2521578337762711162L
-
Serialized Fields
-
codec
PromelaCodec codec
-
-
Class org.svvrl.goal.gui.action.CopyAsTikzAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 6660928082474127572L
-
Serialized Fields
-
codec
TikzCodec codec
-
-
Class org.svvrl.goal.gui.action.CopyAsVaucansonAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 3575276400626837697L
-
Serialized Fields
-
codec
VaucansonCodec codec
-
-
Class org.svvrl.goal.gui.action.CouvreurActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 88906656237540686L
-
Class org.svvrl.goal.gui.action.CouvreurActions.QPTL2NTGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 5998517753928064810L
-
Class org.svvrl.goal.gui.action.CutAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- -1141296245081809743L
-
Class org.svvrl.goal.gui.action.DebugCoreAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -3424546646566412390L
-
Class org.svvrl.goal.gui.action.DebugExceptionAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -3424546646566412390L
-
Class org.svvrl.goal.gui.action.DebugUIAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -3424546646566412390L
-
Class org.svvrl.goal.gui.action.DelayedSimulatedAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 7431856813123101767L
-
Class org.svvrl.goal.gui.action.DelayedSimulationAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -3343404137853498259L
-
Class org.svvrl.goal.gui.action.DelayedSimulationSimplificationAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -2170169234315516866L
-
Class org.svvrl.goal.gui.action.DeleteAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- -9134714379380172000L
-
Class org.svvrl.goal.gui.action.DetachAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 6120411596814352963L
-
Class org.svvrl.goal.gui.action.DeterministicAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -1081292411921584423L
-
Class org.svvrl.goal.gui.action.DirectSimulatedAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -5467774054353174543L
-
Class org.svvrl.goal.gui.action.DisplayGridlinesAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- 6386143795121870188L
-
Class org.svvrl.goal.gui.action.DisplayGuidelinesAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- 3992804649934285848L
-
Class org.svvrl.goal.gui.action.DisposeAction extends javax.swing.AbstractAction implements Serializable
- serialVersionUID:
- 4888990125572986700L
-
Serialized Fields
-
window
java.awt.Window window
-
-
Class org.svvrl.goal.gui.action.DuplicateAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -7723125440552774442L
-
Class org.svvrl.goal.gui.action.EditableAction extends WindowAction<O> implements Serializable
- serialVersionUID:
- 3342652822995673848L
-
Class org.svvrl.goal.gui.action.EfficientSimulationAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -3321512527983889352L
-
Class org.svvrl.goal.gui.action.EliminateEpsilonAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -933004624851947950L
-
Class org.svvrl.goal.gui.action.EmptinessAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -5870603823921852456L
-
Class org.svvrl.goal.gui.action.EquivalenceWithAutomatonAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -5870603823921852456L
-
Class org.svvrl.goal.gui.action.EquivalenceWithFormulaAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -5870603823921852456L
-
Serialized Fields
-
fa
FSA fa
-
formula
java.lang.String formula
-
name
java.lang.String name
-
-
Class org.svvrl.goal.gui.action.ExecutionException extends java.lang.Exception implements Serializable
- serialVersionUID:
- 2629131562017433688L
-
Class org.svvrl.goal.gui.action.ExitAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -5454477801026870140L
-
Class org.svvrl.goal.gui.action.ExpandAlphabetAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- 7563141957402221135L
-
Class org.svvrl.goal.gui.action.ExportAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 6795870636305359980L
-
Class org.svvrl.goal.gui.action.ExportMultipleAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 2224529979973953979L
-
Class org.svvrl.goal.gui.action.ExtendedCouvreurActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 88906656237540686L
-
Class org.svvrl.goal.gui.action.ExtendedCouvreurActions.QPTL2NTGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 5998517753928064810L
-
Class org.svvrl.goal.gui.action.ExtendedGPVWActions.QPTL2LOSNBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 1607824984860805028L
-
Class org.svvrl.goal.gui.action.ExtendedGPVWActions.QPTL2LOSNGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 4358236005143283932L
-
Class org.svvrl.goal.gui.action.ExtendedGPVWActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 2222886410331459009L
-
Class org.svvrl.goal.gui.action.ExtendedGPVWActions.QPTL2NGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 1032270740166675821L
-
Class org.svvrl.goal.gui.action.ExtendedGPVWActions.StepByStepQPTL2LOSNGBWAction extends AbstractStepByStepTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 1176782596688722806L
-
Class org.svvrl.goal.gui.action.ExtendedGPVWPlusActions.QPTL2LOSNBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -8893975786866271380L
-
Class org.svvrl.goal.gui.action.ExtendedGPVWPlusActions.QPTL2LOSNGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -8759294585090792701L
-
Class org.svvrl.goal.gui.action.ExtendedGPVWPlusActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -8207830259622389475L
-
Class org.svvrl.goal.gui.action.ExtendedGPVWPlusActions.QPTL2NGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 5037783396450803094L
-
Class org.svvrl.goal.gui.action.ExtendedGPVWPlusActions.StepByStepQPTL2LOSNGBWAction extends AbstractStepByStepTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -4336458423972243568L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2AUTActions.QPTL2LOSNBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -5837454213402093335L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2AUTActions.QPTL2LOSNGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -3435421543906448941L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2AUTActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 4256256808769387518L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2AUTActions.QPTL2NGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -8001376453165788378L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2AUTActions.StepByStepQPTL2LOSNGBWAction extends AbstractStepByStepTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 2660021644431086642L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2AUTPlusActions.QPTL2LOSNBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 2162383879720537569L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2AUTPlusActions.QPTL2LOSNGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -8094273983858255163L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2AUTPlusActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 9110925462393421155L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2AUTPlusActions.QPTL2NGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 2864752344644916450L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2AUTPlusActions.StepByStepQPTL2LOSNGBWAction extends AbstractStepByStepTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -1449198830734248819L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2BuchiActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -764791126049103680L
-
Class org.svvrl.goal.gui.action.ExtendedLTL2BuchiActions.QPTL2NTGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 7052162894489534876L
-
Class org.svvrl.goal.gui.action.ExtendedModellaActions.QPTL2LOSNBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -8242677992614330093L
-
Class org.svvrl.goal.gui.action.ExtendedModellaActions.QPTL2LOSNGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -2165066947850580368L
-
Class org.svvrl.goal.gui.action.ExtendedModellaActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -8465757575430926408L
-
Class org.svvrl.goal.gui.action.ExtendedModellaActions.QPTL2NGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -7122680075569065951L
-
Class org.svvrl.goal.gui.action.ExtendedModellaActions.StepByStepQPTL2LOSNGBWAction extends AbstractStepByStepTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -4165527959885269686L
-
Class org.svvrl.goal.gui.action.FairSimulatedAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -4231823119731059933L
-
Class org.svvrl.goal.gui.action.FairSimulationAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -8681655847069747764L
-
Class org.svvrl.goal.gui.action.FairSimulationSimplificationAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -52096141230948835L
-
Class org.svvrl.goal.gui.action.FindElementaryCyclesAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- 8016906462480979911L
-
Serialized Fields
-
highlighter
AutomatonHighlighter highlighter
-
list
javax.swing.JList<StateList> list
-
-
Class org.svvrl.goal.gui.action.FindMSCCAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -6429051336939860274L
-
Class org.svvrl.goal.gui.action.FindStateCyclesAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -2524193443012650153L
-
Serialized Fields
-
highlighter
AutomatonHighlighter highlighter
-
list
javax.swing.JList<StateList> list
-
-
Class org.svvrl.goal.gui.action.FindTransitionCyclesAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -2524193443012650153L
-
Serialized Fields
-
highlighter
AutomatonHighlighter highlighter
-
list
javax.swing.JList<StateList> list
-
-
Class org.svvrl.goal.gui.action.FloatableToolbarAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -2026462557198341910L
-
Class org.svvrl.goal.gui.action.FSA2GameAction extends AutomatonOperationAction<FSA,Game> implements Serializable
- serialVersionUID:
- 8498787327972411315L
-
Serialized Fields
-
map
java.util.Map<GamePlayer,java.util.Collection<Proposition>> map
-
-
Class org.svvrl.goal.gui.action.FSAClassificationAction extends EditableAction<Editable,TemporalHierarchy[]> implements Serializable
- serialVersionUID:
- -3344160590935961731L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.FSAProductAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 172046426352448018L
-
Serialized Fields
-
listener
java.beans.PropertyChangeListener listener
-
options
Properties options
-
product_panel
ProductOptionsPanel product_panel
-
spec_aut
FSA spec_aut
-
sys_aut
FSA sys_aut
-
-
Class org.svvrl.goal.gui.action.GameConversionAction extends AutomatonOperationAction<Game,Game> implements Serializable
- serialVersionUID:
- -2498076888315442408L
-
Serialized Fields
-
conv_seq
GameType[] conv_seq
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.GameGenerationAction extends AbstractNewAutomatonAction<Game> implements Serializable
- serialVersionUID:
- -5067788282404552137L
-
Class org.svvrl.goal.gui.action.GameProductAction extends AutomatonOperationAction<Game,Game> implements Serializable
- serialVersionUID:
- 6871768392298512883L
-
Serialized Fields
-
aut
FSA aut
-
game
Game game
-
listener
java.beans.PropertyChangeListener listener
-
options
Properties options
-
product_panel
ProductOptionsPanel product_panel
-
-
Class org.svvrl.goal.gui.action.HelpContentsAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- 2776091685598315489L
-
Serialized Fields
-
browser
Browser browser
-
filename
java.lang.String filename
-
-
Class org.svvrl.goal.gui.action.HierarchyComplementAction extends AbstractComplementAction<HierarchyConstruction> implements Serializable
- serialVersionUID:
- 2151193532562012299L
-
Class org.svvrl.goal.gui.action.HomomorphismAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -2239759667151888030L
-
Class org.svvrl.goal.gui.action.HopcroftMinimizationAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 4825443964914888595L
-
Class org.svvrl.goal.gui.action.ImportFromTextAction extends WindowAction<Editable> implements Serializable
- serialVersionUID:
- 6332782699018237824L
-
Class org.svvrl.goal.gui.action.IncTableauActions.QPTL2LOSNBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 8084245505458687588L
-
Class org.svvrl.goal.gui.action.IncTableauActions.QPTL2LOSNGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -8001348129215001943L
-
Class org.svvrl.goal.gui.action.IncTableauActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -818142035518715171L
-
Class org.svvrl.goal.gui.action.IncTableauActions.QPTL2NGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 216853369913768020L
-
Class org.svvrl.goal.gui.action.InputSimulatorAction extends EditableAction<FSA,InputSimulator> implements Serializable
- serialVersionUID:
- 5016680558660030298L
-
Serialized Fields
-
seq
InputSequence seq
-
-
Class org.svvrl.goal.gui.action.InputTestAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 7597531572625059759L
-
Class org.svvrl.goal.gui.action.IntersectionAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -5870603823921852456L
-
Class org.svvrl.goal.gui.action.IsomorphismAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- 7737374565737454970L
-
Class org.svvrl.goal.gui.action.IsVeryWeakAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -822152859264935793L
-
Class org.svvrl.goal.gui.action.IsWeakAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- 5811885963820568654L
-
Class org.svvrl.goal.gui.action.KP02Actions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -7453143780581711645L
-
Class org.svvrl.goal.gui.action.KurshanComplementAction extends AbstractComplementAction<KurshanConstruction> implements Serializable
- serialVersionUID:
- -7380144386884191450L
-
Class org.svvrl.goal.gui.action.LayoutAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -2014006891200410925L
-
Serialized Fields
-
layout
Layout layout
-
-
Class org.svvrl.goal.gui.action.LogicAction extends EditableAction<FormulaHolder<I extends Logic>,O> implements Serializable
- serialVersionUID:
- -7467502114658691498L
-
Class org.svvrl.goal.gui.action.LTL2BAActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 3631407765596503929L
-
Class org.svvrl.goal.gui.action.LTL2BAActions.QPTL2NTGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -645918514203576534L
-
Class org.svvrl.goal.gui.action.LTL2BAActions.QPTL2VWAAAction extends AbstractTranslationAction<QPTL,AltAutomaton> implements Serializable
- serialVersionUID:
- -645918514203576534L
-
Class org.svvrl.goal.gui.action.LTL2BuchiActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -764791126049103680L
-
Class org.svvrl.goal.gui.action.LTL2BuchiActions.QPTL2NTGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 3465546188744823969L
-
Class org.svvrl.goal.gui.action.MaximizeAcceptanceSetAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -9210291595234213399L
-
Class org.svvrl.goal.gui.action.MergeAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -98373704906381203L
-
Class org.svvrl.goal.gui.action.MergeStatesAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -3661879925038580776L
-
Class org.svvrl.goal.gui.action.MinimizeAcceptanceSetAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -9210291595234213399L
-
Class org.svvrl.goal.gui.action.ModellaActions.QPTL2LOSNBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -9222158439559183693L
-
Class org.svvrl.goal.gui.action.ModellaActions.QPTL2LOSNGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 6349497206806995174L
-
Class org.svvrl.goal.gui.action.ModellaActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -8182776379437105414L
-
Class org.svvrl.goal.gui.action.ModellaActions.QPTL2NGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 4261144691387228718L
-
Class org.svvrl.goal.gui.action.ModellaActions.StepByStepQPTL2LOSNGBWAction extends AbstractStepByStepTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 2344516814432342056L
-
Class org.svvrl.goal.gui.action.ModifiedSafraComplementAction extends AbstractComplementAction<ModifiedSafraConstruction> implements Serializable
- serialVersionUID:
- -5433018145592549806L
-
Class org.svvrl.goal.gui.action.ModifiedSafraContainmentAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -428521044892544457L
-
Serialized Fields
-
fa1
FSA fa1
-
fa2
FSA fa2
-
name1
java.lang.String name1
-
name2
java.lang.String name2
-
options
ModifiedSafraContainmentOptions options
-
-
Class org.svvrl.goal.gui.action.MoveTabAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- -9203570585445118927L
-
Serialized Fields
-
target
Window target
-
-
Class org.svvrl.goal.gui.action.MoveToNextWindowAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 6120411596814352963L
-
Class org.svvrl.goal.gui.action.MoveToPreviousWindowAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 6120411596814352963L
-
Class org.svvrl.goal.gui.action.MSComplementAction extends AbstractComplementAction<MullerSchuppConstruction> implements Serializable
- serialVersionUID:
- -5433018145592549806L
-
Class org.svvrl.goal.gui.action.MSContainmentAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -3881068747803915457L
-
Serialized Fields
-
fa1
FSA fa1
-
fa2
FSA fa2
-
name1
java.lang.String name1
-
name2
java.lang.String name2
-
options
MSContainmentOptions options
-
-
Class org.svvrl.goal.gui.action.NaiveSimulationAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -8710608245169526536L
-
Class org.svvrl.goal.gui.action.NBWToDPWByPitermanAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -3571968178489296274L
-
Serialized Fields
-
options
Properties options
The options for the Safra_Piterman construction.
-
-
Class org.svvrl.goal.gui.action.NBWToDRWByModifiedSafraAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -3571968178489296274L
-
Serialized Fields
-
options
Properties options
The options for the modified Safra's construction.
-
-
Class org.svvrl.goal.gui.action.NBWToDRWByMSAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -3571968178489296274L
-
Class org.svvrl.goal.gui.action.NBWToDRWBySafraAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -3571968178489296274L
-
Serialized Fields
-
options
Properties options
The options for the Safra's construction.
-
-
Class org.svvrl.goal.gui.action.NegationNormalFormAction extends LogicAction<Logic,java.lang.Void> implements Serializable
- serialVersionUID:
- 940777877518424366L
-
Class org.svvrl.goal.gui.action.NewACTLAction extends AbstractNewEditableAction<ACTLFormula> implements Serializable
- serialVersionUID:
- -3435692385365067023L
-
Class org.svvrl.goal.gui.action.NewCNFABWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewCNFACWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -5861132468715763881L
-
Class org.svvrl.goal.gui.action.NewCNFAGBWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewCNFAMWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewCNFAPWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewCNFARWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewCNFASWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewCNFTWABWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- -5867363958822257668L
-
Class org.svvrl.goal.gui.action.NewCNFTWACWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- -407745938969146844L
-
Class org.svvrl.goal.gui.action.NewCNFTWAGBWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- 6770908539043418603L
-
Class org.svvrl.goal.gui.action.NewCNFTWAMWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- 3857161415382616841L
-
Class org.svvrl.goal.gui.action.NewCNFTWAPWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- 6666481799701369768L
-
Class org.svvrl.goal.gui.action.NewCNFTWARWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- 2587792743161188439L
-
Class org.svvrl.goal.gui.action.NewCNFTWASWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- 2782381720890623944L
-
Class org.svvrl.goal.gui.action.NewDNFABWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewDNFACWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -5105675878956127372L
-
Class org.svvrl.goal.gui.action.NewDNFAGBWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewDNFAMWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewDNFAPWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewDNFARWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewDNFASWAction extends AbstractNewAutomatonAction<AltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewDNFTWABWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- -7752926455243778731L
-
Class org.svvrl.goal.gui.action.NewDNFTWACWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- 5493899044787581232L
-
Class org.svvrl.goal.gui.action.NewDNFTWAGBWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- -4007077479034287186L
-
Class org.svvrl.goal.gui.action.NewDNFTWAMWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- -6061734591350115141L
-
Class org.svvrl.goal.gui.action.NewDNFTWAPWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewDNFTWARWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- 1269781044742789363L
-
Class org.svvrl.goal.gui.action.NewDNFTWASWAction extends AbstractNewAutomatonAction<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- -7964926635880043178L
-
Class org.svvrl.goal.gui.action.NewEditableAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- 2074314792585339906L
-
Class org.svvrl.goal.gui.action.NewHOAAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- -1802052822134740539L
-
Class org.svvrl.goal.gui.action.NewNBGAction extends AbstractNewAutomatonAction<Game> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewNBWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- -5378811387496444704L
-
Class org.svvrl.goal.gui.action.NewNCGAction extends AbstractNewAutomatonAction<Game> implements Serializable
- serialVersionUID:
- -7927286606317205738L
-
Class org.svvrl.goal.gui.action.NewNCWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- 1540543251028221790L
-
Class org.svvrl.goal.gui.action.NewNFGAction extends AbstractNewAutomatonAction<Game> implements Serializable
- serialVersionUID:
- 5451780482169806885L
-
Class org.svvrl.goal.gui.action.NewNFWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewNGBGAction extends AbstractNewAutomatonAction<Game> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewNGBWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- 1293491869236823805L
-
Class org.svvrl.goal.gui.action.NewNMGAction extends AbstractNewAutomatonAction<Game> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewNMWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- 1293491869236823805L
-
Class org.svvrl.goal.gui.action.NewNPGAction extends AbstractNewAutomatonAction<Game> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewNPWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- -5378811387496444704L
-
Class org.svvrl.goal.gui.action.NewNREGAction extends AbstractNewAutomatonAction<Game> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewNREWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- -4990468920871589034L
-
Class org.svvrl.goal.gui.action.NewNRGAction extends AbstractNewAutomatonAction<Game> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewNRWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- -5378811387496444704L
-
Class org.svvrl.goal.gui.action.NewNSGAction extends AbstractNewAutomatonAction<Game> implements Serializable
- serialVersionUID:
- -1660116488685724957L
-
Class org.svvrl.goal.gui.action.NewNSWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- -5378811387496444704L
-
Class org.svvrl.goal.gui.action.NewNTBWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- 2198851285649450441L
-
Class org.svvrl.goal.gui.action.NewNTGBWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- 7171500852490439696L
-
Class org.svvrl.goal.gui.action.NewNTMWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- -2358554812733874892L
-
Class org.svvrl.goal.gui.action.NewNTPWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- 6130087143706009980L
-
Class org.svvrl.goal.gui.action.NewNTRWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- 2198851285649450441L
-
Class org.svvrl.goal.gui.action.NewNTSWAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- -6883379289443686750L
-
Class org.svvrl.goal.gui.action.NewOmegaRegularExpressionAction extends AbstractNewEditableAction<EditableORE> implements Serializable
- serialVersionUID:
- -5868573606354855186L
-
Class org.svvrl.goal.gui.action.NewQPTLAction extends AbstractNewEditableAction<QPTLFormula> implements Serializable
- serialVersionUID:
- -8097265096838086167L
-
Class org.svvrl.goal.gui.action.NewRandomEditableAction extends AbstractNewEditableAction<Editable> implements Serializable
- serialVersionUID:
- -4280155353999021593L
-
Class org.svvrl.goal.gui.action.NewRandomFSAAction extends AbstractNewAutomatonAction<FSA> implements Serializable
- serialVersionUID:
- -6058683166932637623L
-
Class org.svvrl.goal.gui.action.NewRandomGameAction extends AbstractNewAutomatonAction<Game> implements Serializable
- serialVersionUID:
- -167733389343464974L
-
Class org.svvrl.goal.gui.action.NewRandomQPTLAction extends AbstractNewEditableAction<QPTLFormula> implements Serializable
- serialVersionUID:
- 7660430240607888991L
-
Class org.svvrl.goal.gui.action.NewRegularExpressionAction extends AbstractNewEditableAction<EditableRE> implements Serializable
- serialVersionUID:
- -5798237058692901318L
-
Class org.svvrl.goal.gui.action.NewWindowAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -4060959539274623714L
-
Class org.svvrl.goal.gui.action.NextTabAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- -1495843571786379423L
-
Class org.svvrl.goal.gui.action.NextWindowAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -1495843571786379423L
-
Class org.svvrl.goal.gui.action.NFWToDFWAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 1877410567300183102L
-
Class org.svvrl.goal.gui.action.OmegaAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 1416284565748493943L
-
Class org.svvrl.goal.gui.action.OmegaRegularExpressionTranslationAction extends EditableAction<EditableORE,FSA> implements Serializable
- serialVersionUID:
- 7996005910256986520L
-
Serialized Fields
-
options
ORETranslationOptions options
-
string
java.lang.String string
-
-
Class org.svvrl.goal.gui.action.OpenAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -1771899651141444953L
-
Class org.svvrl.goal.gui.action.OpenAllRecentFileAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -3455907364042077747L
-
Class org.svvrl.goal.gui.action.OpenRecentFileAction extends OpenAction implements Serializable
- serialVersionUID:
- -4334663803713549416L
-
Serialized Fields
-
file
java.io.File file
-
-
Class org.svvrl.goal.gui.action.ParityCompressionAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -3759707389006995285L
-
Class org.svvrl.goal.gui.action.ParityInterpretationAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -1289543616744387154L
-
Class org.svvrl.goal.gui.action.ParityPropagationAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- 5889762753268840280L
-
Class org.svvrl.goal.gui.action.PasteAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 3862114818218912358L
-
Class org.svvrl.goal.gui.action.PastFutureSeparationAction extends LogicAction<QPTL,java.lang.Void> implements Serializable
- serialVersionUID:
- 9193411387397015325L
-
Serialized Fields
-
input
QPTL input
-
-
Class org.svvrl.goal.gui.action.PitermanComplementAction extends AbstractComplementAction<PitermanConstruction> implements Serializable
- serialVersionUID:
- -5433018145592549806L
-
Class org.svvrl.goal.gui.action.PitermanContainmentAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -5194843493909024280L
-
Serialized Fields
-
fa1
FSA fa1
-
fa2
FSA fa2
-
name1
java.lang.String name1
-
name2
java.lang.String name2
-
options
PitermanContainmentOptions options
-
-
Class org.svvrl.goal.gui.action.PLTL2BAActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -5493734448957475333L
-
Class org.svvrl.goal.gui.action.PLTL2BAActions.QPTL2NTGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 8679636881005502470L
-
Class org.svvrl.goal.gui.action.PLTL2BAActions.QPTL2TWVWAAAction extends AbstractTranslationAction<QPTL,TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- -4751889837001884854L
-
Class org.svvrl.goal.gui.action.PMT02Actions.ACTL2LOSNBWAction extends AbstractTranslationAction<ACTL,FSA> implements Serializable
- serialVersionUID:
- 1060344329970861107L
-
Class org.svvrl.goal.gui.action.PMT02Actions.ACTL2LOSNGBWAction extends AbstractTranslationAction<ACTL,FSA> implements Serializable
- serialVersionUID:
- -5133889920574402044L
-
Class org.svvrl.goal.gui.action.PMT02Actions.ACTL2NBWAction extends AbstractTranslationAction<ACTL,FSA> implements Serializable
- serialVersionUID:
- 8475973601269292805L
-
Class org.svvrl.goal.gui.action.PMT02Actions.ACTL2NGBWAction extends AbstractTranslationAction<ACTL,FSA> implements Serializable
- serialVersionUID:
- 7467030136424907526L
-
Class org.svvrl.goal.gui.action.PreferenceAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- 3539866192623008846L
-
Class org.svvrl.goal.gui.action.PrenexNormalFormAction extends LogicAction<QPTL,java.lang.Void> implements Serializable
- serialVersionUID:
- 7685598560813038348L
-
Class org.svvrl.goal.gui.action.PreviousTabAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 2877331211037541707L
-
Class org.svvrl.goal.gui.action.PreviousWindowAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -4298896160987845666L
-
Class org.svvrl.goal.gui.action.PrintAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -5395811150749293118L
-
Class org.svvrl.goal.gui.action.ProgressMeasureComplementAction extends AbstractComplementAction<ProgressMeasureConstruction> implements Serializable
- serialVersionUID:
- 2151193532562012299L
-
Class org.svvrl.goal.gui.action.PromelaAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -7992419794727854520L
-
Class org.svvrl.goal.gui.action.PropertyEditorAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- 8097590328491250740L
-
Class org.svvrl.goal.gui.action.PruningFairSetsAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -913985501244688471L
-
Serialized Fields
-
options
PruningFairSetsOptions options
-
-
Class org.svvrl.goal.gui.action.QPTL2BAActions.CanonicalQPTL2TWACWAction extends AbstractTranslationAction<QPTL,TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- -5344241590008963544L
-
Class org.svvrl.goal.gui.action.QPTL2BAActions.FutureQPTL2ABWAction extends AbstractTranslationAction<QPTL,AltAutomaton> implements Serializable
- serialVersionUID:
- 5279540546035286482L
-
Class org.svvrl.goal.gui.action.QPTL2BAActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 3196406746822282768L
-
Class org.svvrl.goal.gui.action.QPTLLanguageClassificationAction extends EditableAction<QPTLFormula,TemporalHierarchy[]> implements Serializable
- serialVersionUID:
- 2457742953764460660L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.QPTLSyntaxClassificationAction extends EditableAction<QPTLFormula,java.util.Collection<TemporalHierarchy>> implements Serializable
- serialVersionUID:
- -5419804494403798139L
-
Class org.svvrl.goal.gui.action.RabinIndexSimplificationAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 2105563917600360865L
-
Class org.svvrl.goal.gui.action.RamseyComplementAction extends AbstractComplementAction<RamseyConstruction> implements Serializable
- serialVersionUID:
- -1819867383236812590L
-
Class org.svvrl.goal.gui.action.RankComplementAction extends AbstractComplementAction<RankConstruction> implements Serializable
- serialVersionUID:
- 2151193532562012299L
-
Class org.svvrl.goal.gui.action.RecentFilesAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -5655952927969709404L
-
Class org.svvrl.goal.gui.action.RedoAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -4849789317743067240L
-
Class org.svvrl.goal.gui.action.ReduceAltConnectorsAction extends EditableAction<AbstractAltAutomaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -2859285500173989662L
-
Serialized Fields
-
reducer
AltConnectorReducer reducer
-
-
Class org.svvrl.goal.gui.action.ReducedSplitTreeAction extends EditableAction<FSA,ReducedSplitTree> implements Serializable
- serialVersionUID:
- 5134719041195483503L
-
Serialized Fields
-
seq
InputSequence seq
-
-
Class org.svvrl.goal.gui.action.ReduceStatesAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -2591261597679391823L
-
Class org.svvrl.goal.gui.action.RefinedSimulationAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 8335172441153155780L
-
Class org.svvrl.goal.gui.action.RegularExpressionTranslationAction extends EditableAction<EditableRE,FSA> implements Serializable
- serialVersionUID:
- 7504984644978403573L
-
Serialized Fields
-
options
RETranslationOptions options
-
string
java.lang.String string
-
-
Class org.svvrl.goal.gui.action.RenamePropositionAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -787955090092844327L
-
Class org.svvrl.goal.gui.action.ReplacementAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 7562276755863488355L
-
Serialized Fields
-
CUSTOM
java.lang.String CUSTOM
-
pattern
java.lang.Object pattern
-
replacement
java.lang.Object replacement
-
-
Class org.svvrl.goal.gui.action.RepositionAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 4303204498376016881L
-
Class org.svvrl.goal.gui.action.ResetAccAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -8465793921897829677L
-
Class org.svvrl.goal.gui.action.ReverseNFWAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 3619091926635367653L
-
Class org.svvrl.goal.gui.action.RunDagAction extends EditableAction<FSA,RunDag> implements Serializable
- serialVersionUID:
- -7032262653986552755L
-
Serialized Fields
-
seq
InputSequence seq
-
-
Class org.svvrl.goal.gui.action.RunTreeAction extends EditableAction<FSA,RunTree> implements Serializable
- serialVersionUID:
- 4739156617901566265L
-
Serialized Fields
-
seq
InputSequence seq
-
-
Class org.svvrl.goal.gui.action.SafraComplementAction extends AbstractComplementAction<SafraConstruction> implements Serializable
- serialVersionUID:
- -5433018145592549806L
-
Class org.svvrl.goal.gui.action.SafraContainmentAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -6570993640512058245L
-
Serialized Fields
-
fa1
FSA fa1
-
fa2
FSA fa2
-
name1
java.lang.String name1
-
name2
java.lang.String name2
-
options
SafraContainmentOptions options
-
-
Class org.svvrl.goal.gui.action.SatisfiabilityAction extends LogicAction<Logic,java.lang.Void> implements Serializable
- serialVersionUID:
- -8035059890191911461L
-
Class org.svvrl.goal.gui.action.SaveAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 5153916799362685809L
-
Class org.svvrl.goal.gui.action.SaveAllAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- 5153916799362685809L
-
Class org.svvrl.goal.gui.action.SaveAsAction extends EditableAction<Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- -7048702389111218520L
-
Class org.svvrl.goal.gui.action.SchematicSimulationAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -4901751689310168070L
-
Class org.svvrl.goal.gui.action.SDBWComplementAction extends AbstractComplementAction<SDBWConstruction> implements Serializable
- serialVersionUID:
- 4564696846109472969L
-
Class org.svvrl.goal.gui.action.SelectAllAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -8733996473073769873L
-
Class org.svvrl.goal.gui.action.SemanticallyDeterministicAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -6432516374209818757L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.SemiDeterministicAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 4495114059716106583L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.ShowAtomicPropositionsAction extends EditableAction<Automaton,java.lang.Void> implements Serializable
- serialVersionUID:
- -1518101168957181993L
-
Class org.svvrl.goal.gui.action.SimplifyFormulaAction extends EditableAction<FormulaHolder<?>,java.lang.Void> implements Serializable
- serialVersionUID:
- -4024391792743780750L
-
Serialized Fields
-
formula
Logic formula
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.SimulationEquivalenceAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -5870603823921852456L
-
Class org.svvrl.goal.gui.action.SimulationSimplificationAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 2105563917600360865L
-
Serialized Fields
-
options
SimulationOptimizerOptions options
-
-
Class org.svvrl.goal.gui.action.SliceAntichainAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -5739874167827310881L
-
Class org.svvrl.goal.gui.action.SliceComplementAction extends AbstractComplementAction<SliceConstruction> implements Serializable
- serialVersionUID:
- 2151193532562012299L
-
Class org.svvrl.goal.gui.action.SliceContainmentAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -5739874167827310881L
-
Serialized Fields
-
fa1
FSA fa1
-
fa2
FSA fa2
-
name1
java.lang.String name1
-
name2
java.lang.String name2
-
options
SliceContainmentOptions options
-
-
Class org.svvrl.goal.gui.action.SnapToGridAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- 3539516980915982597L
-
Class org.svvrl.goal.gui.action.SolveGameAction extends AutomatonOperationAction<Game,Game> implements Serializable
- serialVersionUID:
- 7404855751098345799L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.SplitTreeAction extends EditableAction<FSA,SplitTree> implements Serializable
- serialVersionUID:
- 4739156617901566265L
-
Serialized Fields
-
seq
InputSequence seq
-
-
Class org.svvrl.goal.gui.action.StepByStepHierarchyComplementAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 3122171703578720719L
-
Serialized Fields
-
comp
HierarchyConstruction comp
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.StepByStepModifiedSafraComplementAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 2151193532562012299L
-
Serialized Fields
-
comp
ModifiedSafraConstruction comp
-
options
Properties options
The options for the modified Safra's construction.
-
-
Class org.svvrl.goal.gui.action.StepByStepMSComplementAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 2151193532562012299L
-
Serialized Fields
-
comp
MullerSchuppConstruction comp
-
-
Class org.svvrl.goal.gui.action.StepByStepPitermanComplementAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 2151193532562012299L
-
Serialized Fields
-
comp
PitermanConstruction comp
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.StepByStepRankComplementAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 2151193532562012299L
-
Serialized Fields
-
comp
RankConstruction comp
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.StepByStepSafraComplementAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 2151193532562012299L
-
Serialized Fields
-
comp
SafraConstruction comp
-
options
Properties options
The options for the Safra's construction.
-
-
Class org.svvrl.goal.gui.action.StepByStepSDBWComplementAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 427409730818969706L
-
Serialized Fields
-
comp
SDBWConstruction comp
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.StepByStepSliceComplementAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 2151193532562012299L
-
Serialized Fields
-
comp
SliceConstruction comp
-
options
SliceOptions options
-
-
Class org.svvrl.goal.gui.action.StepByStepSolveGameAction extends EditableAction<Game,java.lang.Void> implements Serializable
- serialVersionUID:
- -4556415351634229583L
-
Serialized Fields
-
options
Properties options
-
-
Class org.svvrl.goal.gui.action.StepByStepWAAComplementAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 1359482491732233765L
-
Serialized Fields
-
comp
WAAConstruction comp
-
-
Class org.svvrl.goal.gui.action.StepByStepWAPAComplementAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- -8206813239096529019L
-
Serialized Fields
-
comp
WAPAConstruction comp
-
-
Class org.svvrl.goal.gui.action.SubsetAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- 4481746781032005336L
-
Class org.svvrl.goal.gui.action.TableauActions.QPTL2LOSNBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -520851487614608957L
-
Class org.svvrl.goal.gui.action.TableauActions.QPTL2LOSNGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -3635089780857987181L
-
Class org.svvrl.goal.gui.action.TableauActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -520851487614608957L
-
Class org.svvrl.goal.gui.action.TableauActions.QPTL2NGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -990113186699996462L
-
Class org.svvrl.goal.gui.action.TableauActions.StepByStepQPTL2LOSNGBWAction extends AbstractStepByStepTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 2344516814432342056L
-
Class org.svvrl.goal.gui.action.TemporalTesterActions.QPTL2LOSNBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 1319647607935377870L
-
Class org.svvrl.goal.gui.action.TemporalTesterActions.QPTL2LOSNGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 5970159338146007091L
-
Class org.svvrl.goal.gui.action.TemporalTesterActions.QPTL2NBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- -1813917139591729539L
-
Class org.svvrl.goal.gui.action.TemporalTesterActions.QPTL2NGBWAction extends AbstractTranslationAction<QPTL,FSA> implements Serializable
- serialVersionUID:
- 4707235338319361246L
-
Class org.svvrl.goal.gui.action.UnambiguousAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 3779959595525313151L
-
Class org.svvrl.goal.gui.action.UndoAction extends WindowAction<java.lang.Void> implements Serializable
- serialVersionUID:
- -4849789317743067240L
-
Class org.svvrl.goal.gui.action.UnionAction extends AutomatonOperationAction<FSA,FSA> implements Serializable
- serialVersionUID:
- -5870603823921852456L
-
Class org.svvrl.goal.gui.action.ValidityAction extends LogicAction<Logic,java.lang.Void> implements Serializable
- serialVersionUID:
- -8035059890191911461L
-
Class org.svvrl.goal.gui.action.WAAComplementAction extends AbstractComplementAction<WAAConstruction> implements Serializable
- serialVersionUID:
- 6506496839857092980L
-
Class org.svvrl.goal.gui.action.WAPAComplementAction extends AbstractComplementAction<WAPAConstruction> implements Serializable
- serialVersionUID:
- -5433018145592549806L
-
Class org.svvrl.goal.gui.action.WindowAction extends javax.swing.AbstractAction implements Serializable
- serialVersionUID:
- -4741953458963207423L
-
Class org.svvrl.goal.gui.action.WringOptimizationAction extends EditableAction<FSA,java.lang.Void> implements Serializable
- serialVersionUID:
- 3567390820559976794L
-
Class org.svvrl.goal.gui.action.ZoomActions.CustomZoomAction extends AbstractZoomAction implements Serializable
- serialVersionUID:
- 8320601100803295314L
-
Class org.svvrl.goal.gui.action.ZoomActions.Zoom100Action extends AbstractZoomAction implements Serializable
- serialVersionUID:
- -540814156705103371L
-
Class org.svvrl.goal.gui.action.ZoomActions.Zoom125Action extends AbstractZoomAction implements Serializable
- serialVersionUID:
- 5014841499227946131L
-
Class org.svvrl.goal.gui.action.ZoomActions.Zoom150Action extends AbstractZoomAction implements Serializable
- serialVersionUID:
- -3977521375993613069L
-
Class org.svvrl.goal.gui.action.ZoomActions.Zoom175Action extends AbstractZoomAction implements Serializable
- serialVersionUID:
- 7027274209105029655L
-
Class org.svvrl.goal.gui.action.ZoomActions.Zoom200Action extends AbstractZoomAction implements Serializable
- serialVersionUID:
- 4206517577766879235L
-
Class org.svvrl.goal.gui.action.ZoomActions.Zoom50Action extends AbstractZoomAction implements Serializable
- serialVersionUID:
- -7261303809022449360L
-
Class org.svvrl.goal.gui.action.ZoomActions.Zoom75Action extends AbstractZoomAction implements Serializable
- serialVersionUID:
- -2712684953237541990L
-
Class org.svvrl.goal.gui.action.ZoomActions.ZoomAutoAction extends AbstractZoomAction implements Serializable
- serialVersionUID:
- 198782542437871150L
-
-
Package org.svvrl.goal.gui.editor
-
Class org.svvrl.goal.gui.editor.AbstractAccEditor extends EditablePropertyEditor implements Serializable
- serialVersionUID:
- -5975125246532424188L
-
Serialized Fields
-
create
javax.swing.JButton create
The button for creating a new acceptance set (or pair). -
dialog
AccDialog dialog
-
down
javax.swing.JButton down
The button for moving an acceptance set (or pair) down. -
edit
javax.swing.JButton edit
The button for editing an acceptance set (or pair). -
list
javax.swing.JList<java.lang.Object> list
The list containing the acceptance condition. -
listeners
java.util.List<AccSelectionListener> listeners
-
remove
javax.swing.JButton remove
The button for removing an existing acceptance set (or pair). -
up
javax.swing.JButton up
The button for moving an acceptance set (or pair) up.
-
-
Class org.svvrl.goal.gui.editor.AbstractGraphicComponentListModel extends javax.swing.AbstractListModel<java.lang.Object> implements Serializable
- serialVersionUID:
- 700948379833271692L
-
Serialized Fields
-
comparator
GraphicComponentComparator<T extends GraphicComponent> comparator
-
comps
java.util.List<T extends GraphicComponent> comps
-
set
S extends AbstractGraphicComponentSet<T,S> set
-
-
Class org.svvrl.goal.gui.editor.AbstractGraphicComponentSetListModel extends javax.swing.AbstractListModel<java.lang.Object> implements Serializable
- serialVersionUID:
- -3513873433119511853L
-
Serialized Fields
-
sets
java.util.List<S extends AbstractGraphicComponentSet<T,S>> sets
-
-
Class org.svvrl.goal.gui.editor.AbstractNBWLikeAccEditor extends AbstractAccEditor implements Serializable
- serialVersionUID:
- -3050226120776643537L
-
Class org.svvrl.goal.gui.editor.AbstractNGBWLikeAccEditor extends AbstractAccEditor implements Serializable
- serialVersionUID:
- -7953864361158020362L
-
Serialized Fields
-
model
StateSetListModel model
-
selected
int selected
-
-
Class org.svvrl.goal.gui.editor.AbstractNRWLikeAccEditor extends AbstractAccEditor implements Serializable
- serialVersionUID:
- -1172381466954360393L
-
Serialized Fields
-
model
StateSetListModel model
-
selected
int selected
-
-
Class org.svvrl.goal.gui.editor.AbstractNTBWLikeAccEditor extends AbstractAccEditor implements Serializable
- serialVersionUID:
- 5893384632722273755L
-
Class org.svvrl.goal.gui.editor.AbstractNTGBWLikeAccEditor extends AbstractAccEditor implements Serializable
- serialVersionUID:
- -7953864361158020362L
-
Serialized Fields
-
model
TransitionSetListModel model
-
selected
int selected
-
-
Class org.svvrl.goal.gui.editor.AbstractNTRWLikeAccEditor extends AbstractAccEditor implements Serializable
- serialVersionUID:
- 3093396603244649861L
-
Serialized Fields
-
model
TransitionSetListModel model
-
selected
int selected
-
-
Class org.svvrl.goal.gui.editor.AccDialog extends UIDialog implements Serializable
- serialVersionUID:
- 5139361252536132969L
-
Serialized Fields
-
aut
Automaton aut
The owner of the current acceptance condition in this dialog. -
editor
AbstractAccEditor editor
The current acceptance condition editor in this dialog. -
window
Window window
The parent window of this dialog. -
wrapper
javax.swing.JPanel wrapper
A wrapper containing a acceptance condition editor.
-
-
Class org.svvrl.goal.gui.editor.AccSetEditor extends UIDialog implements Serializable
- serialVersionUID:
- -1537879359808947874L
-
Serialized Fields
-
acc
ParityAcc acc
-
acc_list
javax.swing.JList<java.lang.Object> acc_list
-
acc_model
StateListModel acc_model
-
add
boolean add
-
left_set
StateSet left_set
-
map
java.util.Map<State,StateSet> map
-
move_all_left
javax.swing.JButton move_all_left
-
move_all_right
javax.swing.JButton move_all_right
-
move_left
javax.swing.JButton move_left
-
move_right
javax.swing.JButton move_right
-
original
StateSet original
-
right_set
StateSet right_set
-
state_list
javax.swing.JList<java.lang.Object> state_list
-
state_model
StateListModel state_model
-
-
Class org.svvrl.goal.gui.editor.ACTLEditor extends FormulaEditor<ACTL> implements Serializable
- serialVersionUID:
- -1346118480347645351L
-
Class org.svvrl.goal.gui.editor.AlphabetConversionDialog extends UIDialog implements Serializable
- serialVersionUID:
- -6708171892373311853L
-
Serialized Fields
-
aut
Automaton aut
-
cancel
javax.swing.JButton cancel
-
column_names
java.lang.String[] column_names
-
def
javax.swing.JButton def
-
editor
Editor<?> editor
-
model
org.svvrl.goal.gui.editor.AlphabetConversionDialog.MapTableModel model
-
ok
javax.swing.JButton ok
-
table
javax.swing.JTable table
-
type
AlphabetType type
-
-
Class org.svvrl.goal.gui.editor.AltAutomatonCanvas extends AutomatonCanvas<AltAutomaton> implements Serializable
- serialVersionUID:
- 1389913174146950330L
-
Class org.svvrl.goal.gui.editor.AltAutomatonEditor extends AutomatonEditor<AltAutomaton> implements Serializable
- serialVersionUID:
- 7840380344951180243L
-
Class org.svvrl.goal.gui.editor.AltAutomatonPropertyEditor extends AutomatonPropertyEditor implements Serializable
- serialVersionUID:
- 3326341610926029832L
-
Serialized Fields
-
style
javax.swing.JTextField style
-
-
Class org.svvrl.goal.gui.editor.AltConnectorPropertyEditor extends StatePropertyEditor implements Serializable
- serialVersionUID:
- 8052417323820018408L
-
Serialized Fields
-
type
javax.swing.JTextField type
-
-
Class org.svvrl.goal.gui.editor.AltStatePropertyEditor extends StatePropertyEditor implements Serializable
- serialVersionUID:
- 7175918926571918000L
-
Serialized Fields
-
type
javax.swing.JTextField type
-
-
Class org.svvrl.goal.gui.editor.AltTransitionPropertyEditor extends GraphicComponentPropertyEditor implements Serializable
- serialVersionUID:
- 1500554888978931043L
-
Class org.svvrl.goal.gui.editor.AutomatonCanvas extends ScrollablePanel implements Serializable
- serialVersionUID:
- -918452429783322927L
-
Serialized Fields
-
adaptive
boolean adaptive
Indicates whether this panel is in adaptive mode or not. -
drawer
AutomatonDrawer<T extends Automaton> drawer
A drawer that can draw the automaton. -
drawers
java.util.List<Drawer> drawers
A set of drawers that want to draw something on this automaton canvas. -
freeze
boolean freeze
Indicates whether this canvas is frozen or not. -
grid_drawer
GridlinesDrawer grid_drawer
-
-
Class org.svvrl.goal.gui.editor.AutomatonEditor extends Editor<T extends Automaton> implements Serializable
- serialVersionUID:
- 9081528124543389187L
-
Serialized Fields
-
canvas
AutomatonCanvas<T extends Automaton> canvas
An automaton canvas that can display the automaton. -
popup
AutomatonPopupMenu popup
A popup menu for this automaton editor. It is created when the popup is triggered at the first time.
-
-
Class org.svvrl.goal.gui.editor.AutomatonPropertyEditor extends EditablePropertyEditor implements Serializable
- serialVersionUID:
- 3920361121743831000L
-
Serialized Fields
-
acc_field
javax.swing.JTextField acc_field
The text field of the acceptance condition property. -
acc_label
javax.swing.JLabel acc_label
The label of the acceptance condition property. -
alphabet_type_field
javax.swing.JTextField alphabet_type_field
The text field of the alphabet type property. -
alphabet_type_label
javax.swing.JLabel alphabet_type_label
The label of the alphabet type property. -
formula_field
javax.swing.JTextField formula_field
The text field of the formula property. -
formula_label
javax.swing.JLabel formula_label
The label of the formula property. -
label_position_field
javax.swing.JTextField label_position_field
The text field of the label position property. -
label_position_label
javax.swing.JLabel label_position_label
The label of the label position property. -
props_field
javax.swing.JTextField props_field
The text field of the propositions (or classical symbols) property. -
props_label
javax.swing.JLabel props_label
The label of the propositions (or classical symbols) property. -
snum_field
javax.swing.JTextField snum_field
The text field of the state number property. -
snum_label
javax.swing.JLabel snum_label
The label of the state number property. -
tnum_field
javax.swing.JTextField tnum_field
The text field of the transition number property. -
tnum_label
javax.swing.JLabel tnum_label
The label of the transition number property.
-
-
Class org.svvrl.goal.gui.editor.BuchiAccEditor extends AbstractNBWLikeAccEditor implements Serializable
- serialVersionUID:
- 8934080537273844174L
-
Class org.svvrl.goal.gui.editor.ClassicAccEditor extends AbstractNBWLikeAccEditor implements Serializable
- serialVersionUID:
- -5935249168799252830L
-
Class org.svvrl.goal.gui.editor.CoBuchiAccEditor extends AbstractNBWLikeAccEditor implements Serializable
- serialVersionUID:
- 1202625694126567493L
-
Class org.svvrl.goal.gui.editor.ConfigurationRunViewer extends javax.swing.JPanel implements Serializable
- serialVersionUID:
- 8343434875024715109L
-
Serialized Fields
-
drawer
DrawerUtils drawer
-
-
Class org.svvrl.goal.gui.editor.EditablePropertyEditor extends PropertyEditor implements Serializable
- serialVersionUID:
- 972295479192728714L
-
Serialized Fields
-
desc_field
javax.swing.JTextField desc_field
The text field of the description property. -
desc_label
javax.swing.JLabel desc_label
The label of the description property. -
map
java.util.Map<java.lang.String,javax.swing.JTextField> map
-
name_field
javax.swing.JTextField name_field
The text field of the name property. -
name_label
javax.swing.JLabel name_label
The label of the name property. -
type_field
javax.swing.JTextField type_field
The text field of the type property. -
type_label
javax.swing.JLabel type_label
The label of the type property.
-
-
Class org.svvrl.goal.gui.editor.Editor extends javax.swing.JPanel implements Serializable
- serialVersionUID:
- -2945524059331201325L
-
Class org.svvrl.goal.gui.editor.FormulaEditor extends Editor<FormulaHolder<T extends Logic>> implements Serializable
- serialVersionUID:
- -2693664291194847874L
-
Serialized Fields
-
field
javax.swing.JTextField field
-
opt_pane
javax.swing.JPanel opt_pane
-
-
Class org.svvrl.goal.gui.editor.FSACanvas extends AutomatonCanvas<FSA> implements Serializable
- serialVersionUID:
- 2305330852259141687L
-
Class org.svvrl.goal.gui.editor.FSAEditor extends AutomatonEditor<FSA> implements Serializable
- serialVersionUID:
- 8195164392636565537L
-
Class org.svvrl.goal.gui.editor.GameCanvas extends AutomatonCanvas<Game> implements Serializable
- serialVersionUID:
- -6985660623676318825L
-
Class org.svvrl.goal.gui.editor.GameEditor extends AutomatonEditor<Game> implements Serializable
- serialVersionUID:
- -4940845605014658359L
-
Class org.svvrl.goal.gui.editor.GamePropertyEditor extends AutomatonPropertyEditor implements Serializable
- serialVersionUID:
- -5347551287251210579L
-
Class org.svvrl.goal.gui.editor.GameStatePropertyEditor extends StatePropertyEditor implements Serializable
- serialVersionUID:
- -3883221777971011236L
-
Serialized Fields
-
player_field
javax.swing.JTextField player_field
The field of the game player.
-
-
Class org.svvrl.goal.gui.editor.GeneralizedBuchiAccEditor extends AbstractNGBWLikeAccEditor implements Serializable
- serialVersionUID:
- 8934080537273844174L
-
Class org.svvrl.goal.gui.editor.GraphicComponentAccSetEditor extends UIDialog implements Serializable
- serialVersionUID:
- -1537879359808947874L
-
Serialized Fields
-
acc_list
javax.swing.JList<java.lang.Object> acc_list
-
acc_model
GraphicComponentListModel acc_model
-
add
boolean add
-
comp_list
javax.swing.JList<java.lang.Object> comp_list
-
comp_model
GraphicComponentListModel comp_model
-
left_set
GraphicComponentSet left_set
-
move_all_left
javax.swing.JButton move_all_left
-
move_all_right
javax.swing.JButton move_all_right
-
move_left
javax.swing.JButton move_left
-
move_right
javax.swing.JButton move_right
-
original
GraphicComponentSet original
-
right_set
GraphicComponentSet right_set
-
-
Class org.svvrl.goal.gui.editor.GraphicComponentListModel extends AbstractGraphicComponentListModel<GraphicComponent,GraphicComponentSet> implements Serializable
- serialVersionUID:
- -1229201367063012104L
-
Class org.svvrl.goal.gui.editor.GraphicComponentPropertyEditor extends EditablePropertyEditor implements Serializable
- serialVersionUID:
- -9142793986865035685L
-
Serialized Fields
-
color
java.awt.Color color
-
color_image
java.awt.image.BufferedImage color_image
-
color_label
javax.swing.JLabel color_label
A label which paints the color of the component. -
id
javax.swing.JTextField id
A field containing the ID of the component. -
label
javax.swing.JTextField label
A field containing the label of the component. -
opacity
javax.swing.JTextField opacity
A field containing the opacity of the component. -
readonly
boolean readonly
-
text_color
java.awt.Color text_color
-
text_color_image
java.awt.image.BufferedImage text_color_image
-
text_color_label
javax.swing.JLabel text_color_label
A label which paints the color of the component.
-
-
Class org.svvrl.goal.gui.editor.GraphicComponentSetListModel extends AbstractGraphicComponentSetListModel<GraphicComponent,GraphicComponentSet> implements Serializable
- serialVersionUID:
- 7168754978854617705L
-
Class org.svvrl.goal.gui.editor.HanoiAccEditor extends AbstractAccEditor implements Serializable
- serialVersionUID:
- -6209960098080156565L
-
Serialized Fields
-
cond_area
javax.swing.JTextArea cond_area
-
cond_label
javax.swing.JLabel cond_label
-
converter
HOAFConverter converter
-
model
javax.swing.DefaultListModel<java.lang.Object> model
-
selected
int selected
-
-
Class org.svvrl.goal.gui.editor.HanoiAccSetCellRenderer extends javax.swing.DefaultListCellRenderer implements Serializable
- serialVersionUID:
- 5156617835548936264L
-
Class org.svvrl.goal.gui.editor.InputSimulatorViewer extends Editor<InputSimulator> implements Serializable
- serialVersionUID:
- -3261949108087638886L
-
Serialized Fields
-
drawer
DrawerUtils drawer
-
list
javax.swing.JList<InputSimulator.Run> list
-
model
javax.swing.DefaultListModel<InputSimulator.Run> model
-
scroll
javax.swing.JScrollPane scroll
-
-
Class org.svvrl.goal.gui.editor.MullerAccEditor extends AbstractNGBWLikeAccEditor implements Serializable
- serialVersionUID:
- -3998328818121643512L
-
Class org.svvrl.goal.gui.editor.OmegaRegularExpressionEditor extends FormulaEditor<ORExpression> implements Serializable
- serialVersionUID:
- -1200446052216436572L
-
Serialized Fields
-
panel
OmegaRegularExpressionOptionsPanel panel
-
-
Class org.svvrl.goal.gui.editor.ParityAccEditor extends AbstractNGBWLikeAccEditor implements Serializable
- serialVersionUID:
- -3998328818121643512L
-
Class org.svvrl.goal.gui.editor.PropertyDialog extends UIDialog implements Serializable
- serialVersionUID:
- -3739917311210218726L
-
Serialized Fields
-
apply
javax.swing.JButton apply
-
close
javax.swing.JButton close
-
create
javax.swing.JButton create
The button for creating a new user-defined property. -
editor
PropertyEditor editor
The active property editor. -
first_visible
boolean first_visible
-
window
Window window
-
wrapper
javax.swing.JPanel wrapper
A wrapper that contains the property editor.
-
-
Class org.svvrl.goal.gui.editor.PropertyEditor extends javax.swing.JPanel implements Serializable
- serialVersionUID:
- -5427419964250679300L
-
Serialized Fields
-
editor
Editor<?> editor
The editor containing the object. -
hg1
javax.swing.GroupLayout.Group hg1
-
hg2
javax.swing.GroupLayout.Group hg2
-
layout1
javax.swing.GroupLayout layout1
-
object
java.lang.Object object
The object to be edited. -
refresh
boolean refresh
Indicates if the properties are refreshed automatically when they are changed. -
vgs
java.util.List<javax.swing.GroupLayout.Group> vgs
-
width
int width
The width of a text field.
-
-
Class org.svvrl.goal.gui.editor.QPTLEditor extends FormulaEditor<QPTL> implements Serializable
- serialVersionUID:
- 6945420099004702857L
-
Class org.svvrl.goal.gui.editor.RabinAccEditor extends AbstractNRWLikeAccEditor implements Serializable
- serialVersionUID:
- -3998328818121643512L
-
Class org.svvrl.goal.gui.editor.ReachabilityAccEditor extends AbstractNBWLikeAccEditor implements Serializable
- serialVersionUID:
- -8622085282967354904L
-
Class org.svvrl.goal.gui.editor.RegularExpressionEditor extends FormulaEditor<RegularExpression> implements Serializable
- serialVersionUID:
- -1079033824152255534L
-
Serialized Fields
-
panel
RegularExpressionOptionsPanel panel
-
-
Class org.svvrl.goal.gui.editor.RunDagViewer extends Editor<RunDag> implements Serializable
- serialVersionUID:
- 2926052526030054076L
-
Serialized Fields
-
canvas
org.svvrl.goal.gui.editor.RunDagViewer.RunDagCanvas canvas
-
scroll
javax.swing.JScrollPane scroll
-
-
Class org.svvrl.goal.gui.editor.RunTreeViewer extends Editor<RunTree> implements Serializable
- serialVersionUID:
- -3093236462694084350L
-
Serialized Fields
-
canvas
org.svvrl.goal.gui.editor.RunTreeViewer.RunTreeCanvas canvas
-
scroll
javax.swing.JScrollPane scroll
-
-
Class org.svvrl.goal.gui.editor.ScrollablePanel extends javax.swing.JPanel implements Serializable
- serialVersionUID:
- 4668468419915308158L
-
Class org.svvrl.goal.gui.editor.SplitTreeViewer extends Editor<SplitTree> implements Serializable
- serialVersionUID:
- 3488563333152243978L
-
Serialized Fields
-
canvas
org.svvrl.goal.gui.editor.SplitTreeViewer.SplitTreeCanvas canvas
-
scroll
javax.swing.JScrollPane scroll
-
-
Class org.svvrl.goal.gui.editor.StateListModel extends AbstractGraphicComponentListModel<State,StateSet> implements Serializable
- serialVersionUID:
- 700948379833271692L
-
Class org.svvrl.goal.gui.editor.StatePropertyEditor extends GraphicComponentPropertyEditor implements Serializable
- serialVersionUID:
- 4778845287997261971L
-
Serialized Fields
-
auto
java.lang.String auto
-
init_box
javax.swing.JComboBox<java.lang.Object> init_box
The combo box of the initial indicator property. -
init_label
javax.swing.JLabel init_label
The label of the initial indicator property. -
loop_box
javax.swing.JComboBox<java.lang.Object> loop_box
The combo box of the self-loop property. -
loop_label
javax.swing.JLabel loop_label
The label of the self-loop property. -
pos_field
javax.swing.JTextField pos_field
The text field of the position property. -
pos_label
javax.swing.JLabel pos_label
The label of the position property.
-
-
Class org.svvrl.goal.gui.editor.StateSetListModel extends AbstractGraphicComponentSetListModel<State,StateSet> implements Serializable
- serialVersionUID:
- 7168754978854617705L
-
Class org.svvrl.goal.gui.editor.StreettAccEditor extends AbstractNRWLikeAccEditor implements Serializable
- serialVersionUID:
- -3998328818121643512L
-
Class org.svvrl.goal.gui.editor.TAccSetEditor extends UIDialog implements Serializable
- serialVersionUID:
- -1537879359808947874L
-
Serialized Fields
-
acc
TParityAcc acc
-
acc_list
javax.swing.JList<java.lang.Object> acc_list
-
acc_model
TransitionListModel acc_model
-
left_set
TransitionSet left_set
-
map
java.util.Map<Transition,TransitionSet> map
-
move_all_left
javax.swing.JButton move_all_left
-
move_all_right
javax.swing.JButton move_all_right
-
move_left
javax.swing.JButton move_left
-
move_right
javax.swing.JButton move_right
-
original
TransitionSet original
-
right_set
TransitionSet right_set
-
tran_list
javax.swing.JList<java.lang.Object> tran_list
-
tran_model
TransitionListModel tran_model
-
-
Class org.svvrl.goal.gui.editor.TBuchiAccEditor extends AbstractNTBWLikeAccEditor implements Serializable
- serialVersionUID:
- -1437514736488347141L
-
Class org.svvrl.goal.gui.editor.TCoBuchiAccEditor extends AbstractNTBWLikeAccEditor implements Serializable
- serialVersionUID:
- 7634169137787030660L
-
Class org.svvrl.goal.gui.editor.TGeneralizedBuchiAccEditor extends AbstractNTGBWLikeAccEditor implements Serializable
- serialVersionUID:
- 1773178292206701783L
-
Class org.svvrl.goal.gui.editor.TMullerAccEditor extends AbstractNTGBWLikeAccEditor implements Serializable
- serialVersionUID:
- 5501501364721168410L
-
Class org.svvrl.goal.gui.editor.TParityAccEditor extends AbstractNTGBWLikeAccEditor implements Serializable
- serialVersionUID:
- 6455488717130385514L
-
Class org.svvrl.goal.gui.editor.TRabinAccEditor extends AbstractNTRWLikeAccEditor implements Serializable
- serialVersionUID:
- 6109805543946195163L
-
Class org.svvrl.goal.gui.editor.TransitionListModel extends AbstractGraphicComponentListModel<Transition,TransitionSet> implements Serializable
- serialVersionUID:
- 700948379833271692L
-
Class org.svvrl.goal.gui.editor.TransitionPropertyEditor extends GraphicComponentPropertyEditor implements Serializable
- serialVersionUID:
- 4778845287997261971L
-
Serialized Fields
-
from_field
javax.swing.JTextField from_field
The text field of the source state of the transition. -
from_label
javax.swing.JLabel from_label
The label of the source state of the transition. -
to_field
javax.swing.JTextField to_field
The text field of the destination state of the transition. -
to_label
javax.swing.JLabel to_label
The label of the destination state of the transition.
-
-
Class org.svvrl.goal.gui.editor.TransitionSetListModel extends AbstractGraphicComponentSetListModel<Transition,TransitionSet> implements Serializable
- serialVersionUID:
- 3016758022972920198L
-
Class org.svvrl.goal.gui.editor.TStreettAccEditor extends AbstractNTRWLikeAccEditor implements Serializable
- serialVersionUID:
- 6175558658668761599L
-
Class org.svvrl.goal.gui.editor.TwoWayAltAutomatonCanvas extends AutomatonCanvas<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- 1389913174146950330L
-
Class org.svvrl.goal.gui.editor.TwoWayAltAutomatonEditor extends AutomatonEditor<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- 7840380344951180243L
-
Class org.svvrl.goal.gui.editor.TwoWayAltTransitionPropertyEditor extends AltTransitionPropertyEditor implements Serializable
- serialVersionUID:
- 4778845287997261971L
-
Serialized Fields
-
direction_box
javax.swing.JComboBox<Direction> direction_box
The combo box of the direction property. -
direction_label
javax.swing.JLabel direction_label
The label of the direction property.
-
-
Class org.svvrl.goal.gui.editor.WordEditor extends javax.swing.JPanel implements Serializable
- serialVersionUID:
- 8181681924195950323L
-
Serialized Fields
-
area
javax.swing.JTextArea area
-
ib
javax.swing.JButton ib
-
-
-
Package org.svvrl.goal.gui.menu
-
Class org.svvrl.goal.gui.menu.AutomatonPopupMenu extends javax.swing.JPopupMenu implements Serializable
- serialVersionUID:
- -5709470067129925557L
-
Serialized Fields
-
acceptance
javax.swing.JMenu acceptance
-
alignment
javax.swing.JMenu alignment
-
aut_comp
GraphicComponent aut_comp
the automaton component selected when this menu show up -
direction_menu
javax.swing.JMenu direction_menu
-
editor
AutomatonEditor<? extends Automaton> editor
-
final_state
javax.swing.JCheckBoxMenuItem final_state
-
full_trans
javax.swing.JCheckBoxMenuItem full_trans
-
init_state
javax.swing.JCheckBoxMenuItem init_state
a menu item that mark/unmark a state as an initial state -
on_state_menu
AutomatonPopupMenu.OnStateMenu on_state_menu
-
player_menu
javax.swing.JMenu player_menu
-
prop
javax.swing.JMenuItem prop
-
reset_curve
javax.swing.JMenuItem reset_curve
-
state_display_menu
javax.swing.JMenu state_display_menu
-
state_reorder
javax.swing.JMenuItem state_reorder
-
tran_display_menu
javax.swing.JMenu tran_display_menu
-
-
Class org.svvrl.goal.gui.menu.HelpMenu extends UIMenu implements Serializable
- serialVersionUID:
- 3126288722692749384L
-
Class org.svvrl.goal.gui.menu.LayoutMenu extends UIMenu implements Serializable
- serialVersionUID:
- -3657791882955188004L
-
Class org.svvrl.goal.gui.menu.MoveToMenu extends UIMenu implements Serializable
- serialVersionUID:
- 5874036544991063366L
-
Class org.svvrl.goal.gui.menu.RecentFileMenu extends UIMenu implements Serializable
- serialVersionUID:
- -7674248255902364330L
-
Serialized Fields
-
clear_all
WindowAction<?> clear_all
-
open_all
WindowAction<?> open_all
-
-
Class org.svvrl.goal.gui.menu.UIMenu extends javax.swing.JMenu implements Serializable
- serialVersionUID:
- 4614347838285706806L
-
Serialized Fields
-
window
Window window
-
-
-
Package org.svvrl.goal.gui.pref
-
Class org.svvrl.goal.gui.pref.AperiodicOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 3203427094180970123L
-
Serialized Fields
-
aut_first
javax.swing.JCheckBox aut_first
-
skip_rejected
javax.swing.JCheckBox skip_rejected
-
test_aut
javax.swing.JCheckBox test_aut
-
-
Class org.svvrl.goal.gui.pref.AutomatonOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 9132568625987348363L
-
Serialized Fields
-
accepting_state_color
java.awt.Color accepting_state_color
-
accepting_state_color_image
java.awt.image.BufferedImage accepting_state_color_image
-
accepting_state_label
javax.swing.JLabel accepting_state_label
-
accepting_style_box
javax.swing.JComboBox<java.lang.String> accepting_style_box
-
background_color
java.awt.Color background_color
-
background_color_image
java.awt.image.BufferedImage background_color_image
-
background_label
javax.swing.JLabel background_label
-
classical
javax.swing.JRadioButton classical
-
connector_scale_box
javax.swing.JComboBox<java.lang.Double> connector_scale_box
-
CUSTOM_STATE_PREFIX
java.lang.String CUSTOM_STATE_PREFIX
-
dots_box
javax.swing.JCheckBox dots_box
-
grid_box
javax.swing.JCheckBox grid_box
-
grid_size_field
javax.swing.JTextField grid_size_field
-
grid_transparency_slider
javax.swing.JSlider grid_transparency_slider
-
gridlines_color
java.awt.Color gridlines_color
-
gridlines_color_image
java.awt.image.BufferedImage gridlines_color_image
-
gridlines_label
javax.swing.JLabel gridlines_label
-
guide_box
javax.swing.JCheckBox guide_box
-
guidelines_color
java.awt.Color guidelines_color
-
guidelines_color_image
java.awt.image.BufferedImage guidelines_color_image
-
guidelines_label
javax.swing.JLabel guidelines_label
-
highlight_color
java.awt.Color highlight_color
-
highlight_color_image
java.awt.image.BufferedImage highlight_color_image
-
highlight_label
javax.swing.JLabel highlight_label
-
initial_style_box
javax.swing.JComboBox<java.lang.String> initial_style_box
-
line_color
java.awt.Color line_color
-
line_color_image
java.awt.image.BufferedImage line_color_image
-
line_label
javax.swing.JLabel line_label
-
on_state
javax.swing.JRadioButton on_state
-
on_state_custom
javax.swing.JRadioButton on_state_custom
-
on_state_id
javax.swing.JRadioButton on_state_id
-
on_state_initial_id
javax.swing.JRadioButton on_state_initial_id
-
on_state_none
javax.swing.JRadioButton on_state_none
-
on_transition
javax.swing.JRadioButton on_transition
-
overlap_box
javax.swing.JCheckBox overlap_box
-
propositional
javax.swing.JRadioButton propositional
-
remove_unused_props
javax.swing.JCheckBox remove_unused_props
-
selected_color
java.awt.Color selected_color
-
selected_color_image
java.awt.image.BufferedImage selected_color_image
-
selected_label
javax.swing.JLabel selected_label
-
snap_box
javax.swing.JCheckBox snap_box
-
state_color
java.awt.Color state_color
-
state_color_image
java.awt.image.BufferedImage state_color_image
-
state_label
javax.swing.JLabel state_label
-
state_prefix_box
javax.swing.JComboBox<java.lang.String> state_prefix_box
-
state_prefix_label
javax.swing.JLabel state_prefix_label
-
state_properties_button
javax.swing.JButton state_properties_button
-
state_properties_label
javax.swing.JLabel state_properties_label
-
state_radius_box
javax.swing.JComboBox<java.lang.Integer> state_radius_box
-
text_color
java.awt.Color text_color
-
text_color_image
java.awt.image.BufferedImage text_color_image
-
text_label
javax.swing.JLabel text_label
-
transition_properties_button
javax.swing.JButton transition_properties_button
-
transition_properties_label
javax.swing.JLabel transition_properties_label
-
-
Class org.svvrl.goal.gui.pref.BuchiStoreOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 4029376651290027305L
-
Serialized Fields
-
cache
Cache cache
-
clear
javax.swing.JButton clear
-
format1
javax.swing.JRadioButton format1
-
format2
javax.swing.JRadioButton format2
-
size_label
javax.swing.JLabel size_label
-
unicode
javax.swing.JRadioButton unicode
-
unit_label
javax.swing.JLabel unit_label
-
-
Class org.svvrl.goal.gui.pref.CircleLayoutOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -863066632091393731L
-
Serialized Fields
-
diameter_base
javax.swing.JTextField diameter_base
-
diameter_ratio
javax.swing.JTextField diameter_ratio
-
random
javax.swing.JCheckBox random
-
-
Class org.svvrl.goal.gui.pref.ComplementOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -6674969624177748795L
-
Serialized Fields
-
compComboBox
javax.swing.JComboBox<java.lang.String> compComboBox
-
-
Class org.svvrl.goal.gui.pref.ConversionOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -3856007972293186908L
-
Serialized Fields
-
fsa2nmw
javax.swing.Box fsa2nmw
-
fsa2nmw_cycle
javax.swing.JCheckBox fsa2nmw_cycle
-
nbw2dpw
javax.swing.Box nbw2dpw
-
nbw2dpw_history_tree
javax.swing.JCheckBox nbw2dpw_history_tree
-
nbw2drw
javax.swing.Box nbw2drw
-
nbw2drw_alg
javax.swing.JComboBox<java.lang.String> nbw2drw_alg
-
nbw2drw_history_tree
javax.swing.JCheckBox nbw2drw_history_tree
-
npw2nbw
javax.swing.Box npw2nbw
-
npw2nbw_equiv
javax.swing.JCheckBox npw2nbw_equiv
-
npw2nbw_reduce_states
javax.swing.JCheckBox npw2nbw_reduce_states
-
ntgbw2nbw
javax.swing.Box ntgbw2nbw
-
ntgbw2nbw_alg
javax.swing.JComboBox<java.lang.String> ntgbw2nbw_alg
-
ntgbw2nbw_reduce_before
javax.swing.JCheckBox ntgbw2nbw_reduce_before
-
-
Class org.svvrl.goal.gui.pref.CouvreurOptionsPanel extends OptionsPanel<CouvreurOptions> implements Serializable
- serialVersionUID:
- 5198429958238141684L
-
Serialized Fields
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
superset_reduction
javax.swing.JCheckBox superset_reduction
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.CustomConversionDialog extends OptionsDialog<Properties> implements Serializable
- serialVersionUID:
- 7224619340832237520L
-
Serialized Fields
-
conv_box
javax.swing.Box conv_box
-
conv_seq
AutomatonType[] conv_seq
-
conv_seq_box
javax.swing.Box conv_seq_box
-
dst_type
javax.swing.JComboBox<AutomatonType> dst_type
-
src_type
AutomatonType src_type
-
-
Class org.svvrl.goal.gui.pref.DotCodecOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -1688175338175055012L
-
Serialized Fields
-
accepting_state_color
javax.swing.JTextField accepting_state_color
-
arrow_head
javax.swing.JComboBox<java.lang.String> arrow_head
-
bg_color
javax.swing.JTextField bg_color
-
fixed_size
javax.swing.JCheckBox fixed_size
-
html
javax.swing.JCheckBox html
-
html_entities
javax.swing.JCheckBox html_entities
-
line_color
javax.swing.JTextField line_color
-
logical_formula
javax.swing.JCheckBox logical_formula
-
rankdir
javax.swing.JComboBox<java.lang.String> rankdir
-
state_color
javax.swing.JTextField state_color
-
state_radius
javax.swing.JTextField state_radius
-
text_color
javax.swing.JTextField text_color
-
-
Class org.svvrl.goal.gui.pref.ExtendedCouvreurOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 5198429958238141684L
-
Serialized Fields
-
postponed_expansion
javax.swing.JCheckBox postponed_expansion
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
superset_reduction
javax.swing.JCheckBox superset_reduction
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.ExtendedGPVWOptionsPanel extends OptionsPanel<ExtendedGPVWOptions> implements Serializable
- serialVersionUID:
- 5739469875043378735L
-
Serialized Fields
-
postponed_expansion
javax.swing.JCheckBox postponed_expansion
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
simpl_ngbw
javax.swing.JCheckBox simpl_ngbw
-
simpl_projected_nbw
javax.swing.JCheckBox simpl_projected_nbw
-
superset_reduction
javax.swing.JCheckBox superset_reduction
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.ExtendedGPVWPlusOptionsPanel extends OptionsPanel<ExtendedGPVWPlusOptions> implements Serializable
- serialVersionUID:
- 5739469875043378735L
-
Serialized Fields
-
postponed_expansion
javax.swing.JCheckBox postponed_expansion
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
simpl_ngbw
javax.swing.JCheckBox simpl_ngbw
-
simpl_projected_nbw
javax.swing.JCheckBox simpl_projected_nbw
-
superset_reduction
javax.swing.JCheckBox superset_reduction
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.ExtendedLTL2AUTOptionsPanel extends OptionsPanel<ExtendedLTL2AUTOptions> implements Serializable
- serialVersionUID:
- 5739469875043378735L
-
Serialized Fields
-
postponed_expansion
javax.swing.JCheckBox postponed_expansion
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
simpl_ngbw
javax.swing.JCheckBox simpl_ngbw
-
simpl_projected_nbw
javax.swing.JCheckBox simpl_projected_nbw
-
superset_reduction
javax.swing.JCheckBox superset_reduction
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.ExtendedLTL2AUTPlusOptionsPanel extends OptionsPanel<ExtendedLTL2AUTPlusOptions> implements Serializable
- serialVersionUID:
- 5739469875043378735L
-
Serialized Fields
-
postponed_expansion
javax.swing.JCheckBox postponed_expansion
-
prime_implicants
javax.swing.JCheckBox prime_implicants
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
simpl_ngbw
javax.swing.JCheckBox simpl_ngbw
-
simpl_projected_nbw
javax.swing.JCheckBox simpl_projected_nbw
-
superset_reduction
javax.swing.JCheckBox superset_reduction
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.ExtendedLTL2BuchiOptionsPanel extends OptionsPanel<LTL2BuchiOptions> implements Serializable
- serialVersionUID:
- 5198429958238141684L
-
Serialized Fields
-
postponed_expansion
javax.swing.JCheckBox postponed_expansion
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
superset_reduction
javax.swing.JCheckBox superset_reduction
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.ExtendedModellaOptionsPanel extends OptionsPanel<ModellaOptions> implements Serializable
- serialVersionUID:
- 7471142957114090916L
-
Serialized Fields
-
merging_states
javax.swing.JCheckBox merging_states
-
postponed_expansion
javax.swing.JCheckBox postponed_expansion
-
postponement
javax.swing.JCheckBox postponement
-
pruning_fair_sets
javax.swing.JCheckBox pruning_fair_sets
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
simpl_ngbw
javax.swing.JCheckBox simpl_ngbw
-
simpl_projected_nbw
javax.swing.JCheckBox simpl_projected_nbw
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.FontDialog extends UIDialog implements Serializable
- serialVersionUID:
- 7594398840786097232L
-
Serialized Fields
-
cancel
javax.swing.JButton cancel
-
env
java.awt.GraphicsEnvironment env
-
font
java.awt.Font font
The selected font -
nameList
javax.swing.JList<java.lang.String> nameList
A list of font names. -
ok
javax.swing.JButton ok
-
sizeList
javax.swing.JList<java.lang.Integer> sizeList
A list of font sizes. -
sizes
java.lang.Integer[] sizes
Font size options. -
styleList
javax.swing.JList<org.svvrl.goal.gui.pref.FontDialog.FontStyle> styleList
A list of font styles. -
styles
org.svvrl.goal.gui.pref.FontDialog.FontStyle[] styles
Font style options.
-
-
Class org.svvrl.goal.gui.pref.ForceScanAlgorithmOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -6393140542654590017L
-
Serialized Fields
-
gap
javax.swing.JTextField gap
-
precompute
javax.swing.JCheckBox precompute
-
push
javax.swing.JCheckBox push
-
-
Class org.svvrl.goal.gui.pref.ForceTransferAlgorithmOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -8796391171346625115L
-
Serialized Fields
-
gap
javax.swing.JTextField gap
-
leftmost
javax.swing.JCheckBox leftmost
-
-
Class org.svvrl.goal.gui.pref.FormulaSimplificationOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 2192480782113670532L
-
Serialized Fields
-
map
java.util.Map<javax.swing.JCheckBox,java.lang.String> map
-
-
Class org.svvrl.goal.gui.pref.FRLayoutOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -1951164752244943960L
-
Serialized Fields
-
max_iter
javax.swing.JTextField max_iter
-
state
javax.swing.JRadioButton state
-
window
javax.swing.JRadioButton window
-
-
Class org.svvrl.goal.gui.pref.Game2NMGOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 3746366659106500401L
-
Serialized Fields
-
game2nmg_cycle
javax.swing.JCheckBox game2nmg_cycle
-
-
Class org.svvrl.goal.gui.pref.GameConversionDialog extends OptionsDialog<Properties> implements Serializable
- serialVersionUID:
- -1082858816008034962L
-
Class org.svvrl.goal.gui.pref.GameConversionOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 3717134433184521372L
-
Serialized Fields
-
map
BinaryMap<GameType,GameType,OptionsPanel<?>> map
-
-
Class org.svvrl.goal.gui.pref.GameSolverOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -7282610389139936938L
-
Serialized Fields
-
noncolor
java.awt.Color noncolor
-
noncolor_image
java.awt.image.BufferedImage noncolor_image
-
noncolor_label
javax.swing.JLabel noncolor_label
-
p0color
java.awt.Color p0color
-
p0color_image
java.awt.image.BufferedImage p0color_image
-
p0color_label
javax.swing.JLabel p0color_label
-
p1color
java.awt.Color p1color
-
p1color_image
java.awt.image.BufferedImage p1color_image
-
p1color_label
javax.swing.JLabel p1color_label
-
solver_panels
java.util.Map<java.lang.String,OptionsPanel<?>> solver_panels
-
solvers
java.util.Map<AcceptanceCondition,javax.swing.JComboBox<java.lang.String>> solvers
-
-
Class org.svvrl.goal.gui.pref.GasTeXCodecOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 1217036496673176553L
-
Serialized Fields
-
custom_state_name
javax.swing.JCheckBox custom_state_name
-
custom_transition_label
javax.swing.JCheckBox custom_transition_label
-
enable_header_footer
javax.swing.JCheckBox enable_header_footer
-
footer
javax.swing.JTextArea footer
-
header
javax.swing.JTextArea header
-
label_as_name
javax.swing.JCheckBox label_as_name
-
replace_negation
javax.swing.JCheckBox replace_negation
-
replace_true
javax.swing.JCheckBox replace_true
-
stack
javax.swing.JCheckBox stack
-
state_name
javax.swing.JTextField state_name
-
transition_label
javax.swing.JTextField transition_label
-
-
Class org.svvrl.goal.gui.pref.GeneralOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 9132568625987348363L
-
Serialized Fields
-
close_on_empty
javax.swing.JCheckBox close_on_empty
-
drawing_font_button
javax.swing.JButton drawing_font_button
-
floatable_toolbar_box
javax.swing.JCheckBox floatable_toolbar_box
-
native_file_dialog_box
javax.swing.JCheckBox native_file_dialog_box
-
processors_box
javax.swing.JComboBox<java.lang.Integer> processors_box
-
remember_window_location_box
javax.swing.JCheckBox remember_window_location_box
-
startup_box
javax.swing.JCheckBox startup_box
-
system_font_button
javax.swing.JButton system_font_button
-
use_external_browser
javax.swing.JCheckBox use_external_browser
-
-
Class org.svvrl.goal.gui.pref.GlobalOptimizationSolverOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -7420764678420076473L
-
Serialized Fields
-
parity_compression
javax.swing.JCheckBox parity_compression
-
parity_propagation
javax.swing.JCheckBox parity_propagation
-
scc_decomp
javax.swing.JCheckBox scc_decomp
-
selfloops
javax.swing.JCheckBox selfloops
-
solvers
javax.swing.JComboBox<java.lang.String> solvers
-
-
Class org.svvrl.goal.gui.pref.HierarchyComplementOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 5918602290487251078L
-
Serialized Fields
-
comps
javax.swing.JComboBox<java.lang.String> comps
-
kurshan
javax.swing.JCheckBox kurshan
-
post_fair
javax.swing.JCheckBox post_fair
-
post_max_acc
javax.swing.JCheckBox post_max_acc
-
post_simulation
javax.swing.JCheckBox post_simulation
-
pre_fair
javax.swing.JCheckBox pre_fair
-
pre_max_acc
javax.swing.JCheckBox pre_max_acc
-
pre_simulation
javax.swing.JCheckBox pre_simulation
-
-
Class org.svvrl.goal.gui.pref.ImprovedForceScanAlgorithmOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -863932889588306506L
-
Serialized Fields
-
gap
javax.swing.JTextField gap
-
-
Class org.svvrl.goal.gui.pref.IncrementalTableauOptionsPanel extends OptionsPanel<IncrementalTableauOptions> implements Serializable
- serialVersionUID:
- -4929089780407006534L
-
Serialized Fields
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
simpl_ngbw
javax.swing.JCheckBox simpl_ngbw
-
simpl_projected_nbw
javax.swing.JCheckBox simpl_projected_nbw
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.ISOMLayoutOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -231564361063378043L
-
Serialized Fields
-
cooling
javax.swing.JTextField cooling
-
interval
javax.swing.JTextField interval
-
max_adaption
javax.swing.JTextField max_adaption
-
max_epoch
javax.swing.JTextField max_epoch
-
max_radius
javax.swing.JTextField max_radius
-
min_adaption
javax.swing.JTextField min_adaption
-
min_radius
javax.swing.JTextField min_radius
-
refine_epoch
javax.swing.JTextField refine_epoch
-
state
javax.swing.JRadioButton state
-
window
javax.swing.JRadioButton window
-
-
Class org.svvrl.goal.gui.pref.KKLayoutOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -863066632091393731L
-
Serialized Fields
-
epsilon
javax.swing.JTextField epsilon
-
inner
javax.swing.JTextField inner
-
outer
javax.swing.JTextField outer
-
random
javax.swing.JCheckBox random
-
state
javax.swing.JRadioButton state
-
strength
javax.swing.JTextField strength
-
window
javax.swing.JRadioButton window
-
-
Class org.svvrl.goal.gui.pref.KP02OptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 511776299049049007L
-
Serialized Fields
-
congruent
javax.swing.JCheckBox congruent
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_intermediate_nbw
javax.swing.JCheckBox simpl_intermediate_nbw
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
-
Class org.svvrl.goal.gui.pref.LayoutOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 9198933197022040808L
-
Serialized Fields
-
layout_bounds_field
javax.swing.JTextField layout_bounds_field
-
layout_box
javax.swing.JComboBox<Layout> layout_box
-
-
Class org.svvrl.goal.gui.pref.LTL2BAOptionsPanel extends OptionsPanel<LTL2BAOptions> implements Serializable
- serialVersionUID:
- 5198429958238141684L
-
Serialized Fields
-
reduce_before
javax.swing.JCheckBox reduce_before
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
simpl_ntgbw
javax.swing.JCheckBox simpl_ntgbw
-
superset_reduction
javax.swing.JCheckBox superset_reduction
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.LTL2BuchiOptionsPanel extends OptionsPanel<LTL2BuchiOptions> implements Serializable
- serialVersionUID:
- 5198429958238141684L
-
Serialized Fields
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
superset_reduction
javax.swing.JCheckBox superset_reduction
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.ModellaOptionsPanel extends OptionsPanel<ModellaOptions> implements Serializable
- serialVersionUID:
- -4533923801926181090L
-
Serialized Fields
-
merging_states
javax.swing.JCheckBox merging_states
-
postponement
javax.swing.JCheckBox postponement
-
pruning_fair_sets
javax.swing.JCheckBox pruning_fair_sets
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
simpl_ngbw
javax.swing.JCheckBox simpl_ngbw
-
simpl_projected_nbw
javax.swing.JCheckBox simpl_projected_nbw
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.ModifiedSafraContainmentOptionsPanel extends OptionsPanel<ModifiedSafraContainmentOptions> implements Serializable
- serialVersionUID:
- 6733799721377431035L
-
Serialized Fields
-
max_acc_box
javax.swing.JCheckBox max_acc_box
-
pre_sim_box
javax.swing.JCheckBox pre_sim_box
-
random_box
javax.swing.JCheckBox random_box
-
sim_box
javax.swing.JCheckBox sim_box
-
-
Class org.svvrl.goal.gui.pref.ModifiedSafraOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -6225150897934899121L
-
Serialized Fields
-
acc_true_loops_box
javax.swing.JCheckBox acc_true_loops_box
-
succ_acc_box
javax.swing.JCheckBox succ_acc_box
-
-
Class org.svvrl.goal.gui.pref.MSContainmentOptionsPanel extends OptionsPanel<MSContainmentOptions> implements Serializable
- serialVersionUID:
- -2922473774808849001L
-
Serialized Fields
-
max_acc_box
javax.swing.JCheckBox max_acc_box
-
pre_sim_box
javax.swing.JCheckBox pre_sim_box
-
random_box
javax.swing.JCheckBox random_box
-
sim_box
javax.swing.JCheckBox sim_box
-
-
Class org.svvrl.goal.gui.pref.OmegaRegularExpressionOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -5127939178336353483L
-
Serialized Fields
-
single_letter_box
javax.swing.JCheckBox single_letter_box
-
-
Class org.svvrl.goal.gui.pref.OptionsDialog extends UIDialog implements Serializable
- serialVersionUID:
- -2520690338047146163L
-
Serialized Fields
-
cancel
javax.swing.JButton cancel
-
confirmed
boolean confirmed
-
ok
javax.swing.JButton ok
-
panel
OptionsPanel<T extends Properties> panel
-
save
javax.swing.JButton save
-
-
Class org.svvrl.goal.gui.pref.OptionsPanel extends javax.swing.JPanel implements Serializable
- serialVersionUID:
- 3137927692942179046L
-
Class org.svvrl.goal.gui.pref.ORETranslationOptionsPanel extends OptionsPanel<ORETranslationOptions> implements Serializable
- serialVersionUID:
- 7720823693906239914L
-
Serialized Fields
-
simpl_aut_box
javax.swing.JCheckBox simpl_aut_box
-
simpl_expr_box
javax.swing.JCheckBox simpl_expr_box
-
-
Class org.svvrl.goal.gui.pref.PitermanContainmentOptionsPanel extends OptionsPanel<PitermanContainmentOptions> implements Serializable
- serialVersionUID:
- 5842231403611994489L
-
Serialized Fields
-
max_acc_box
javax.swing.JCheckBox max_acc_box
-
pre_sim_box
javax.swing.JCheckBox pre_sim_box
-
random_box
javax.swing.JCheckBox random_box
-
sim_box
javax.swing.JCheckBox sim_box
-
-
Class org.svvrl.goal.gui.pref.PitermanOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -5066553348174074113L
-
Serialized Fields
-
complementation
boolean complementation
-
equiv_opt_box
javax.swing.JCheckBox equiv_opt_box
-
history_tree_box
javax.swing.JCheckBox history_tree_box
-
max_acc_box
javax.swing.JCheckBox max_acc_box
-
parity_opt_box
javax.swing.JCheckBox parity_opt_box
-
reduce_box
javax.swing.JCheckBox reduce_box
-
reduce_transitions_box
javax.swing.JCheckBox reduce_transitions_box
-
sim_opt_box
javax.swing.JCheckBox sim_opt_box
-
-
Class org.svvrl.goal.gui.pref.PLTL2BAOptionsPanel extends OptionsPanel<PLTL2BAOptions> implements Serializable
- serialVersionUID:
- -24895941804699197L
-
Serialized Fields
-
reduce_tran
javax.swing.JCheckBox reduce_tran
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
simpl_ntgbw
javax.swing.JCheckBox simpl_ntgbw
-
superset_reduction
javax.swing.JCheckBox superset_reduction
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.PreferenceDialog extends UIDialog implements Serializable
- serialVersionUID:
- 5677302848756331316L
-
Serialized Fields
-
cancel
javax.swing.JButton cancel
-
reset
javax.swing.JButton reset
-
reset_all
javax.swing.JButton reset_all
-
root
javax.swing.tree.DefaultMutableTreeNode root
-
save
javax.swing.JButton save
-
title
java.lang.String title
-
tree
javax.swing.JTree tree
-
wrapper
javax.swing.JScrollPane wrapper
-
-
Class org.svvrl.goal.gui.pref.ProductOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -4340126093826465994L
-
Serialized Fields
-
add
javax.swing.JButton add
-
asynchronous
javax.swing.JRadioButton asynchronous
-
atype
AlphabetType atype
-
center
javax.swing.JPanel center
-
custom_mapping
javax.swing.JCheckBox custom_mapping
-
fields_panel
javax.swing.JPanel fields_panel
-
fmap
java.util.Map<javax.swing.JTextField,javax.swing.JTextField> fmap
A map from a predicate field to a PL formula field. -
INVALID_COLOR
java.awt.Color INVALID_COLOR
-
name11_label
javax.swing.JLabel name11_label
-
name12_label
javax.swing.JLabel name12_label
-
name21_label
javax.swing.JLabel name21_label
-
name22_label
javax.swing.JLabel name22_label
-
parser
PLParser parser
-
prev_custom_mapping
boolean prev_custom_mapping
-
props1
java.util.Collection<Proposition> props1
-
props1_label
javax.swing.JLabel props1_label
-
props2
java.util.Collection<Proposition> props2
-
props2_label
javax.swing.JLabel props2_label
-
synchronous
javax.swing.JRadioButton synchronous
-
VALID_COLOR
java.awt.Color VALID_COLOR
-
validity
java.util.Map<javax.swing.JTextField,java.lang.Boolean> validity
A map from a field to a Boolean indicating whether the proposition or the PL formula inside it is valid or not.
-
-
Class org.svvrl.goal.gui.pref.ProgressMeasureComplementOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 3969799022107544203L
-
Serialized Fields
-
max_acc
javax.swing.JCheckBox max_acc
-
reduce_states
javax.swing.JCheckBox reduce_states
-
-
Class org.svvrl.goal.gui.pref.PruningFairSetsOptionsPanel extends OptionsPanel<PruningFairSetsOptions> implements Serializable
- serialVersionUID:
- -2822033057359546681L
-
Serialized Fields
-
larger_fair_sets_box
javax.swing.JCheckBox larger_fair_sets_box
-
not_in_box
javax.swing.JCheckBox not_in_box
-
not_reach_box
javax.swing.JCheckBox not_reach_box
-
theorem4_box
javax.swing.JCheckBox theorem4_box
-
theorem5_box
javax.swing.JCheckBox theorem5_box
-
theorem6_box
javax.swing.JCheckBox theorem6_box
-
theorem7_box
javax.swing.JCheckBox theorem7_box
-
theorem8_box
javax.swing.JCheckBox theorem8_box
-
theorem9_box
javax.swing.JCheckBox theorem9_box
-
-
Class org.svvrl.goal.gui.pref.QPTL2BAOptionsPanel extends OptionsPanel<QPTL2BAOptions> implements Serializable
- serialVersionUID:
- 3773588637094045084L
-
Serialized Fields
-
delegate
javax.swing.JCheckBox delegate
-
min_past
javax.swing.JCheckBox min_past
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_intermediate_nbw
javax.swing.JCheckBox simpl_intermediate_nbw
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
-
Class org.svvrl.goal.gui.pref.QPTLOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -6446101649359395109L
-
Serialized Fields
-
conjunction_c
javax.swing.JRadioButton conjunction_c
-
conjunction_logic
javax.swing.JRadioButton conjunction_logic
-
dual_1
javax.swing.JRadioButton dual_1
-
dual_2
javax.swing.JRadioButton dual_2
-
implication_1
javax.swing.JRadioButton implication_1
-
implication_2
javax.swing.JRadioButton implication_2
-
temporal_letter
javax.swing.JRadioButton temporal_letter
-
temporal_symbol
javax.swing.JRadioButton temporal_symbol
-
-
Class org.svvrl.goal.gui.pref.RamseyOptionsPanel extends OptionsPanel<RamseyOptions> implements Serializable
- serialVersionUID:
- -5066553348174074113L
-
Serialized Fields
-
max_acc_box
javax.swing.JCheckBox max_acc_box
-
min_box
javax.swing.JCheckBox min_box
-
reduce_box
javax.swing.JCheckBox reduce_box
-
-
Class org.svvrl.goal.gui.pref.RandomAutomatonOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -8767649156808781359L
-
Serialized Fields
-
acc_density_field
javax.swing.JTextField acc_density_field
-
acc_prob_field
javax.swing.JTextField acc_prob_field
-
acc_size_field
javax.swing.JTextField acc_size_field
-
accs
javax.swing.JComboBox<AcceptanceCondition> accs
-
classical_button
javax.swing.JRadioButton classical_button
-
count_simplified_box
javax.swing.JCheckBox count_simplified_box
-
density_button
javax.swing.JRadioButton density_button
-
deterministic_box
javax.swing.JCheckBox deterministic_box
-
fair_box
javax.swing.JCheckBox fair_box
-
player_state_ratio_field
javax.swing.JTextField player_state_ratio_field
-
probability_button
javax.swing.JRadioButton probability_button
-
prop_size_field
javax.swing.JTextField prop_size_field
-
propositional_button
javax.swing.JRadioButton propositional_button
-
reduce_box
javax.swing.JCheckBox reduce_box
-
sim_box
javax.swing.JCheckBox sim_box
-
state_size_field
javax.swing.JTextField state_size_field
-
struct_type
StructureType struct_type
-
sym_prob_field
javax.swing.JTextField sym_prob_field
-
tran_density_field
javax.swing.JTextField tran_density_field
-
tran_prob_field
javax.swing.JTextField tran_prob_field
-
-
Class org.svvrl.goal.gui.pref.RandomFSAOptionsPanel extends RandomAutomatonOptionsPanel implements Serializable
- serialVersionUID:
- 7132795886805477180L
-
Class org.svvrl.goal.gui.pref.RandomGameOptionsPanel extends RandomAutomatonOptionsPanel implements Serializable
- serialVersionUID:
- -3160799662522450346L
-
Class org.svvrl.goal.gui.pref.RandomGeneratorDialog extends UIDialog implements Serializable
- serialVersionUID:
- 6713263994831610611L
-
Serialized Fields
-
bpanel
javax.swing.JPanel bpanel
-
cancel
javax.swing.JButton cancel
-
gpanel
javax.swing.JPanel gpanel
-
map
java.util.Map<java.lang.String,OptionsPanel<?>> map
-
names
javax.swing.JComboBox<java.lang.String> names
-
object
Editable object
-
ok
javax.swing.JButton ok
-
opanel
OptionsPanel<?> opanel
-
opanel_wrapper
javax.swing.JPanel opanel_wrapper
-
-
Class org.svvrl.goal.gui.pref.RandomHierarchicalAutomatonOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -8767649156808781359L
-
Serialized Fields
-
avoid_empty
javax.swing.JCheckBox avoid_empty
-
classical_button
javax.swing.JRadioButton classical_button
-
cps
javax.swing.JTextField cps
-
cstates
javax.swing.JTextField cstates
-
density_button
javax.swing.JRadioButton density_button
-
ldeterministic
javax.swing.JCheckBox ldeterministic
-
ldt
javax.swing.JTextField ldt
-
lps
javax.swing.JTextField lps
-
lpt
javax.swing.JTextField lpt
-
lstates
javax.swing.JTextField lstates
-
probability_button
javax.swing.JRadioButton probability_button
-
propositional_button
javax.swing.JRadioButton propositional_button
-
props
javax.swing.JTextField props
-
reduce_box
javax.swing.JCheckBox reduce_box
-
udeterministic
javax.swing.JCheckBox udeterministic
-
udt
javax.swing.JTextField udt
-
ups
javax.swing.JTextField ups
-
upt
javax.swing.JTextField upt
-
ustates
javax.swing.JTextField ustates
-
-
Class org.svvrl.goal.gui.pref.RandomQPTLFormulaOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -1437781286763154745L
-
Serialized Fields
-
length
javax.swing.JTextField length
-
mcp
javax.swing.JCheckBox mcp
-
of
javax.swing.JCheckBox of
-
policy
javax.swing.JComboBox<RandomLTL.Policy> policy
-
props
javax.swing.JTextField props
-
quantifiers
javax.swing.JTextField quantifiers
-
wb
javax.swing.JTextField wb
-
wf
javax.swing.JTextField wf
-
wp
javax.swing.JTextField wp
-
-
Class org.svvrl.goal.gui.pref.RandomSDBWOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 3124657310748324347L
-
Serialized Fields
-
avoid_empty
javax.swing.JCheckBox avoid_empty
-
c_ps
javax.swing.JTextField c_ps
-
c_states
javax.swing.JTextField c_states
-
classical_button
javax.swing.JRadioButton classical_button
-
d_da
javax.swing.JTextField d_da
-
d_pa
javax.swing.JTextField d_pa
-
d_states
javax.swing.JTextField d_states
-
density_button
javax.swing.JRadioButton density_button
-
n_deterministic
javax.swing.JCheckBox n_deterministic
-
n_dt
javax.swing.JTextField n_dt
-
n_ps
javax.swing.JTextField n_ps
-
n_pt
javax.swing.JTextField n_pt
-
n_states
javax.swing.JTextField n_states
-
probability_button
javax.swing.JRadioButton probability_button
-
propositional_button
javax.swing.JRadioButton propositional_button
-
props
javax.swing.JTextField props
-
reduce_box
javax.swing.JCheckBox reduce_box
-
-
Class org.svvrl.goal.gui.pref.RankComplementOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 6427444622344736474L
-
Serialized Fields
-
exclude_gamma4
javax.swing.JCheckBox exclude_gamma4
-
max_acc
javax.swing.JCheckBox max_acc
-
rank_decrement_field
javax.swing.JTextField rank_decrement_field
-
rank_decrement_label
javax.swing.JLabel rank_decrement_label
-
rank_reduction
javax.swing.JCheckBox rank_reduction
-
reduce_outdegree
javax.swing.JCheckBox reduce_outdegree
-
reduce_states
javax.swing.JCheckBox reduce_states
-
tight_rank
javax.swing.JCheckBox tight_rank
-
turnwise_cutpoint
javax.swing.JCheckBox turnwise_cutpoint
-
unchanged_rank
javax.swing.JCheckBox unchanged_rank
-
-
Class org.svvrl.goal.gui.pref.ReachabilitySolverOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -8984975835225639755L
-
Serialized Fields
-
max_box
javax.swing.JCheckBox max_box
-
-
Class org.svvrl.goal.gui.pref.RegularExpressionOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 2760903282873142816L
-
Serialized Fields
-
single_letter_box
javax.swing.JCheckBox single_letter_box
-
-
Class org.svvrl.goal.gui.pref.RETranslationOptionsPanel extends OptionsPanel<RETranslationOptions> implements Serializable
- serialVersionUID:
- -3551323555967265173L
-
Serialized Fields
-
min_aut_box
javax.swing.JCheckBox min_aut_box
-
simpl_expr_box
javax.swing.JCheckBox simpl_expr_box
-
-
Class org.svvrl.goal.gui.pref.SafraContainmentOptionsPanel extends OptionsPanel<SafraContainmentOptions> implements Serializable
- serialVersionUID:
- -5016816796980732463L
-
Serialized Fields
-
max_acc_box
javax.swing.JCheckBox max_acc_box
-
pre_sim_box
javax.swing.JCheckBox pre_sim_box
-
random_box
javax.swing.JCheckBox random_box
-
sim_box
javax.swing.JCheckBox sim_box
-
-
Class org.svvrl.goal.gui.pref.SafraOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -6225150897934899121L
-
Serialized Fields
-
acc_true_loops_box
javax.swing.JCheckBox acc_true_loops_box
-
history_tree_box
javax.swing.JCheckBox history_tree_box
-
succ_acc_box
javax.swing.JCheckBox succ_acc_box
-
-
Class org.svvrl.goal.gui.pref.SALayoutOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -4468043546281144771L
-
Serialized Fields
-
borderlines_factor
javax.swing.JTextField borderlines_factor
-
cool_factor
javax.swing.JTextField cool_factor
-
cool_rate
javax.swing.JTextField cool_rate
-
costs
javax.swing.JComboBox<CostFunction> costs
-
edge_cross_factor
javax.swing.JTextField edge_cross_factor
-
edge_len_factor
javax.swing.JTextField edge_len_factor
-
fine_tune
javax.swing.JTextField fine_tune
-
init_temp
javax.swing.JTextField init_temp
-
max_iter
javax.swing.JTextField max_iter
-
max_radius
javax.swing.JTextField max_radius
-
min_node_edge_dist
javax.swing.JTextField min_node_edge_dist
-
min_radius
javax.swing.JTextField min_radius
-
node_dist_factor
javax.swing.JTextField node_dist_factor
-
node_edge_dist_factor
javax.swing.JTextField node_edge_dist_factor
-
radius_dec
javax.swing.JTextField radius_dec
-
radius_interval
javax.swing.JTextField radius_interval
-
-
Class org.svvrl.goal.gui.pref.ScheweOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -4040224433571452036L
-
Serialized Fields
-
max_acc_box
javax.swing.JCheckBox max_acc_box
-
reduce_box
javax.swing.JCheckBox reduce_box
-
-
Class org.svvrl.goal.gui.pref.SDBWConstructionOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 3631000193891131927L
-
Serialized Fields
-
dead_early_box
javax.swing.JCheckBox dead_early_box
-
local_box
javax.swing.JCheckBox local_box
-
maximal_box
javax.swing.JCheckBox maximal_box
-
reduce_box
javax.swing.JCheckBox reduce_box
-
staged_box
javax.swing.JCheckBox staged_box
-
-
Class org.svvrl.goal.gui.pref.SemanticDeterminismOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 4829629785074139137L
-
Serialized Fields
-
alg_box
javax.swing.JComboBox<java.lang.String> alg_box
-
-
Class org.svvrl.goal.gui.pref.SimulationOptimizerOptionsPanel extends OptionsPanel<SimulationOptimizerOptions> implements Serializable
- serialVersionUID:
- 3523257098246668741L
-
Serialized Fields
-
dead_box
javax.swing.JCheckBox dead_box
-
ds_box
javax.swing.JCheckBox ds_box
-
dse_box
javax.swing.JCheckBox dse_box
-
rs_box
javax.swing.JCheckBox rs_box
-
rse_box
javax.swing.JCheckBox rse_box
-
unreachable_box
javax.swing.JCheckBox unreachable_box
-
-
Class org.svvrl.goal.gui.pref.SimulationOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 9198933197022040808L
-
Serialized Fields
-
sim_box
javax.swing.JComboBox<java.lang.String> sim_box
-
sim2_box
javax.swing.JComboBox<java.lang.String> sim2_box
-
-
Class org.svvrl.goal.gui.pref.SliceComplementOptionsPanel extends OptionsPanel<SliceOptions> implements Serializable
- serialVersionUID:
- 5097408881091747353L
-
Serialized Fields
-
complete_transition_box
javax.swing.JCheckBox complete_transition_box
-
enhanced_cutpoint_box
javax.swing.JCheckBox enhanced_cutpoint_box
-
enhanced_guessing_box
javax.swing.JCheckBox enhanced_guessing_box
-
max_acc_box
javax.swing.JCheckBox max_acc_box
-
merge_adjacent_box
javax.swing.JCheckBox merge_adjacent_box
-
preliminary_box
javax.swing.JCheckBox preliminary_box
-
reduce_states_box
javax.swing.JCheckBox reduce_states_box
-
reduce_transitions_box
javax.swing.JCheckBox reduce_transitions_box
-
traverse_bfs
javax.swing.JRadioButton traverse_bfs
-
traverse_dfs
javax.swing.JRadioButton traverse_dfs
-
traverse_label
javax.swing.JLabel traverse_label
-
-
Class org.svvrl.goal.gui.pref.SliceContainmentOptionsPanel extends OptionsPanel<SliceContainmentOptions> implements Serializable
- serialVersionUID:
- 5842231403611994489L
-
Serialized Fields
-
max_acc_box
javax.swing.JCheckBox max_acc_box
-
pre_sim_box
javax.swing.JCheckBox pre_sim_box
-
random_box
javax.swing.JCheckBox random_box
-
sim_box
javax.swing.JCheckBox sim_box
-
-
Class org.svvrl.goal.gui.pref.StepByStepGameSolverOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -3533999868915871906L
-
Serialized Fields
-
acc
AcceptanceCondition acc
-
noncolor
java.awt.Color noncolor
-
noncolor_image
java.awt.image.BufferedImage noncolor_image
-
noncolor_label
javax.swing.JLabel noncolor_label
-
p0color
java.awt.Color p0color
-
p0color_image
java.awt.image.BufferedImage p0color_image
-
p0color_label
javax.swing.JLabel p0color_label
-
p1color
java.awt.Color p1color
-
p1color_image
java.awt.image.BufferedImage p1color_image
-
p1color_label
javax.swing.JLabel p1color_label
-
solver_panels
java.util.Map<java.lang.String,OptionsPanel<?>> solver_panels
-
solvers
javax.swing.JComboBox<java.lang.String> solvers
-
-
Class org.svvrl.goal.gui.pref.TableauOptionsPanel extends OptionsPanel<TableauOptions> implements Serializable
- serialVersionUID:
- -2152541167804597828L
-
Serialized Fields
-
reduce_dead
javax.swing.JCheckBox reduce_dead
-
reduce_unreachable
javax.swing.JCheckBox reduce_unreachable
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
simpl_ngbw
javax.swing.JCheckBox simpl_ngbw
-
simpl_projected_nbw
javax.swing.JCheckBox simpl_projected_nbw
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.TemporalHierarchyClassificationOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -5908850422487223419L
-
Serialized Fields
-
top_down_box
javax.swing.JCheckBox top_down_box
-
use_dcw_box
javax.swing.JCheckBox use_dcw_box
-
-
Class org.svvrl.goal.gui.pref.TemporalTesterOptionsPanel extends OptionsPanel<TemporalTesterOptions> implements Serializable
- serialVersionUID:
- 4709229311501225381L
-
Serialized Fields
-
simpl_formula
javax.swing.JCheckBox simpl_formula
-
simpl_nbw
javax.swing.JCheckBox simpl_nbw
-
simpl_ngbw
javax.swing.JCheckBox simpl_ngbw
-
simpl_projected_nbw
javax.swing.JCheckBox simpl_projected_nbw
-
target
AutomatonType target
-
-
Class org.svvrl.goal.gui.pref.TikzCodecOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 6294543512131641553L
-
Serialized Fields
-
custom_state_name
javax.swing.JCheckBox custom_state_name
-
custom_transition_label
javax.swing.JCheckBox custom_transition_label
-
enable_header_footer
javax.swing.JCheckBox enable_header_footer
-
footer
javax.swing.JTextArea footer
-
header
javax.swing.JTextArea header
-
label_as_name
javax.swing.JCheckBox label_as_name
-
replace_negation
javax.swing.JCheckBox replace_negation
-
replace_true
javax.swing.JCheckBox replace_true
-
stack
javax.swing.JCheckBox stack
-
state_name
javax.swing.JTextField state_name
-
thickness
javax.swing.JComboBox<TikzThickness> thickness
-
tips
javax.swing.JComboBox<TikzArrowTip> tips
-
transition_label
javax.swing.JTextField transition_label
-
-
Class org.svvrl.goal.gui.pref.TranslationOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 5072323481267557786L
-
Serialized Fields
-
dnc_box
javax.swing.JCheckBox dnc_box
Divide and Conquer -
translationComboBox
javax.swing.JComboBox<TranslationAlgorithm> translationComboBox
-
use_local_repo
javax.swing.JCheckBox use_local_repo
-
use_remote_repo
javax.swing.JCheckBox use_remote_repo
-
use_repo
javax.swing.JComboBox<java.lang.String> use_repo
Use the Repository for Formula Translation.
-
-
Class org.svvrl.goal.gui.pref.TreeLayoutOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- -7611521563206321589L
-
Serialized Fields
-
bfs
javax.swing.JRadioButton bfs
-
dfs
javax.swing.JRadioButton dfs
-
hdistance
javax.swing.JTextField hdistance
-
horizontal
javax.swing.JCheckBox horizontal
-
vdistance
javax.swing.JTextField vdistance
-
-
Class org.svvrl.goal.gui.pref.VaucansonCodecOptionsPanel extends OptionsPanel<Properties> implements Serializable
- serialVersionUID:
- 8846383375775793684L
-
Serialized Fields
-
custom_state_name
javax.swing.JCheckBox custom_state_name
-
custom_transition_label
javax.swing.JCheckBox custom_transition_label
-
enable_header_footer
javax.swing.JCheckBox enable_header_footer
-
footer
javax.swing.JTextArea footer
-
header
javax.swing.JTextArea header
-
label_as_name
javax.swing.JCheckBox label_as_name
-
replace_negation
javax.swing.JCheckBox replace_negation
-
replace_true
javax.swing.JCheckBox replace_true
-
stack
javax.swing.JCheckBox stack
-
state_name
javax.swing.JTextField state_name
-
transition_label
javax.swing.JTextField transition_label
-
variable_state_size
javax.swing.JCheckBox variable_state_size
-
-
-
Package org.svvrl.goal.gui.repo
-
Class org.svvrl.goal.gui.repo.BuchiStoreBrowser extends UIDialog implements Serializable
- serialVersionUID:
- 3624167463324755066L
-
Serialized Fields
-
aid_label
URILabel aid_label
-
all_formulae
java.util.List<FormulaBean> all_formulae
-
author_label
javax.swing.JLabel author_label
-
automata_list
javax.swing.JList<AutomatonBean> automata_list
-
automata_model
javax.swing.DefaultListModel<AutomatonBean> automata_model
-
buttonGroup
javax.swing.ButtonGroup buttonGroup
-
cache
Cache cache
-
comparator
java.util.Comparator<FormulaBean> comparator
-
date_label
javax.swing.JLabel date_label
-
db
BuchiStore db
-
desc_area
javax.swing.JTextArea desc_area
-
determinable_label
javax.swing.JLabel determinable_label
-
fid_label
javax.swing.JLabel fid_label
-
formulae_list
javax.swing.JList<FormulaBean> formulae_list
-
formulae_model
javax.swing.DefaultListModel<FormulaBean> formulae_model
-
hierarchy_label
javax.swing.JLabel hierarchy_label
-
length_button
javax.swing.JToggleButton length_button
-
lexical_button
javax.swing.JToggleButton lexical_button
-
lid_label
URILabel lid_label
-
link_pane
javax.swing.JEditorPane link_pane
-
loading_label
javax.swing.JLabel loading_label
-
open_button
javax.swing.JButton open_button
-
pattern_label
javax.swing.JLabel pattern_label
-
preview_width
int preview_width
-
rank_label
javax.swing.JLabel rank_label
-
reload_button
javax.swing.JButton reload_button
-
search_field
javax.swing.JTextField search_field
-
selected_automaton
AutomatonBean selected_automaton
-
selected_formula
FormulaBean selected_formula
-
states_label
javax.swing.JLabel states_label
-
thumbs
java.util.Map<java.lang.Integer,java.awt.image.BufferedImage> thumbs
-
trans_label
javax.swing.JLabel trans_label
-
-
Class org.svvrl.goal.gui.repo.BuchiStoreUploader extends UIDialog implements Serializable
- serialVersionUID:
- 7430448441022183251L
-
Serialized Fields
-
aut
FSA aut
The automaton to be uploaded. -
author_field
javax.swing.JTextField author_field
The author field. -
boundary
java.lang.String boundary
The boundary of multi-part form data. -
close
javax.swing.JButton close
The close button. -
cols
int cols
The column size of text fields and text areas. -
description_area
javax.swing.JTextArea description_area
The description field. -
done
boolean done
Indicates if the current process is done. -
email_field
javax.swing.JTextField email_field
The email field. -
formula_field
javax.swing.JTextField formula_field
The formula field. -
info
javax.swing.JLabel info
A label for progress information. -
line_end
java.lang.String line_end
The line end. -
max_buffer_size
int max_buffer_size
The maximum buffer size. -
pattern_box
javax.swing.JComboBox<SpecPattern> pattern_box
The spec patterns box. -
rows
int rows
The row size of text areas. -
secret
java.lang.String secret
A secret. -
two_hyphens
java.lang.String two_hyphens
Two hyphens. -
upload
javax.swing.JButton upload
The upload button. -
width
int width
The width of text fields and text areas. -
window
Window window
The parent window.
-
-
Class org.svvrl.goal.gui.repo.RepositoryDialog extends UIDialog implements Serializable
- serialVersionUID:
- -8696147120814573324L
-
Serialized Fields
-
addButton
javax.swing.JButton addButton
-
buttonGroup
javax.swing.ButtonGroup buttonGroup
-
comparator
java.util.Comparator<Entry> comparator
-
delButton
javax.swing.JButton delButton
-
lengthToggleButton
javax.swing.JToggleButton lengthToggleButton
-
lexicalToggleButton
javax.swing.JToggleButton lexicalToggleButton
-
list
javax.swing.JList<Entry> list
-
openButton
javax.swing.JButton openButton
-
original_repository
Repository original_repository
-
preview
javax.swing.JLabel preview
-
preview_height
int preview_height
-
preview_width
int preview_width
-
repository
Repository repository
-
search_field
javax.swing.JTextField search_field
-
selected
Entry selected
-
type_label
javax.swing.JLabel type_label
-
-
Class org.svvrl.goal.gui.repo.RepositoryInput extends UIDialog implements Serializable
- serialVersionUID:
- -333018216421475521L
-
Serialized Fields
-
automatonText
javax.swing.JTextField automatonText
-
descText
javax.swing.JTextField descText
-
formulaText
javax.swing.JTextField formulaText
-
omega
FSA omega
-
repository
Repository repository
-
self
UIDialog self
-
testButton
javax.swing.JButton testButton
-
-
-
Package org.svvrl.goal.gui.tool
-
Class org.svvrl.goal.gui.tool.AbstractControllerTool extends AutomatonTool<T extends Automaton> implements Serializable
- serialVersionUID:
- 3508761915237848593L
-
Class org.svvrl.goal.gui.tool.AbstractStateTool extends AutomatonTool<T extends Automaton> implements Serializable
- serialVersionUID:
- 4477132419623136854L
-
Class org.svvrl.goal.gui.tool.AbstractTransitionTool extends AutomatonTool<T extends Automaton> implements Serializable
- serialVersionUID:
- -1022630997964894960L
-
Class org.svvrl.goal.gui.tool.AccTool extends AutomatonTool<Automaton> implements Serializable
- serialVersionUID:
- -5529969578974810761L
-
Serialized Fields
-
hand_cursor
java.awt.Cursor hand_cursor
-
prev_cursor
java.awt.Cursor prev_cursor
-
-
Class org.svvrl.goal.gui.tool.AltConnectorTool extends AbstractStateTool<AbstractAltAutomaton> implements Serializable
- serialVersionUID:
- -8006508028878250561L
-
Class org.svvrl.goal.gui.tool.AltStateTool extends AbstractStateTool<AbstractAltAutomaton> implements Serializable
- serialVersionUID:
- -8006508028878250561L
-
Class org.svvrl.goal.gui.tool.AltTransitionTool extends AbstractTransitionTool<AltAutomaton> implements Serializable
- serialVersionUID:
- 5508624023585445823L
-
Class org.svvrl.goal.gui.tool.AutomatonTool extends Tool<T extends Automaton> implements Serializable
- serialVersionUID:
- -748533776790144136L
-
Serialized Fields
-
prev_editor
AutomatonEditor<? extends Automaton> prev_editor
The previous editor. -
visible
java.awt.Rectangle visible
The visible area set by the user of this drawer.
-
-
Class org.svvrl.goal.gui.tool.AutomatonToolBox extends ToolBox implements Serializable
- serialVersionUID:
- -6797981910450417899L
-
Class org.svvrl.goal.gui.tool.ColoringTool extends AutomatonTool<Automaton> implements Serializable
- serialVersionUID:
- 4329470872240973406L
-
Serialized Fields
-
color
java.awt.Color color
-
default_cursor
java.awt.Cursor default_cursor
-
hand_cursor
java.awt.Cursor hand_cursor
-
height
int height
-
width
int width
-
-
Class org.svvrl.goal.gui.tool.ControllerToolBox extends ToolBox implements Serializable
- serialVersionUID:
- -8944761983921525273L
-
Serialized Fields
-
interval_label
javax.swing.JLabel interval_label
-
next_stage
AutomatonTool<?> next_stage
-
next_step
AutomatonTool<?> next_step
-
spinner
javax.swing.JSpinner spinner
-
start_play
AutomatonTool<?> start_play
-
stop_play
AutomatonTool<?> stop_play
-
-
Class org.svvrl.goal.gui.tool.DeleteTool extends AutomatonTool<Automaton> implements Serializable
- serialVersionUID:
- 4357919624731902440L
-
Serialized Fields
-
selected
GraphicComponent selected
-
-
Class org.svvrl.goal.gui.tool.FocusStateTool extends AutomatonTool<Automaton> implements Serializable
- serialVersionUID:
- -523857320761905889L
-
Serialized Fields
-
color_map
java.util.Map<GraphicComponent,java.awt.Color> color_map
-
focused
State focused
-
opacity_map
java.util.Map<GraphicComponent,java.lang.Integer> opacity_map
-
selected
State selected
-
sync
java.lang.Object sync
-
-
Class org.svvrl.goal.gui.tool.FSAStateTool extends AbstractStateTool<FSA> implements Serializable
- serialVersionUID:
- 403729702289187747L
-
Class org.svvrl.goal.gui.tool.FSATransitionTool extends AbstractTransitionTool<FSA> implements Serializable
- serialVersionUID:
- -3088369887114472369L
-
Class org.svvrl.goal.gui.tool.GamePlayer0StateTool extends AbstractStateTool<Game> implements Serializable
- serialVersionUID:
- 1L
-
Class org.svvrl.goal.gui.tool.GamePlayer1StateTool extends AbstractStateTool<Game> implements Serializable
- serialVersionUID:
- 1L
-
Class org.svvrl.goal.gui.tool.GameTransitionTool extends AbstractTransitionTool<Game> implements Serializable
- serialVersionUID:
- -1982045572070799847L
-
Class org.svvrl.goal.gui.tool.GeneralToolBox extends ToolBox implements Serializable
- serialVersionUID:
- 3578653724272984857L
-
Class org.svvrl.goal.gui.tool.InputSimulatorToolBox extends ToolBox implements Serializable
- serialVersionUID:
- 1172693527095361504L
-
Serialized Fields
-
freeze
javax.swing.JButton freeze
-
info
javax.swing.JButton info
-
next
javax.swing.JButton next
-
prev
javax.swing.JButton prev
-
remove
javax.swing.JButton remove
-
reset
javax.swing.JButton reset
-
stage
javax.swing.JButton stage
-
stage_num
int stage_num
-
-
Class org.svvrl.goal.gui.tool.NewEditableTool extends Tool<FSA> implements Serializable
- serialVersionUID:
- 3663837630751450462L
-
Class org.svvrl.goal.gui.tool.NextStageTool extends AbstractControllerTool<Automaton> implements Serializable
- serialVersionUID:
- -3109854405189923378L
-
Class org.svvrl.goal.gui.tool.NextStepTool extends AbstractControllerTool<Automaton> implements Serializable
- serialVersionUID:
- -3109854405189923378L
-
Class org.svvrl.goal.gui.tool.QPTLToolBox extends ToolBox implements Serializable
- serialVersionUID:
- -1372921935399411334L
-
Class org.svvrl.goal.gui.tool.RunDagToolBox extends ToolBox implements Serializable
- serialVersionUID:
- -865264515166421531L
-
Serialized Fields
-
next_step
javax.swing.JButton next_step
-
prev_step
javax.swing.JButton prev_step
-
-
Class org.svvrl.goal.gui.tool.RunTreeToolBox extends ToolBox implements Serializable
- serialVersionUID:
- -3237297914239888073L
-
Serialized Fields
-
next_step
javax.swing.JButton next_step
-
prev_step
javax.swing.JButton prev_step
-
-
Class org.svvrl.goal.gui.tool.SelectTool extends AutomatonTool<Automaton> implements Serializable
- serialVersionUID:
- -3851167732948375020L
-
Serialized Fields
-
accum_dx
int accum_dx
The accumulated movement on the x-axis. -
accum_dy
int accum_dy
The accumulated movement on the y-axis. -
drag_mode
int drag_mode
The drag_mode can be MOVE or SELECT. If the value is MOVE, it indicates that this drag is moving automaton components. If the value if SELECT, it indicates that this drag is going to create a rectangle and select automaton components in the rectangle. -
drag_point
java.awt.Point drag_point
The last dragging location. -
drag_state
State drag_state
-
field
javax.swing.JTextField field
A text field for editing the label of a transition. -
last_tran
Transition last_tran
The last selected transition. -
press_point
java.awt.Point press_point
The last pressed location. -
select_rect
java.awt.Rectangle select_rect
A rectangle for selecting automaton components inside it. -
states_moving
StateSet states_moving
The set of states being moved. -
trans_moving
TransitionSet trans_moving
The set of transitions being moved.
-
-
Class org.svvrl.goal.gui.tool.SplitTreeToolBox extends ToolBox implements Serializable
- serialVersionUID:
- -2921451769713276212L
-
Serialized Fields
-
next_step
javax.swing.JButton next_step
-
prev_step
javax.swing.JButton prev_step
-
-
Class org.svvrl.goal.gui.tool.StartPlayTool extends AbstractControllerTool<Automaton> implements Serializable
- serialVersionUID:
- -3109854405189923378L
-
Class org.svvrl.goal.gui.tool.StopPlayTool extends AbstractControllerTool<Automaton> implements Serializable
- serialVersionUID:
- -3109854405189923378L
-
Class org.svvrl.goal.gui.tool.TestTool extends AutomatonTool<Automaton> implements Serializable
- serialVersionUID:
- -3109854405189923378L
-
Class org.svvrl.goal.gui.tool.Tool extends EditableAction<T extends Editable,java.lang.Void> implements Serializable
- serialVersionUID:
- -7843406082768784370L
-
Serialized Fields
-
button
javax.swing.AbstractButton button
The button of this tool.
-
-
Class org.svvrl.goal.gui.tool.ToolBox extends javax.swing.JToolBar implements Serializable
- serialVersionUID:
- 2400737540568530204L
-
Serialized Fields
-
bg
javax.swing.ButtonGroup bg
-
buttons
java.util.List<javax.swing.AbstractButton> buttons
-
window
Window window
-
-
Class org.svvrl.goal.gui.tool.TwoWayAltTransitionTool extends AbstractTransitionTool<TwoWayAltAutomaton> implements Serializable
- serialVersionUID:
- 7719949452873239523L
-
-
Package org.svvrl.goal.gui.undo
-
Class org.svvrl.goal.gui.undo.AbstractAlphabetEdit extends AbstractAutomatonEdit implements Serializable
- serialVersionUID:
- 5325784111276261588L
-
Class org.svvrl.goal.gui.undo.AbstractAutomatonEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -6321025233556904030L
-
Class org.svvrl.goal.gui.undo.AbstractSetAccEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 5430027661681713852L
-
Class org.svvrl.goal.gui.undo.AlphabetConversionEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -8105558815313001191L
-
Serialized Fields
-
aut
Automaton aut
-
before
Automaton before
-
map
java.util.Map<java.lang.String,java.lang.String> map
-
type
AlphabetType type
-
-
Class org.svvrl.goal.gui.undo.ContractAlphabetEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 5430027661681713852L
-
Serialized Fields
-
aut
Automaton aut
-
prop
java.lang.String prop
-
trans
Transition[] trans
-
-
Class org.svvrl.goal.gui.undo.CreateAccSetEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 4751637127357472023L
-
Serialized Fields
-
acc
Acc<?> acc
-
cset
GraphicComponentSet cset
-
dialog
AccDialog dialog
-
id
int id
-
spair
Pair<StateSet,StateSet> spair
-
sset
StateSet sset
-
tpair
Pair<TransitionSet,TransitionSet> tpair
-
tset
TransitionSet tset
-
-
Class org.svvrl.goal.gui.undo.CreateStateEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 4751637127357472023L
-
Class org.svvrl.goal.gui.undo.CreateTransitionEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -4115520402597219453L
-
Serialized Fields
-
aut
Automaton aut
-
props
java.lang.String[] props
-
t
Transition t
-
-
Class org.svvrl.goal.gui.undo.CutStatesEdit extends AbstractAutomatonEdit implements Serializable
- serialVersionUID:
- 6538142374126337522L
-
Class org.svvrl.goal.gui.undo.DeleteGraphicComponentEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -3812515488385056759L
-
Serialized Fields
-
aut
Automaton aut
-
comps
java.util.Set<GraphicComponent> comps
-
from_states_map
java.util.Map<State,StateSet> from_states_map
-
from_trans_map
java.util.Map<State,Transition[]> from_trans_map
-
init_map
java.util.Map<State,java.lang.Boolean> init_map
-
parity_map
java.util.Map<GraphicComponent,java.lang.Integer> parity_map
-
to_states_map
java.util.Map<State,StateSet> to_states_map
-
to_trans_map
java.util.Map<State,Transition[]> to_trans_map
-
unused
java.util.Set<java.lang.String> unused
-
-
Class org.svvrl.goal.gui.undo.EliminateEpsilonEdit extends AbstractAutomatonEdit implements Serializable
- serialVersionUID:
- -3732647934315110928L
-
Class org.svvrl.goal.gui.undo.ExpandAlphabetEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 5430027661681713852L
-
Serialized Fields
-
aut
Automaton aut
-
prop
java.lang.String prop
-
-
Class org.svvrl.goal.gui.undo.FormulaEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -7066387510458461034L
-
Serialized Fields
-
after
java.lang.String after
-
before
java.lang.String before
-
holder
FormulaHolder<?> holder
-
name
java.lang.String name
-
-
Class org.svvrl.goal.gui.undo.LayoutEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 3294368542556415201L
-
Class org.svvrl.goal.gui.undo.MergeEdit extends AbstractAutomatonEdit implements Serializable
- serialVersionUID:
- -7561715990486012511L
-
Class org.svvrl.goal.gui.undo.MergeStatesEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 5456246170764712211L
-
Class org.svvrl.goal.gui.undo.MoveAccSetEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -1449191935693296079L
-
Class org.svvrl.goal.gui.undo.MoveGraphicComponentsEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 1380215293008468268L
-
Serialized Fields
-
dx
int dx
-
dy
int dy
-
map
java.util.Map<GraphicComponent,java.awt.Point> map
-
-
Class org.svvrl.goal.gui.undo.ParityCompressionEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 7938820920334839762L
-
Serialized Fields
-
pacc
ParityAcc pacc
-
pacc_set
java.util.List<StateSet> pacc_set
-
tpacc
TParityAcc tpacc
-
tpacc_set
java.util.List<TransitionSet> tpacc_set
-
-
Class org.svvrl.goal.gui.undo.ParityInterpretationEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 4751637127357472023L
-
Class org.svvrl.goal.gui.undo.ParityPropagationEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 8722760506658540608L
-
Class org.svvrl.goal.gui.undo.PasteAutomatonEdit extends AbstractAutomatonEdit implements Serializable
- serialVersionUID:
- 7263718062918787833L
-
Class org.svvrl.goal.gui.undo.ReduceAltConnectorsEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -2817493466786384173L
-
Serialized Fields
-
aut
AbstractAltAutomaton aut
-
before
AbstractAltAutomaton before
-
reducer
AltConnectorReducer reducer
-
-
Class org.svvrl.goal.gui.undo.ReduceStatesEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 5430027661681713852L
-
Class org.svvrl.goal.gui.undo.RemoveAccSetEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 4751637127357472023L
-
Serialized Fields
-
acc
Acc<?> acc
-
cset
GraphicComponentSet cset
-
dialog
AccDialog dialog
-
index
int index
-
pair
Pair<StateSet,StateSet> pair
-
set
StateSet set
-
tpair
Pair<TransitionSet,TransitionSet> tpair
-
tset
TransitionSet tset
-
-
Class org.svvrl.goal.gui.undo.RenamePropositionEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 5430027661681713852L
-
Serialized Fields
-
aut
Automaton aut
-
from
java.lang.String from
-
to
java.lang.String to
-
-
Class org.svvrl.goal.gui.undo.ReorderEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 5430027661681713852L
-
Class org.svvrl.goal.gui.undo.ResetColorEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 2561571328159468057L
-
Serialized Fields
-
map
java.util.Map<GraphicComponent,java.awt.Color> map
-
-
Class org.svvrl.goal.gui.undo.ResetOpacityEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 7501946907479314051L
-
Serialized Fields
-
map
java.util.Map<GraphicComponent,java.lang.Integer> map
-
-
Class org.svvrl.goal.gui.undo.ResetTextColorEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -3732054546770402348L
-
Serialized Fields
-
map
java.util.Map<GraphicComponent,java.awt.Color> map
-
-
Class org.svvrl.goal.gui.undo.SetColorEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -7476079239171705147L
-
Serialized Fields
-
color
java.awt.Color color
-
map
java.util.Map<? extends GraphicComponent,java.awt.Color> map
-
-
Class org.svvrl.goal.gui.undo.SetOpacityEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 7501946907479314051L
-
Serialized Fields
-
map
java.util.Map<GraphicComponent,java.lang.Integer> map
-
opacity
int opacity
-
-
Class org.svvrl.goal.gui.undo.SetPropertyEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -5668533813640881026L
-
Serialized Fields
-
name
java.lang.String name
-
new_value
java.lang.String new_value
-
object
Editable object
-
old_value
java.lang.String old_value
-
-
Class org.svvrl.goal.gui.undo.SetTextColorEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 7350164096771660864L
-
Serialized Fields
-
color
java.awt.Color color
-
map
java.util.Map<GraphicComponent,java.awt.Color> map
-
-
Class org.svvrl.goal.gui.undo.ToggleAccSetEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -4821408374016578520L
-
Serialized Fields
-
comps
java.util.Collection<T extends GraphicComponent> comps
-
dialog
AccDialog dialog
-
map
java.util.Map<T extends GraphicComponent,AbstractGraphicComponentSet<T extends GraphicComponent,?>> map
-
set
AbstractGraphicComponentSet<T extends GraphicComponent,?> set
-
-
Class org.svvrl.goal.gui.undo.ToggleFinalStateEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- 3566457073129744987L
-
Serialized Fields
-
add
boolean add
-
aut
TwoWayAltAutomaton aut
-
s
AltState s
-
-
Class org.svvrl.goal.gui.undo.ToggleInitialStateEdit extends javax.swing.undo.AbstractUndoableEdit implements Serializable
- serialVersionUID:
- -8932666736137270544L
-