Uses of Class
fmrisc.ProofNavigator.Syntax.UnaryExpression

Packages that use UnaryExpression

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of UnaryExpression in fmrisc.ProofNavigator.Syntax

Subclasses of UnaryExpression in fmrisc.ProofNavigator.Syntax

Modifier and Type	Class and Description
class	BitNotTerm Handling of bit negations
class	NegationTerm Handling of negated (minus) terms
class	NotFormula Handling of negations