Uses of Class
fmrisc.Syntax.NegationTerm

Packages that use NegationTerm
fmrisc.Syntax   
 

Uses of NegationTerm in fmrisc.Syntax
 

Methods in fmrisc.Syntax that return NegationTerm
static NegationTerm Construct.negationTerm(Expression base)
          construct negation (minus term) of base term