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

Packages that use BitNegationTerm

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

Uses of BitNegationTerm in fmrisc.ProgramExplorer.Syntax

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

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

Uses of BitNegationTerm in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Method and Description
static BitNegationTerm	BitNegationTerm.construct(Term base) Construct a bit negation term.