fmrisc.ProgramExplorer.Syntax.Logic

Class LessEqualFormula

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTBase

fmrisc.ProgramExplorer.Syntax.Logic.ASTLogicBase

fmrisc.ProgramExplorer.Syntax.Logic.ExpressionBase

fmrisc.ProgramExplorer.Syntax.Logic.BinaryExpression

fmrisc.ProgramExplorer.Syntax.Logic.BinaryAtomicFormula

fmrisc.ProgramExplorer.Syntax.Logic.LessEqualFormula

All Implemented Interfaces:

AST, ASTSource, ASTLogic, Expression, Formula

public final class LessEqualFormula
extends BinaryAtomicFormula

An is-less-than-or-equal formula.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	operator

Fields inherited from class fmrisc.ProgramExplorer.Syntax.Logic.BinaryAtomicFormula

precedence

Method Summary

Modifier and Type	Method and Description
void	accept(ASTVisitor visitor) Accept visitor for a visit.
void	accept(ASTVisitorOld visitor) Accept visitor for a visit.
static LessEqualFormula	construct(Term first, Term second) Construct an is-less-than-or-equal formula.
java.lang.String	getOperator() Get textual representation of operator.

Methods inherited from class fmrisc.ProgramExplorer.Syntax.Logic.BinaryAtomicFormula

getFirst, getPrecedence, getSecond

Methods inherited from class fmrisc.ProgramExplorer.Syntax.Logic.BinaryExpression

acceptChildren

Methods inherited from class fmrisc.ProgramExplorer.Syntax.Logic.ExpressionBase

getPosition, isLeftAssociative, isRightAssociative, setPosition

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTBase

accept, accept, print, printCore, toString, toStringCore

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.Logic.Expression

isLeftAssociative, isRightAssociative

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.ASTSource

getPosition, setPosition

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

acceptChildren, print, printCore, toString, toStringCore

Field Detail

operator

public static final java.lang.String operator

See Also:

Constant Field Values

Method Detail

construct

public static LessEqualFormula construct(Term first,
                                         Term second)

Construct an is-less-than-or-equal formula.

Parameters:

first - the first (left) part.

second - the right (second) part.

Returns:

the formula.

getOperator

public java.lang.String getOperator()

Get textual representation of operator.

Specified by:

getOperator in class BinaryExpression

Returns:

string representation of the operator.

accept

public void accept(ASTVisitorOld visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class BinaryAtomicFormula

Parameters:

visitor - the visitor who is accepted by this node.

accept

public void accept(ASTVisitor visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class BinaryAtomicFormula

Parameters:

visitor - the visitor who is accepted by this node.