Package org.svvrl.goal.cmd

Interface Summary

Interface	Description
CommandConfigurator	This interface defines configurators for commands.
CommandDescriptor	This interface defines a descriptor of a command.
CommandExtension	This interface is used to extend the commands of GOAL.
ComplementConstructionExtension	This interface is used to extend the complementation constructions available in ComplementCommand.
ComplementConstructionInterface	Deprecated. Use ComplementConstructionExtension.
Expression	An Expression provides an interface of expressions in GOAL scripts.
GameSolverExtension	This interface defines a command-line plugin for game solvers.
GameSolverInterface	Deprecated. Use GameSolverExtension.
GeneratorExtension	This interface defines generators available in GenerateCommand.
Statement	A statement is a block of expressions containing control flows.

Class Summary

Class	Description
AbstractCommandExtension	This class provides a default implementation of CommandExtension.
AbstractComplementConstructionExtension	This class provides a default implementation of ComplementConstructionExtension.
AbstractComplementConstructionInterface	Deprecated. Use AbstractComplementConstructionExtension.
AbstractExpression	This class provides a default implementation of Expression.
AbstractGameSolverExtension	This class provides a default implementation of GameSolverExtension.
AbstractGameSolverInterface	Deprecated. Use AbstractGameSolverExtension.
AbstractGeneratorExtension	This class provides a default implementation of GeneratorExtension.
AccCommand	This command provides maximization and minimization of Büchi acceptance conditions of finite state automata.
AlphabetCommand	This class provides a command that can manipulate the alphabet of an automaton.
AperiodicCommand	An aperiodic command can test the aperiodicity of an automaton or the language of an automaton.
Argument	Arguments are option names passed to command-line commands.
BatchCommand	A batch command can execute a GOAL script.
BigStepSolverExtension	This extension provides the big step solver for SolveExtension.
BinaryExpr	A BinaryExpr object represents a binary expression.
BlockStmt	A block statement contains a sequence of statements.
BreakStmt	A break statement can break a for-loop or a while-loop.
CallStmt	A call statement invokes a procedure.
CastCommand	This command can cast an object of some type to another type.
ClassicalBuchiSolverExtension	This extension provides the classical Büchi game solver for SolveExtension.
ClassicComplementExtension	This extension provides the complementation construction of classic finite state automata for ComplementCommand.
ClassificationCommand	A ClassificationCommand can classify an automaton or a QPTL formula based on the temporal hierarchy.
CloneCommand	This command can make a clone of an object.
CloseCommand	A close command can close a GOAL window by its window ID.
ClosureCommand	This class provides a command that takes the Kleene closure of an NFW.
CmdHandler	A CmdHandler provides an implementation of ConsoleHandler.
CmdPlugin	CmdPlugin initializes the command-line plugin.
CmdUtil	CmdUtil provides utility methods for the command-line package.
CommandExecutor	This is an executor of a command, which is specified by a command name and a list of arguments.
CommandExpression	A CommandExpression is an expression formed by a command name and arguments for the command.
CommandRepository	CommandRepository provides methods for accessing the command pool.
ComplementCommand	This class provides a command for taking the complement of an automaton.
ComplementCommand.ComplementTask
ComplementExtension	A ComplementExtension provides a command for complementing an automaton by a complementation construction.
ConcatenationCommand	This command can concatenate two automata.
Constant	A constant is an object that can be evaluated without the context.
ContainmentCommand	A containment command can check if the language of an automaton is contained in the language of another automaton.
Context	A Context object is a map from a variable name to its value.
ContinueStmt	A ContinueStmt can continue a for-loop or a while-loop.
ConvertCommand	This class provides a command that can convert an automaton to another type of automaton, a regular expression, or an ω-regular expression.
DefaultCommandDescriptor	This class provides a default implementation of CommandDescriptor.
DefaultCommandExtension	This class provides a default implementation of CommandExtension.
DeterministicCommand	This class provides a command that tests if an automaton is syntactically, semantically, or semi deterministic.
DeterministicComplementExtension	This extension provides complementation constructions of deterministic automata for ComplementCommand.
DeterminizationCommand	A determinization command can determinize a nondeterministic automaton into an equivalent deterministic automaton.
DominionDecompositionSolverExtension	This extension provides the DominionDecomposition solver for SolveExtension.
EchoCommand	An echo command can print objects as strings.
EmptinessCommand	An emptiness command can test if the language of an automaton is empty or not.
EquivalenceCommand	An equivalence command can test if two automata accept the same language.
ExitStmt	An exit statement quits the GOAL process.
ForStmt	A for-loop statement binds an element in a set of objects to a lvalue in one iteration and executes its body statement iteratively for every binding.
GenerateCommand	This class provides a command for the generation of random objects.
GenerateExtension	This class provides a generate command GenerateCommand as an extension of command-line commands in GOAL.
GlobalOptimizationSolverExtension	This extension provides the generic solver with global optimizations for SolveExtension.
HelpStmt	A help statement displays the help message of a command or all commands.
HierarchyComplementExtension	This extension provides the hierarchical construction HierarchyConstruction for ComplementCommand.
HomomorphismCommand	This class provides a command for checking if the first automaton is homomorphic to the second automaton.
IfStmt	An if-statement contains a set of guarded branches.
ImportCommand	This class provides a command for loading an object from a string.
InputTestCommand	An input test command can check if a word is accepted by an automaton or not.
InteractiveStmt	An InteractiveStmt starts the interactive mode.
IntersectionCommand	An IntersectionCommand can take the intersection of two compatible automata.
IsomorphismCommand	This class provides a command for checking if two automata are isomorphic.
IsVeryWeakCommand	This class provides a command that tests if an NBW or an ABW is weak.
IsWeakCommand	This class provides a command that tests if an automaton is very weak.
KurshanComplementExtension	This extension provides the Kurshan's construction for ComplementCommand.
LayoutCommand	This class provides a command for laying out the active automaton in a GOAL window by a layout algorithm.
LoadCommand	A LoadCommand can load a file and assign the decoded result to a lvalue.
Lval	A Lval object represents an l-value.
McNaughtonZielonkaSolverExtension	This extension provides the McNaughton-Zielonka solver for SolveExtension.
MinimizationCommand	A MinimizationCommand can minimize a classic automaton.
MinusMinus	This class provides expressions of the form --$x or $x-- where $x is an l-value.
ModifiedSafraComplementExtension	This extension provides the modified Safra's construction for ComplementCommand.
MullerSchuppComplementExtension	This extension provides the Muller-Schupp construction for ComplementCommand.
MultiSetStmt	A MultiSetStmt assigns values to variables simultaneously.
NamesCommand	A NamesCommand can print names of some extensions, such as codecs, layout algorithms, etc.
NullExpr	A NullExpr is evaluated to null always.
OmegaCommand	This class provides a command for taking the ω operation on a classic finite state automaton.
OpenCommand	An OpenCommand can open a file as an editable object in a GOAL window.
ParityCommand	This command provides several operations on parity conditions.
PitermanComplementExtension	This extension provides the Safra-Piterman construction for ComplementCommand.
PlusPlus	This class provides expressions of the form ++$x or $x++ where $x is an l-value.
PreferenceCommand	A PreferenceCommand can return user preferences or change user preferences at runtime.
ProductCommand	This class provides a command for taking the product of two finite state automata or taking the product of a game and a finite state automaton.
ProgressMeasureComplementExtension	This extension provides the progress measure construction for ComplementCommand.
PromelaCommand	A PromelaCommand can output the Promela code of an NBW.
PropertyCommand	This class provides a command that can return or set properties of an editable object.
QPTLCommand	This class provides a command for the manipulation of QPTL formulae.
RamseyComplementExtension	This extension provides the Ramsey-based construction for ComplementCommand.
RandomAutomatonExtension	This class provides a generator interface for RandomAutomaton.
RandomFloat	This class provides a generator of floating-point numbers.
RandomFloatExtension	This class provides the generator RandomFloat for GenerateCommand.
RandomFSAExtension	This class provides the generator RandomFSA for GenerateCommand.
RandomGameExtension	This class provides the generator RandomGame for GenerateCommand.
RandomHierarchicalAutomatonExtension	This class provides the generator RandomHierarchicalAutomaton for GenerateCommand.
RandomInteger	This class provides a generator of integers.
RandomIntegerExtension	This class provides the generator RandomInteger for GenerateCommand.
RandomQPTLFormulae	This class provides a generator for a list of QPTL formulae.
RandomQPTLFormulaExtension	This class provides the generator RandomQPTLFormulae for GenerateCommand.
RandomSDBWExtension	This class provides the generator RandomSDBW for GenerateCommand.
RankComplementExtension	This extension provides the Rank-based construction for ComplementCommand.
ReachabilitySolverExtension	This extension provides the Reachability solver for SolveExtension.
ReadlineCommand	A ReadlineCommand can read a file line by line.
RecursiveSolverExtension	This extension provides the Recursive solver for SolveExtension.
ReduceCommand	A ReduceCommand can reduce the unreachable and dead states from an automaton.
ReplaceCommand	This class provides a command for the automata-based replacement of strings.
RepositoryCommand	This class provides a command for accessing the local and remote repositories.
ReverseCommand	A ReverseCommand can reverse a classic finite state automaton.
SafraComplementExtension	This extension provides the Safra's construction for ComplementCommand.
SatisfiabilityCommand	A SatisfiabilityCommand can test the satisfiability of a QPTL formula.
SaveCommand	A SaveCommand can save an object to a file.
Script	A script contains procedures and a body of statements.
SDBWComplementExtension	This extension provides the SDBW construction for ComplementCommand.
SeparationCommand	This class provides a command that separates the past operators and the future operators in a QPTL formula that is convertible to prenex normal form.
SeqCommand	A SeqCommand can generate a sequence of numbers.
SetStmt	A SetStmt assigns a value to an l-value.
ShellExpr	A ShellExpr is an expression that can invoke a shell command.
SimplifyCommand	A SimplifyCommand can simplify an automaton or a formula by various techniques.
SimulatedCommand	This class can check if an automaton can be simulated by another automaton.
SimulationEquivalenceCommand	A SimulationEquivalenceCommand can check if two automata are simulation equivalent.
SkipStmt	This command does nothing.
SleepCommand	A SleepCommand can idle for a specified time period.
SliceComplementExtension	This extension provides the Slice-based construction for ComplementCommand.
SmallProgressMeasureSolverExtension	This extension provides the small progress measure solver for SolveExtension.
SolveExtension	This extension provides a command for solving games.
SolveExtension.SolveCommand	A solve command can solve games.
SplitCommand	A SplitCommand can split an object into a set of elements.
StatCommand	A StatCommand can output the statistical data of an automaton or a QPTL formula.
SubsetCommand	This class provides a command that can produce the subset construction of an automaton with labels on transitions.
TestCommand	For internal usage only.
TimeExpr	A TimeExpr returns the current time.
TranslateCommand	This class provides a command for translating QPTL formulae, regular expressions, ω-regular expressions, or ACTL formulae into automata.
TryStmt	This class provides try statements:
UnambiguousCommand	This class provides a command that tests if a Büchi automaton is unambiguous.
UnaryExpr	A UnaryExpr object represents a unary expression.
UnionCommand	A UnionCommand can take the union of two compatible automata.
ValidityCommand	A ValidityCommand can test the validity of a QPTL formula.
WAAComplementExtension	This extension provides the complementation construction via weak alternating automata for ComplementCommand.
WAPAComplementExtension	This extension provides the complementation construction via weak alternating parity automata for ComplementCommand.
WhileStmt	A WhileStmt represents a while-loop statement.

Enum Summary

Enum	Description
BinaryOp	This enumeration lists the binary operations.
CastCommand.CastType	The supported types in this command.
ConvertCommand.LogicType
DeterministicCommand.DeterministicType	This enumerate lists the types of determinism.
DeterminizationAlgorithm	This enumeration lists available determinization algorithms.
QPTLCommand.CMD
RepositoryCommand.Type
StatCommand.StatFlag
TranslateCommand.SourceType
UnaryOp	This enumeration lists the unary operators.

Exception Summary

Exception	Description
BreakException	A BreakException is thrown by a BreakStmt initially can should be handled by ForStmt and WhileStmt.
ComplementCommand.UnknownResultException
ContinueException	A ContinueException is thrown by a ContinueStmt initially can should be handled by ForStmt and WhileStmt.
EvaluationException	An evaluation exception is thrown if there is a problem in evaluating a command-line statement or expression.