Assumption strengths and the derived defeat-class: two classes, :monotonic above
:default, and a justification confers the minimum of its own strength and its
antecedents' classes. See docs/nmtms.md, "Strengths and the defeat-class".
Assumption strengths and the derived defeat-class: two classes, `:monotonic` above `:default`, and a justification confers the minimum of its own strength and its antecedents' classes. See docs/nmtms.md, "Strengths and the defeat-class".
The strengths a caller may put on an assertion.
The strengths a caller may put on an assertion.
(defeasible? class)Is this class a plain default (the only solver-eligible class)?
Is this class a plain default (the only solver-eligible class)?
(known-true? class)Is this class strong enough to never be sent to a solver?
Is this class strong enough to never be sent to a solver?
(rank-of class)Numeric rank of a class (0 for unknown).
Numeric rank of a class (0 for unknown).
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |