orc.trace.values
Class ConsValue

java.lang.Object
  orc.trace.values.AbstractValue
      orc.trace.values.ListValue
          orc.trace.values.ConsValue

All Implemented Interfaces:

java.io.Serializable, java.lang.Iterable<Value>, Term, Value

public class ConsValue
extends ListValue

See Also:

Serialized Form

Field Summary

Value	head
ListValue	tail

Constructor Summary

ConsValue(Value head, ListValue tail)

Method Summary

boolean	equals(java.lang.Object that)
int	hashCode()

Methods inherited from class orc.trace.values.ListValue

iterator, prettyPrint

Methods inherited from class orc.trace.values.AbstractValue

toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

head

public final Value head

tail

public final ListValue tail

Constructor Detail

ConsValue

public ConsValue(Value head,
                 ListValue tail)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object that)

Overrides:

equals in class java.lang.Object