Proof class
Just a union class for ProofEntrys after and before.
It does:
- auto-create both after and before on init,
- or if ProofEntrys provided - link them to itself,
- store link to ProofList,
- store name (of a directory with proof).
Constructors
- Proof(ProofList proofList, {String? name, ProofEntry? before, ProofEntry? after})
Properties
- after ↔ ProofEntry
-
read / write
- before ↔ ProofEntry
-
read / write
- hashCode → int
-
The hash code for this object.
read-onlyinherited
- name ↔ String?
-
read / write
- proofList ↔ ProofList
-
read / write
- runtimeType → Type
-
A representation of the runtime type of the object.
read-onlyinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited
-
operator [](
Object? key) → dynamic