|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Goal
Field Summary | |
---|---|
static Logger |
LOGGER
|
Method Summary | |
---|---|
Goal |
execute(Solver solver)
|
GoalType |
getType()
|
Methods inherited from interface choco.IPretty |
---|
pretty |
Field Detail |
---|
static final Logger LOGGER
Method Detail |
---|
Goal execute(Solver solver) throws ContradictionException
ContradictionException
GoalType getType()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |