Prolog Cafe v1.2

jp.ac.kobe_u.cs.prolog.lang
Interface Undoable

All Known Implementing Classes:
OutOfLoop, OutOfScope, VariableTerm

public interface Undoable

Implementing this interface allows an object to be pushed to trail stack.

See Also:
Trail

Method Summary
 void undo()
          Undoes this object.
 

Method Detail

undo

void undo()
Undoes this object.

See Also:
Trail.unwind(int)

Prolog Cafe v1.2

Copyright (C) 1997-2008 M.BANBARA and N.TAMURA