fr.umlv.gramofone.pb
Class PseudoAllSolutionDecorator

java.lang.Object
  extended by PseudoOptDecorator
      extended by fr.umlv.gramofone.pb.PseudoAllSolutionDecorator

public class PseudoAllSolutionDecorator
extends PseudoOptDecorator


Constructor Summary
PseudoAllSolutionDecorator(IPBSolver solver)
           
 
Method Summary
 void discardCurrentSolution()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PseudoAllSolutionDecorator

public PseudoAllSolutionDecorator(IPBSolver solver)
Method Detail

discardCurrentSolution

public void discardCurrentSolution()
                            throws ContradictionException
Throws:
ContradictionException