|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface PropagationEngineListener
Method Summary | |
---|---|
void |
contradictionOccured(ContradictionException e)
|
void |
safeDelete()
Define action to do just before a deletion. |
Method Detail |
---|
void contradictionOccured(ContradictionException e)
void safeDelete()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |