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

Packages that use BinaryFormula

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

Uses of BinaryFormula in fmrisc.ProgramExplorer.Syntax

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

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

Uses of BinaryFormula in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of BinaryFormula in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	AndFormula A logical conjunction.
class	EquivalentFormula A logical equivalence.
class	ImpliesFormula A logical implication.
class	NotEquivalentFormula An exclusive disjunction.
class	OrFormula A logical disjunction.