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

Packages that use StateBreaks

Package	Description
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Logic

Uses of StateBreaks in fmrisc.ProgramExplorer.Syntax

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

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

Uses of StateBreaks in fmrisc.ProgramExplorer.Syntax.Logic

Methods in fmrisc.ProgramExplorer.Syntax.Logic that return StateBreaks

Modifier and Type	Method and Description
static StateBreaks	StateBreaks.construct(Term arg) Construct the statement that a state is "breaking".