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