edu.washington.cs.supple.render
Class RenderingHistory

java.lang.Object
  extended byedu.washington.cs.supple.render.RenderingHistory
All Implemented Interfaces:
FinalSolutionListener

public class RenderingHistory
extends java.lang.Object
implements FinalSolutionListener

Author:
kgajos

Field Summary
protected  Solution[] solutions
           
 
Constructor Summary
RenderingHistory()
           
 
Method Summary
 void finalSolutionAvailable(Solution soln)
           
 Solution getCurrentSolution()
           
 Solution getPreviousSolution()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

solutions

protected Solution[] solutions
Constructor Detail

RenderingHistory

public RenderingHistory()
Method Detail

finalSolutionAvailable

public void finalSolutionAvailable(Solution soln)
Specified by:
finalSolutionAvailable in interface FinalSolutionListener

getCurrentSolution

public Solution getCurrentSolution()

getPreviousSolution

public Solution getPreviousSolution()