|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectlij.model.ConstraintList
public class ConstraintList
This implementation of a Constraint is used to extract the head from a list into another variable.
Field Summary | |
---|---|
private ArgumentVariable |
head
|
private ArgumentVariable |
list
|
private ArgumentVariable |
tail
|
Constructor Summary | |
---|---|
ConstraintList(ArgumentVariable _list,
ArgumentVariable _head,
ArgumentVariable _tail)
Constructor. |
Method Summary | |
---|---|
java.lang.Object |
clone()
|
ArgumentVariable |
getHead()
Accessor. |
ArgumentVariable |
getList()
Accessor. |
ArgumentVariable |
getTail()
Accessor. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private ArgumentVariable list
private ArgumentVariable head
private ArgumentVariable tail
Constructor Detail |
---|
public ConstraintList(ArgumentVariable _list, ArgumentVariable _head, ArgumentVariable _tail)
_list
- The LHS ArgumentVariable._head
- The head RHS ArgumentVariable._tail
- The tail RHS ArgumentVariable.Method Detail |
---|
public ArgumentVariable getList()
public ArgumentVariable getHead()
public ArgumentVariable getTail()
public java.lang.Object clone()
clone
in interface Constraint
clone
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |