Prolog Cafe v1.2

jp.ac.kobe_u.cs.prolog.lang
Class OutOfLoop

java.lang.Object
  extended by jp.ac.kobe_u.cs.prolog.lang.OutOfLoop
All Implemented Interfaces:
java.io.Serializable, Undoable

public class OutOfLoop
extends java.lang.Object
implements java.io.Serializable, Undoable

A trail entry for out-of-loop flag.
This OutOfLoop class is used in subclasses of BlockPredicate.
This document is under construction.

See Also:
Serialized Form

Constructor Summary
OutOfLoop(BlockPredicate _p)
           
 
Method Summary
 void undo()
          Undoes this object.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OutOfLoop

public OutOfLoop(BlockPredicate _p)
Method Detail

undo

public void undo()
Description copied from interface: Undoable
Undoes this object.

Specified by:
undo in interface Undoable
See Also:
Trail.unwind(int)

Prolog Cafe v1.2

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