Raptor.ProgramParser.Statements.PBExp
Class PBExp

java.lang.Object
  Raptor.LogicParser.Formula.Formula
      Raptor.ProgramParser.Statements.PBExp.PBExp

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

PEqualTo, PGreaterThan, PGTE, PLessThan, PLTE, PNotEqual

public abstract class PBExp
extends Formula

Abstract class for boolean expressions.

See Also:

Serialized Form

Field Summary

PTerm	left
java.lang.String	op
PTerm	right

Constructor Summary

PBExp(PTerm pLeft, PTerm pRight, java.lang.String pOp)
Create a new binary expression

Method Summary

void	addToSignature(PanSignature pSignature) This method adds this Formula to the passed PanSignature's Predicate list IF it is not already in the signature If this Formula is an instance of Predicate, its Parameters will be added to the signature as well.
boolean	checkSub(Term x, Term y, Formula f) Returns true if the passed formula f can be reached by substituting the occurrences of Term x by Term y.
java.lang.String	clashes(PanSignature pSignature) Returns a String of error message if this Term clashes with the passed PanSignature. A Term clashes with a PanSignature if it clashes with any of its Predicates,Constants,Functions or Variables. If this Term does not clash with the Signature, it is added to the signature and an empty String is returned.
java.lang.String	display() Returns a String to display the BExp.
PTerm	getLeftTerm() Returns the left hand side of the boolean expression.
int	getPrecedence() Returns an integer representing the precedence of this formula according to binding conventions
PTerm	getRightTerm() Returns the right hand side of the boolean expression.
java.util.List<Term>	getTerms() Returns both left and right side of the boolean expression in a list of Terms.
void	setAtoms() Adds the list of Atoms in a given tree to the list of Atoms.
void	setVars(Var pVar) This method adds Var v to the list of variables this Formula is bound to
Formula	subAll(Term pTermX, Term pTermY) Returns the Formula that is derived after substituting ALL the occurrences of Term x with Term y.

Methods inherited from class Raptor.LogicParser.Formula.Formula

check, concatNoDup, getAtoms, getLeft, getRight, getTuples, getVars, higher, map, regenerate, s, setLeft, setRight, setTuples, showTuples, ST, sub, subAll, subBool, subBoolRes

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

left

public PTerm left

right

public PTerm right

op

public java.lang.String op

Constructor Detail

PBExp

public PBExp(PTerm pLeft,
             PTerm pRight,
             java.lang.String pOp)

Create a new binary expression

Parameters:

pLeft - the left side of the binary expression

pRight - the right side of the binary expression

pOp - the operator of the binary expression

Method Detail

display

public java.lang.String display()

Returns a String to display the BExp.

Specified by:

display in class Formula

getLeftTerm

public PTerm getLeftTerm()

Returns the left hand side of the boolean expression.

getRightTerm

public PTerm getRightTerm()

Returns the right hand side of the boolean expression.

subAll

public Formula subAll(Term pTermX,
                      Term pTermY)

Returns the Formula that is derived after substituting ALL the occurrences of Term x with Term y.

Specified by:

subAll in class Formula

Parameters:

pTermX - Term represents the Term to be substituted.

pTermY - Term represents the Term to substitute Term x.

checkSub

public boolean checkSub(Term x,
                        Term y,
                        Formula f)

Returns true if the passed formula f can be reached by substituting the occurrences of Term x by Term y.

Specified by:

checkSub in class Formula

Parameters:

x - Term represents the Term to be substituted.

y - Term represents the Term to substitute Term x.

f - Formula represents the Formula to check if it can be reached after substitution.

setAtoms

public void setAtoms()

Adds the list of Atoms in a given tree to the list of Atoms.

Specified by:

setAtoms in class Formula

getTerms

public java.util.List<Term> getTerms()

Returns both left and right side of the boolean expression in a list of Terms.

Specified by:

getTerms in class Formula

addToSignature

public void addToSignature(PanSignature pSignature)

This method adds this Formula to the passed PanSignature's Predicate list IF it is not already in the signature
If this Formula is an instance of Predicate, its Parameters will be added to the signature as well.

Specified by:

addToSignature in class Formula

Parameters:

pSignature - PanSignature represents the signature to add this Formula to.

clashes

public java.lang.String clashes(PanSignature pSignature)

Returns a String of error message if this Term clashes with the passed PanSignature.
A Term clashes with a PanSignature if it clashes with any of its Predicates,Constants,Functions or Variables.
If this Term does not clash with the Signature, it is added to the signature and an empty String is returned.

Specified by:

clashes in class Formula

Parameters:

pSignature - PanSignature Represents the signature to be compared against.

setVars

public void setVars(Var pVar)

This method adds Var v to the list of variables this Formula is bound to

Specified by:

setVars in class Formula

Parameters:

pVar - Var represents the Var to be added to the list of this Formula's variables.

getPrecedence

public int getPrecedence()

Returns an integer representing the precedence of this formula according to binding conventions

Specified by:

getPrecedence in class Formula