JudgedConclusion class
Reached by inference over structured state.
Never standalone evidence: it reaches a consumer as a conclusion drawn from observations, with those observations named.
- Inheritance
-
- Object
- CelmConclusion
- JudgedConclusion
Constructors
-
JudgedConclusion({required String id, required String runId, required String statement, required DateTime at, required double confidence, required String reasoner, bool reasonerRemote = false, List<
String> premises = const [], String rationale = ''}) -
const
-
JudgedConclusion.fromJson(Map<
String, dynamic> json) -
Refuses a record whose provenance is not
judged, and one that names no reasoner.factory
Properties
- at → DateTime
-
finalinherited
- confidence → double
-
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- id → String
-
finalinherited
-
premises
→ List<
String> -
Ids of the conclusions this one rests on.
final
- rationale → String
-
final
- reasoner → String
-
Which reasoner judged, and whether it ran off-box.
final
- reasonerRemote → bool
-
True when the reasoner was not local. A domain judgment made
remotely is a bootstrap, and the record says so rather than letting
it pass for the arrangement this contract is for.
final
- runId → String
-
finalinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- statement → String
-
finalinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toJson(
) → Map< String, dynamic> -
override
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited