|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ProofCommand
Interface to proof commands.
Method Summary | |
---|---|
ProofState[] |
process(ProofState state)
process proof state. |
Methods inherited from interface fmrisc.ProofNavigator.Commands.Command |
---|
process, toNode |
Method Detail |
---|
ProofState[] process(ProofState state)
state
- the state to which the proof command is applied
(remains unchanged)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |