;
; ChoiceLink unit test.
; This test originally failed, because the initiate-search method
; failed to look at the two choices, which caused a fall-through
; to the variable-initiate-search, which failed because the variables
; were typed. (and was also wildly inefficient).
(use-modules (opencog))
(EvaluationLink
(PredicateNode "OpenPsi:Decrease")
(ListLink
(Node "OpenPsi: Energy-rule-xej90")
(ConceptNode "OpenPsi:Energy")))
(EvaluationLink
(PredicateNode "OpenPsi:Increase")
(ListLink
(Node "OpenPsi: Energy-rule-pG1ez")
(ConceptNode "OpenPsi:Energy")))
(define get-nodes1
(MeetLink
(TypedVariableLink
(VariableNode "x")
(TypeNode "Node"))
(ChoiceLink
(EvaluationLink
(PredicateNode "OpenPsi:Increase")
(ListLink
(VariableNode "x")
(ConceptNode "OpenPsi:Energy")))
(EvaluationLink
(PredicateNode "OpenPsi:Decrease")
(ListLink
(VariableNode "x")
(ConceptNode "OpenPsi:Energy"))))))