choco.kernel.solver.goals
Interface Goal

All Superinterfaces:
IPretty
All Known Implementing Classes:
ChoicePoint, Generate, GlobalFail, Instantiate, RemoveVal, Sequence, SetVal

public interface Goal
extends IPretty


Field Summary
static Logger LOGGER
           
 
Method Summary
 Goal execute(Solver solver)
           
 GoalType getType()
           
 
Methods inherited from interface choco.IPretty
pretty
 

Field Detail

LOGGER

static final Logger LOGGER
Method Detail

execute

Goal execute(Solver solver)
             throws ContradictionException
Throws:
ContradictionException

getType

GoalType getType()


Copyright © 2012. All Rights Reserved.