Uses of Class
fmrisc.ProofNavigator.Syntax.BitLogical

Packages that use BitLogical

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of BitLogical in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return BitLogical

Modifier and Type	Method and Description
static BitLogical	Construct.bitLogical(boolean value) construct bit logical constant with denoted value.