Proof constructor

Proof(
  1. ProofList proofList,
  2. {String? name,
  3. ProofEntry? before,
  4. ProofEntry? after}
)

Implementation

Proof(this.proofList, {this.name, ProofEntry? before, ProofEntry? after})
    : after = after ?? ProofEntry(),
      before = before ?? ProofEntry() {
  _updateEntries();
}