Class | Description |
---|---|
ProofReferenceUtil |
This class provides static methods to compute proof references.
|
ProofReferenceUtil.ReferenceAnalaystProofVisitor |
Utility class used by
KeyProofReferenceUtil#analyzeProof(KeyConnection, Services, Proof) . |