|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
IListener
| Method Summary | |
|---|---|
void |
fixPerformed(IMatch match,
ISolution solution)
perform a fix. |
void |
matchesUpdated(IMatch[] matches)
update the matches. |
void |
undoFixPerformed(IMatch match,
ISolution solution)
undo a fix. |
| Method Detail |
public void fixPerformed(IMatch match,
ISolution solution)
match - solution -
public void undoFixPerformed(IMatch match,
ISolution solution)
match - solution - public void matchesUpdated(IMatch[] matches)
matches -
|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||