ContainsLKProof
gapt.prooftool.ContainsLKProof
trait ContainsLKProof extends ContainsSequentProof
A trait for ProofToolViewer objects that contain (old or new) LK proofs.
Attributes
- Source
- MenuButtons.scala
- Graph
-
- Supertypes
- Known subtypes
-
class LKProofViewer
Members list
Value members
Abstract methods
Hides structural rules in the proof.
Marks the ancestors of cut formulas.
Shows all rules in the proof.
Unmarks the ancestors of cut formulas.
Inherited methods
Hides all formulas except main and auxiliary ones.
Hides all formulas except main and auxiliary ones.
Attributes
- Inherited from:
- ContainsSequentProof
- Source
- MenuButtons.scala
Removes all markings.
Shows all formulas in the proof
Shows all formulas in the proof
Attributes
- Inherited from:
- ContainsSequentProof
- Source
- MenuButtons.scala
In this article