Uses of Class
fmrisc.ProofNavigator.Syntax.OrFormula

Packages that use OrFormula

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of OrFormula in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return OrFormula

Modifier and Type	Method and Description
static OrFormula	Construct.orFormula(Expression base1, Expression base2) construct disjunction with components base1 and base2