lij.model
Class ConstraintList

java.lang.Object
  extended by lij.model.ConstraintList
All Implemented Interfaces:
Constraint

public class ConstraintList
extends java.lang.Object
implements Constraint

This implementation of a Constraint is used to extract the head from a list into another variable.

Author:
Nikolaos Chatzinikolaou

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

list

private ArgumentVariable list

head

private ArgumentVariable head

tail

private ArgumentVariable tail
Constructor Detail

ConstraintList

public ConstraintList(ArgumentVariable _list,
                      ArgumentVariable _head,
                      ArgumentVariable _tail)
Constructor.

Parameters:
_list - The LHS ArgumentVariable.
_head - The head RHS ArgumentVariable.
_tail - The tail RHS ArgumentVariable.
Method Detail

getList

public ArgumentVariable getList()
Accessor.

Returns:
The LHS ArgumentVariable.

getHead

public ArgumentVariable getHead()
Accessor.

Returns:
The head RHS ArgumentVariable.

getTail

public ArgumentVariable getTail()
Accessor.

Returns:
The tail RHS ArgumentVariable.

clone

public java.lang.Object clone()
Specified by:
clone in interface Constraint
Overrides:
clone in class java.lang.Object

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object