CelmEvidence class
One conclusion with everything under it, down to observed fields.
Constructors
-
CelmEvidence({required CelmConclusion conclusion, List<
CelmConclusion> chain = const []}) -
const
-
CelmEvidence.fromJson(Map<
String, dynamic> json) -
factory
Properties
-
chain
→ List<
CelmConclusion> -
Premises, transitively. A chain reaching no observation is a
judgment resting on nothing, and is worth seeing as such.
final
- conclusion → CelmConclusion
-
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toJson(
) → Map< String, dynamic> -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited