Uses of Class
fmrisc.Syntax.BinaryExpression

Packages that use BinaryExpression

fmrisc.Syntax

Uses of BinaryExpression in fmrisc.Syntax

Subclasses of BinaryExpression in fmrisc.Syntax

class	AndFormula Handling of conjunctions.
class	DividesTerm Handling of quotients.
class	EqualsFormula Handling of equalities.
class	EquivalentFormula Handling of equivalences.
class	GreaterEqualFormula Handling of greater-than-or-equal formulas.
class	GreaterFormula Handling of greater-than formulas.
class	ImpliesFormula Handling of implications
class	LessEqualFormula Handling of less-than-or-equal formulas.
class	LessFormula Handling of less-than formulas.
class	MinusTerm Handling of differences.
class	NotEqualsFormula Handling of conjunctions
class	NotEquivalentFormula Handling of conjunctions
class	OrFormula Handling of disjunctions.
class	PlusTerm Handling of binary sums.
class	PowerTerm Handling of power terms.
class	TimesTerm Handling of conjunctions

Methods in fmrisc.Syntax that return BinaryExpression

BinaryExpression	LessFormula.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	NotEqualsFormula.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	PlusTerm.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	GreaterEqualFormula.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	GreaterFormula.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	PowerTerm.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	EquivalentFormula.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	DividesTerm.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	TimesTerm.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	EqualsFormula.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	OrFormula.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
abstract BinaryExpression	BinaryExpression.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	NotEquivalentFormula.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	LessEqualFormula.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	AndFormula.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	MinusTerm.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.
BinaryExpression	ImpliesFormula.construct(Expression first, Expression second) Construct binary expression of the same kind as this expression.