Liking cljdoc? Tell your friends :D

paragon.core


add-inconsistenciesclj

(add-inconsistencies fdn & nodesets)

Indicate nodes that cannot all be simultaneously believed.

Usage example: (add-inconsistencies fdn [:node1 :node2 :node3] [:node2 :node3] ...)

Indicate nodes that cannot all be simultaneously believed.

Usage example: (add-inconsistencies fdn [:node1 :node2 :node3] [:node2 :node3] ...)
sourceraw docstring

add-initialclj

(add-initial fdn & nodes)
source

believedclj

(believed fdn)

Returns black nodes.

Returns black nodes.
sourceraw docstring

believed-predicate-assignmentsclj

(believed-predicate-assignments fdn)

Returns list of predicates and their believed assignments (for those predicates that have believed assignments.

Example output: ([:parent :jim :sam] [:father :jim :sam] [:male :jim])

Returns list of predicates and their believed assignments (for those predicates that have believed assignments.

Example output: ([:parent :jim :sam] [:father :jim :sam] [:male :jim])
sourceraw docstring

black?clj

(black? fdn stroke-or-node)
source

can-explainclj

(can-explain fdn explanantia explananda)

The explananda, as a conjunction, justify each of the explanantia.

The explananda, as a conjunction, justify each of the explanantia.
sourceraw docstring

candidatesclj

(candidates fdn predicate var-maps)

Builds a predicate node (with variables, e.g., "parent(x,y)") and establishes candidate instantiations of the variables. Also builds nodes for the variables and ensures various assignments for the same variable are incompatible. In this way, variable names are global (so any node referring to "x" is referring to the same "x" assignment).

Usage example: (candidates fdn [:parent :x :y] [{:x :joe :y :jane} {:x :jim :y :same}])

Builds a predicate node (with variables, e.g., "parent(x,y)") and
establishes candidate instantiations of the variables. Also builds
nodes for the variables and ensures various assignments for the same
variable are incompatible. In this way, variable names are
global (so any node referring to "x" is referring to the same
"x" assignment).

Usage example: (candidates fdn [:parent :x :y] [{:x :joe :y :jane} {:x :jim :y :same}])
sourceraw docstring

debugging?clj

source

degreeclj

(degree fdn stroke-or-node)
source

disbelievedclj

(disbelieved fdn)

Returns white nodes.

Returns white nodes.
sourceraw docstring

errorclj

(error & msgs)
source

exists-justclj

(exists-just fdn strokes node)
source

fdncolorclj

(fdncolor fdn stroke-or-node)
source

fdninclj

(fdnin fdn stroke-or-node)
source

fdnoutclj

(fdnout fdn stroke-or-node)
source

fdnpriorityclj

(fdnpriority fdn stroke-or-node)
source

fdnstrclj

(fdnstr stroke-or-node)
source

fdntypeclj

(fdntype fdn stroke-or-node)
source

forall-justclj

(forall-just fdn nodes stroke)
source

in-degreeclj

(in-degree fdn stroke-or-node)
source

inc-priority-counterclj

(inc-priority-counter fdn)
source

infoclj

(info & msgs)
source

initial?clj

(initial? fdn node)
source

is-nondeterministic?clj

(is-nondeterministic? fdn stroke-or-node)
source

new-fdnclj

(new-fdn)
source

node?clj

(node? fdn stroke-or-node)
source

nodesclj

(nodes fdn)
source

nodes-changedclj

(nodes-changed fdn1 fdn2)
source

out-degreeclj

(out-degree fdn stroke-or-node)
source

predicate?clj

(predicate? n)

Returns true if input has the form of a predicate node.

Returns true if input has the form of a predicate node.
sourceraw docstring

predicatesclj

(predicates fdn)

Returns nodes with variables.

Returns nodes with variables.
sourceraw docstring

(print-msg msgs color)
source

remove-stroke-or-nodeclj

(remove-stroke-or-node fdn stroke-or-node)
source

statusclj

(status & msgs)
source

stroke?clj

(stroke? fdn stroke-or-node)
source

strokesclj

(strokes fdn)
source

successclj

(success & msgs)
source

traceclj

(trace & msgs)
source

turn-off-debuggingclj

(turn-off-debugging)
source

turn-on-debuggingclj

(turn-on-debugging)
source

update-priorityclj

(update-priority fdn stroke-or-node)
source

variable?clj

(variable? n)

Returns true if input has the form of a variable node.

Returns true if input has the form of a variable node.
sourceraw docstring

variablesclj

(variables fdn)

Returns nodes representing variables.

Returns nodes representing variables.
sourceraw docstring

warningclj

(warning & msgs)
source

white?clj

(white? fdn stroke-or-node)
source

with-debuggingcljmacro

(with-debugging & body)
source

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

× close