Package | Description |
---|---|
fmrisc.ProofNavigator.Syntax |
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.
|