Uses of Class
fmrisc.ProgramExplorer.Judgements.ExpressionLogic

Packages that use ExpressionLogic

Package	Description
fmrisc.ProgramExplorer.Judgements

Uses of ExpressionLogic in fmrisc.ProgramExplorer.Judgements

Methods in fmrisc.ProgramExplorer.Judgements that return ExpressionLogic

Modifier and Type	Method and Description
ExpressionLogic	Satisfies.getExpressionLogic() Get expression translator of this judgement processor