tarau.jinni
Class Trail

java.lang.Object
  |
  +--java.util.AbstractCollection
        |
        +--java.util.AbstractList
              |
              +--java.util.Vector
                    |
                    +--java.util.Stack
                          |
                          +--tarau.jinni.Trail

public class Trail

extends java.util.Stack

Implements a stack of undo actions for backtracking, and in particular, resetting a Var's val fiels to unbound (i.e. this).

See Also:

Prog, Clause, Term, Var, Serialized Form

Fields inherited from class java.util.Stack

serialVersionUID

Fields inherited from class java.util.Vector

capacityIncrement, elementCount, elementData, serialVersionUID

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

(package private)

Trail()

Method Summary

java.lang.String	name()
java.lang.String	pprint()
java.lang.String	stat()
void	unwind(int to) Used to undo bindings after unification, if we intend to leave no side effects.

Methods inherited from class java.util.Stack

empty, peek, pop, push, search

Methods inherited from class java.util.Vector

add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, ensureCapacityHelper, equals, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, toString, trimToSize

Methods inherited from class java.util.AbstractList

iterator, listIterator, listIterator

Methods inherited from class java.lang.Object

, finalize, getClass, notify, notifyAll, registerNatives, wait, wait, wait

Constructor Detail

Trail

Trail()

Method Detail

name

public java.lang.String name()

pprint

public java.lang.String pprint()

unwind

public final void unwind(int to)

Used to undo bindings after unification, if we intend to leave no side effects.

stat

public java.lang.String stat()