Uses of Class
fmrisc.ProofNavigator.Syntax.BitNotTerm

Packages that use BitNotTerm

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of BitNotTerm in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return BitNotTerm

Modifier and Type	Method and Description
static BitNotTerm	Construct.bitNotTerm(Expression base) construct negation (not term) of base term