parser.flatzinc.ast
Class SatisfyGoal

java.lang.Object
  extended by parser.flatzinc.ast.SolveGoal
      extended by parser.flatzinc.ast.SatisfyGoal

public final class SatisfyGoal
extends SolveGoal


Nested Class Summary
 
Nested classes/interfaces inherited from class parser.flatzinc.ast.SolveGoal
SolveGoal.Solver
 
Constructor Summary
SatisfyGoal(List<EAnnotation> annotations)
           
 
Method Summary
 
Methods inherited from class parser.flatzinc.ast.SolveGoal
defineGoal
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SatisfyGoal

public SatisfyGoal(List<EAnnotation> annotations)


Copyright © 2012. All Rights Reserved.