Uses of Class
fmrisc.ProofNavigator.Syntax.NotEqualsFormula

Packages that use NotEqualsFormula

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of NotEqualsFormula in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return NotEqualsFormula

Modifier and Type	Method and Description
static NotEqualsFormula	Construct.notEqualsFormula(Expression base1, Expression base2) construct inequality with components base1 and base2