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

Packages that use UnaryExpression

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

Uses of UnaryExpression in fmrisc.ProgramExplorer.InOut

Methods in fmrisc.ProgramExplorer.InOut with parameters of type UnaryExpression

Modifier and Type	Method and Description
void	Breaks.visit(UnaryExpression exp)

Uses of UnaryExpression in fmrisc.ProgramExplorer.Syntax

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

Modifier and Type	Method and Description
void	ASTVisitor.visit(UnaryExpression tree)
void	ASTPrinter.visit(UnaryExpression exp)
void	ASTVisitorBase.visit(UnaryExpression tree)

Uses of UnaryExpression in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of UnaryExpression in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	BitNegationTerm A bit negation term.
class	NegationTerm An arithmetic negation term.
class	NotFormula A logical negation.
class	UnaryFormula Base class of unary formulas.
class	UnaryTerm Base class of unary terms.