Pandora.LogicParser.Formula
Class SVar

java.lang.Object
  extended by Pandora.LogicParser.Formula.Term
      extended by Pandora.LogicParser.Formula.SVar
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable

public class SVar
extends Term

Creates an S variable term.
Extends abstract class Term.

See Also:
Serialized Form

Constructor Summary
SVar(java.lang.String name)
          Constructs a new variable.
 
Method Summary
 void addToSignature(PanSignature signature)
          This method adds this Term to the passed PanSignature IF it is not already in the signature.
 java.lang.String clashes(PanSignature signature)
          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.
 SVar clone()
          Returns a copy(clone) of this Term.
 java.lang.String display()
          Returns a String to display the const term.
 boolean equals(Term a)
          Returns true if the passed Term is equal to this Term.
 java.lang.String getName()
          Returns the name of the Term.
 boolean isIn(PanSignature signature)
          Returns true if this Term is in the passed PanSignature
I.e.
 void setVars(Var v)
          This method adds Var v to the list of variables this Term is bound to.
 Term sub(Term a, Term b)
          Substitutes all the occurences of Term a by Term b.
 
Methods inherited from class Pandora.LogicParser.Formula.Term
concatNoDup, getVars, isIn, isInVars
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SVar

public SVar(java.lang.String name)
Constructs a new variable.

Parameters:
name - the name of the constant
Method Detail

display

public java.lang.String display()
Returns a String to display the const term.

Specified by:
display in class Term

equals

public boolean equals(Term a)
Returns true if the passed Term is equal to this Term.

Overrides:
equals in class Term
Parameters:
a - Term represents the Term it is to be compared against.

sub

public Term sub(Term a,
                Term b)
Substitutes all the occurences of Term a by Term b.

Specified by:
sub in class Term
Parameters:
a - represents the Term to be substituted.
b - represents the Term used to substitute the Term x

clone

public SVar clone()
Returns a copy(clone) of this Term.

Specified by:
clone in class Term

clashes

public java.lang.String clashes(PanSignature signature)
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 Term
Parameters:
signature - PanSignature Represents the signature to be compared against.

isIn

public boolean isIn(PanSignature signature)
Returns true if this Term is in the passed PanSignature
I.e. Returns false as Pandora Signature does not contain SVars.

Specified by:
isIn in class Term
Parameters:
signature - PanSignature represents the signature it is to be searched in.

getName

public java.lang.String getName()
Returns the name of the Term.

Specified by:
getName in class Term

addToSignature

public void addToSignature(PanSignature signature)
This method adds this Term to the passed PanSignature IF it is not already in the signature.

Specified by:
addToSignature in class Term
Parameters:
signature - PanSignature represents the signature to add this Formula to.

setVars

public void setVars(Var v)
This method adds Var v to the list of variables this Term is bound to.

Specified by:
setVars in class Term
Parameters:
v - Var represents the Var to be added to the list of this Term's variables.