|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface UnitPropagationListener
Method Summary | |
---|---|
boolean |
enqueue(int p)
Satisfait un litt? |
boolean |
enqueue(int p,
Constr from)
Satisfait un litt�ral |
Method Detail |
---|
boolean enqueue(int p)
p
- le litt?ral
boolean enqueue(int p, Constr from)
p
- le litt�ralfrom
- la raison de satisfaire le litt�ral
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |