Uses of Class
fmrisc.ProgramExplorer.Syntax.Logic.NegationTerm

Packages that use NegationTerm

Package	Description
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Logic

Uses of NegationTerm in fmrisc.ProgramExplorer.Syntax

Methods in fmrisc.ProgramExplorer.Syntax with parameters of type NegationTerm

Modifier and Type	Method and Description
void	ASTVisitor.visit(NegationTerm tree)
void	ASTCloner.visit(NegationTerm tree)
void	ASTVisitorBase.visit(NegationTerm tree)

Uses of NegationTerm in fmrisc.ProgramExplorer.Syntax.Logic

Methods in fmrisc.ProgramExplorer.Syntax.Logic that return NegationTerm

Modifier and Type	Method and Description
static NegationTerm	NegationTerm.construct(Term base) Construct an arithmetic negation Term.