|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use UndoDeleteAction | |
|---|---|
| muehle.logic | |
| Uses of UndoDeleteAction in muehle.logic |
|---|
| Methods in muehle.logic with parameters of type UndoDeleteAction | |
|---|---|
boolean |
Playground.execute(UndoDeleteAction action)
|
boolean |
Playground.executeProofed(UndoDeleteAction action)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||