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

Packages that use NotEquivalentFormula

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

Uses of NotEquivalentFormula in fmrisc.ProgramExplorer.InOut

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

Modifier and Type	Method and Description
void	PrettyPrinter.visit(NotEquivalentFormula exp)
void	PrettyMathML.visit(NotEquivalentFormula exp)

Uses of NotEquivalentFormula in fmrisc.ProgramExplorer.Syntax

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

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

Uses of NotEquivalentFormula in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Method and Description
static NotEquivalentFormula	NotEquivalentFormula.construct(Formula first, Formula second) Construct an exclusive disjunction.