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