Proof (Whiley Theorem Prover (WyTP) 0.6.8 API)

Nested Classes
Modifier and Type	Interface and Description
`static interface`	`Proof.Delta` A proof delta represents a set of truths which have been introduced during one or more proof steps.
`static interface`	`Proof.LinearRule`
`static interface`	`Proof.NonLinearRule`
`static interface`	`Proof.Rule` A proof rule represents the transformation of a given proof according to some logical inference.
`static interface`	`Proof.State` A proof branch considered of one or more states which were derived from an existing state using a given rule.

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`WyalFile.Declaration.Assert`	`getAssertion()` Get the assertion to which this proof applies.
`wybs.lang.SyntacticHeap`	`getHeap()` Get the heap in which this proof is operating within.
`Proof.State`	`getState(int ith)` Get the ith step in this proof.
`boolean`	`isComplete()` Determine whether or not the proof is complete.
`int`	`size()` Determine the number of steps in this proof.

Interface Proof