Liking cljdoc? Tell your friends :D

edu.ucdenver.ccp.kr.assertion


assertion-keysclj

(assertion-keys [sub pred obj :as assertion])

cluster-assertionsclj

(cluster-assertions assertions)

disjoint-assertions?clj

(disjoint-assertions? assertions)

infer-subject-types-from-objclj

(infer-subject-types-from-obj kb [s p o])

infer-subject-types-from-predclj

(infer-subject-types-from-pred kb [s p o])

infer-sym-typeclj

(infer-sym-type kb sym assertion)

infer-typesclj

(infer-types sym assertions)
(infer-types kb sym assertions)

matching-clustersclj

(matching-clusters clusters keys)

mem-specific-type?clj


most-specific-typesclj

(most-specific-types kb types)
(most-specific-types kb types return-types)

reify-assertionsclj

(reify-assertions kb assertions)

remove-parent-typesclj

(remove-parent-types kb child parents)
(remove-parent-types kb child parents return-set altered)

seperate-parent-child-neitherclj

(seperate-parent-child-neither kb type types)
(seperate-parent-child-neither kb type types parent child neither)

spec-of?clj

(spec-of? child parent)
(spec-of? kb child parent)

specific-type?clj

(specific-type? kb child parent)

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close