fogus.rv.constraints
Constraints solving functions that operate on a Constraint Description which is a map describing a constraint description containing the mappings:
- :variables -> seq of LVars
- :formula -> list describing a predicate expression composed of a mix of the LVars in :variables and Clojure functions.
Constraints solving functions that operate on a Constraint Description which is a map describing a constraint description containing the mappings: - :variables -> seq of LVars - :formula -> list describing a predicate expression composed of a mix of the LVars in :variables and Clojure functions.
satisfy*clj
(satisfy* {:keys [variables formula :as c]})Accepts a map describing a constraint description containing the mappings:
- :variables -> seq of LVars
- :formula -> list describing a predicate expression composed of a mix of the LVars in :variables and Clojure functions
This function will use the constraint description to calculate the all of the values for the LVars that satisfy the formula. The result is a seq of maps with mappings from LVar -> value. If there is no way to satisfy the formula then an empty seq is the result.
The ordering of the results of this function is not guaranteed to be stable.
Accepts a map describing a constraint description containing the mappings: - :variables -> seq of LVars - :formula -> list describing a predicate expression composed of a mix of the LVars in :variables and Clojure functions This function will use the constraint description to calculate the all of the values for the LVars that satisfy the formula. The result is a seq of maps with mappings from LVar -> value. If there is no way to satisfy the formula then an empty seq is the result. The ordering of the results of this function is not guaranteed to be stable.
satisfy1clj
(satisfy1 {:keys [variables formula :as c]})Accepts a map describing a constraint description containing the mappings:
- :variables -> seq of LVars
- :formula -> list describing a predicate expression composed of a mix of the LVars in :variables and Clojure functions
This function will use the constraint description to calculate the first set of values for the LVars that satisfy the formula. The result is a map with mappings from LVar -> value. If there is no way to satisfy the formula then an empty map is the result.
The first found result of this function is not guaranteed to be stable.
Accepts a map describing a constraint description containing the mappings: - :variables -> seq of LVars - :formula -> list describing a predicate expression composed of a mix of the LVars in :variables and Clojure functions This function will use the constraint description to calculate the first set of values for the LVars that satisfy the formula. The result is a map with mappings from LVar -> value. If there is no way to satisfy the formula then an empty map is the result. The first found result of this function is not guaranteed to be stable.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close