Uses of Class
fmrisc.ProgramExplorer.Syntax.Logic.StateLiteral

Packages that use StateLiteral

Package	Description
fmrisc.ProgramExplorer.InOut
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Logic

Uses of StateLiteral in fmrisc.ProgramExplorer.InOut

Methods in fmrisc.ProgramExplorer.InOut with parameters of type StateLiteral

Modifier and Type	Method and Description
void	PrettyMathML.visit(StateLiteral exp)

Uses of StateLiteral in fmrisc.ProgramExplorer.Judgements

Methods in fmrisc.ProgramExplorer.Judgements that return StateLiteral

Modifier and Type	Method and Description
StateLiteral	Satisfies.stateLiteral(boolean old) Construct a state literal giving it the current state type.

Uses of StateLiteral in fmrisc.ProgramExplorer.Syntax

Methods in fmrisc.ProgramExplorer.Syntax with parameters of type StateLiteral

Modifier and Type	Method and Description
void	ASTVisitor.visit(StateLiteral tree)
void	ASTVisitorBase.visit(StateLiteral tree)

Uses of StateLiteral in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of StateLiteral in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	NewState A state literal referring to the new (successor) state.
class	OldState A state literal referring to the old (predecessor) state.