parser.flatzinc.ast
Class SolveGoal

java.lang.Object
  extended by parser.flatzinc.ast.SolveGoal
Direct Known Subclasses:
SatisfyGoal

public class SolveGoal
extends Object


Nested Class Summary
static class SolveGoal.Solver
           
 
Constructor Summary
SolveGoal(List<EAnnotation> annotations, SolveGoal.Solver type, Expression expr)
           
 
Method Summary
 boolean defineGoal(CPSolver solver)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SolveGoal

public SolveGoal(List<EAnnotation> annotations,
                 SolveGoal.Solver type,
                 Expression expr)
Method Detail

defineGoal

public boolean defineGoal(CPSolver solver)


Copyright © 2012. All Rights Reserved.