Cream version 1.2 Core API Specification

jp.ac.kobe_u.cs.cream
Class Trail

java.lang.Object
  extended byjp.ac.kobe_u.cs.cream.Trail

public class Trail
extends java.lang.Object


Constructor Summary
Trail()
           
 
Method Summary
 void push(Variable v)
           
 int size()
           
 void undo(int size0)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Trail

public Trail()
Method Detail

size

public int size()

push

public void push(Variable v)

undo

public void undo(int size0)
          throws java.util.EmptyStackException
Throws:
java.util.EmptyStackException

Cream version 1.2 Core API Specification

Cream: Constraint Programming Class Library for Java