|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJSHOP2.CompileTimeObject
JSHOP2.Term
JSHOP2.TermList
public class TermList
Each list both at compile time and at run time, is an instance of this class.
Field Summary | |
---|---|
private List |
list
The list this term is representing. |
static TermList |
NIL
The NIL term. |
Fields inherited from class JSHOP2.CompileTimeObject |
---|
endl |
Constructor Summary | |
---|---|
TermList(List listIn)
To initialize this list term. |
|
TermList(Term headIn,
Term tailIn)
To initialize this list term. |
Method Summary | |
---|---|
Term |
bind(Term[] binding)
To apply a given binding to the list this term represents. |
boolean |
equals(Term t)
Whether or not another term is equivalent to this list term. |
boolean |
findUnifier(Term t,
Term[] binding)
Find a unifier between this list and another given term. |
List |
getList()
To get the list this term represents. |
boolean |
isGround()
Whether or not there are any variables in the list this term represents. |
java.lang.String |
toCode()
This function produces Java code to create this list term. |
Predicate |
toPredicate(int varCount)
This function converts this list term to a predicate. |
java.lang.String |
toString()
This function is used to print this list term. |
Methods inherited from class JSHOP2.Term |
---|
isNil, merge, merge, print |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private List list
public static TermList NIL
NIL
term.
Constructor Detail |
---|
public TermList(List listIn)
listIn
- the list this term represents.public TermList(Term headIn, Term tailIn)
headIn
- the head of the list this term represents.tailIn
- the tail of the list this term represents.Method Detail |
---|
public Term bind(Term[] binding)
bind
in class Term
binding
- an array of terms, indexed by the integers associated with
variable symbols.
public boolean equals(Term t)
equals
in class Term
t
- the term being compared to this term.
true
if the two terms are equal, false
otherwise.public boolean findUnifier(Term t, Term[] binding)
findUnifier
in class Term
t
- the term with which we are finding a unifier.binding
- the unifier to be returned.
false
if the two terms can not be unified,
true
otherwise.public List getList()
public boolean isGround()
isGround
in class Term
true
if this term is ground, false
otherwise.public java.lang.String toCode()
toCode
in class CompileTimeObject
String
.public Predicate toPredicate(int varCount)
varCount
- number of variables in the resulting predicate.
public java.lang.String toString()
toString
in class Term
String
that shows the value of this
term.
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |