Uses of Class
fmrisc.ProofNavigator.Syntax.NotEquivalentFormula

Packages that use NotEquivalentFormula

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of NotEquivalentFormula in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return NotEquivalentFormula

Modifier and Type	Method and Description
static NotEquivalentFormula	Construct.notEquivalentFormula(Expression base1, Expression base2) construct exclusive disjunction with components base1 and base2