fmrisc.ProgramExplorer.Syntax.Logic

Class SimilarFormula

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.SimilarFormula

All Implemented Interfaces:

AST, ASTSource, ASTLogic, Expression, Formula

public final class SimilarFormula
extends BinaryAtomicFormula

A state similarity (equality up to result value).

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 SimilarFormula	construct(Term first, Term second) Construct a similarity.
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 SimilarFormula construct(Term first,
                                       Term second)

Construct a similarity.

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.