|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectPandora.LogicParser.Formula.Term
Pandora.LogicParser.Formula.SkTerm
public class SkTerm
The SkTerm term. Extends abstract class Term.
Constructor Summary | |
---|---|
SkTerm(java.lang.String name)
Constructs an SkTerm. |
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. |
Term |
clone()
Returns a copy(clone) of this Term. |
java.lang.String |
display()
Returns a String to display the Term. |
boolean |
equals(Term t)
Returns true if this Term is equal to the passed 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 |
boolean |
isInList(java.util.List<SimpleTerm> list)
returns true if this Term is in the passed list of Simple Terms. |
void |
setVars(Var v)
This method adds Var v to the list of variables this Term is bound to. |
Term |
sub(Term x,
Term y)
Substitutes all the occurences of Term x by Term y. |
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 |
---|
public SkTerm(java.lang.String name)
name
- the String name of the SkTerm.Method Detail |
---|
public Term sub(Term x, Term y)
sub
in class Term
x
- represents the Term to be substituted.y
- represents the Term used to substitute the Term xpublic boolean isIn(PanSignature signature)
isIn
in class Term
signature
- PanSignature represents the signature it is to be searched in.public java.lang.String display()
display
in class Term
public Term clone()
clone
in class Term
public java.lang.String clashes(PanSignature signature)
clashes
in class Term
signature
- PanSignature Represents the signature to be compared against.public java.lang.String getName()
getName
in class Term
public void setVars(Var v)
setVars
in class Term
v
- Var represents the Var to be added to the list of this Term's variables.public void addToSignature(PanSignature signature)
addToSignature
in class Term
signature
- PanSignature represents the signature to add this Formula to.public boolean isInList(java.util.List<SimpleTerm> list)
list
- Listpublic boolean equals(Term t)
equals
in class Term
t
- Term represents the Term to compare this Term against.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |