Uses of Class
fmrisc.ProgramExplorer.Judgements.Satisfies

Packages that use Satisfies

Package	Description
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Semantics

Uses of Satisfies in fmrisc.ProgramExplorer.Judgements

Methods in fmrisc.ProgramExplorer.Judgements with parameters of type Satisfies

Modifier and Type	Method and Description
static void	Propagator.execute(Statement C, Statement statement, Formula formula, boolean pre, java.util.Map<Statement,Formula> preMap, java.util.Map<Statement,Formula> postMap, Satisfies satisfies) Propagate condition through statement.

Uses of Satisfies in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics that return Satisfies

Modifier and Type	Method and Description
Satisfies	ParamSymbol.getSatisfies() Get judgement processor for this method.

Methods in fmrisc.ProgramExplorer.Semantics with parameters of type Satisfies

Modifier and Type	Method and Description
void	ParamSymbol.setSatisfies(Satisfies satisfies) Set judgement processor for this method.