Uses of Class
fmrisc.ProofNavigator.Syntax.IfThenElseExpression

Packages that use IfThenElseExpression

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of IfThenElseExpression in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return IfThenElseExpression

Modifier and Type	Method and Description
static IfThenElseExpression	Construct.ifThenElseExpression(Expression condition, Expression thenbranch, Expression elsebranch) construct if-then-else expressions from condition, thenbranch, elsebranch.