Analysis: go n2


You are at node  N2
Working on goal: (WHN ((SW1 H) (SW2 L)) (AND-1 L))
Using Operator:  AND-ASSERTING-L

Unmatched conditions: (WHN ((SW2 L)) (AND-1 L))


Analysis: raw
NODE- N2
 :parent N1
 :children (N134 N133 N132 N131 N130 N129 N128 N127 N126 N125 N124 N123 N122 N121 N120 N119 N118 N117 N116 N115 N114 N113 N112 N111 N110 N109 N108 N107 N106 N105 N104 N103 N102 N101 N100 N99 N98 N97 N96 N95 N94 N93 N92 N91 N90 N89 N88 N87 N86 N85 N84 N83 N82 N81 N80 N79 N78 N77 N76 N75 N74 N73 N72 N71 N70 N69 N68 N67 N66 N65 N64 N63 N62 N61 N60 N59 N58 N57 N56 N55 N54 N53 N52 N51 N50 N49 N48 N47 N46 N45 N44 N43 N42 N41 N40 N39 N38 N37 N36 N35 N34 N33 N32 N31 N30 N29 N28 N27 N26 N25 N24 N22 N20 N18 N17 N16 N15 N14 N13 N12 N11 N10 N9 N7 N5 N3)
 :depth 0
 :state S1-1
 :succeeded NIL
 :current-goal (WHN ((SW1 H) (SW2 L)) (AND-1 L))
 :current-op AND-ASSERTING-L
 :candidate-goals ((WHN ((SW1 L) (SW2 H)) (AND-1 L)) (WHN ((SW1 H) (SW2 L)) (AND-1 L)))
 :candidate-ops (SWITCH-ASSERTING-H SWITCH-ASSERTING-L INV-ASSERTIONS OR-ASSERTIONS AND-ASSERTING-L AND-ASSERTING-H)
 :candidate-bindings ((AND-1 ((SW2 L)) (AND-1 L)) (AND-1 ((SW2 L)) (AND-1 L)))
 :last-goal (WHN ((SW1 H) (SW2 L)) (AND-1 L))
 :last-op AND-ASSERTING-L
 :goal-stack ((DONE))
 :alternatives NIL
 :reset-alt NIL
 :generating-alt 
  ALT- :goal (DONE)
       :op *FINISH*
       :unmatched-conds ((WHN ((SW1 H) (SW2 H)) (AND-1 H)) (WHN ((SW1 L) (SW2 L)) (AND-1 L)) (WHN ((SW1 L) (SW2 H)) (AND-1 L)) (WHN ((SW1 H) (SW2 L)) (AND-1 L)))
       :failed-conds (WHN ((SW1 H) (SW2 H)) (AND-1 H))
       :vars NIL
       :post-cond (DONE)
 :applied-node NIL
 :left-clone NIL
 :right-clones (N23 N21 N19 N8 N6 N4)
 :failure-reason NIL
 :expanded T
 :time NIL 
 :RECT #s(NODE-RECT :LEFT 5 :TOP 75 :RIGHT 70 :BOTTOM 105 :LEVEL 2 :MAPPED-P NIL :BACKTRACK-NODE NIL :CURRENT-PATH T)

Analysis: go n3


You are at node  N3
Working on goal: (WHN ((SW2 H)) (SW2 H))
Using Operator:  SWITCH-ASSERTING-H

Doing at this node: SWITCH-ASSERTING-H SW2


Analysis: raw
NODE- N3
 :parent N2
 :children (N4)
 :depth 0
 :state S1-1
 :succeeded NIL
 :current-goal (WHN ((SW2 H)) (SW2 H))
 :current-op AND-ASSERTING-H
 :candidate-goals ((WHN ((SW2 H)) (SW2 H)))
 :candidate-ops (SWITCH-ASSERTING-H SWITCH-ASSERTING-L INV-ASSERTIONS OR-ASSERTIONS AND-ASSERTING-L AND-ASSERTING-H)
 :candidate-bindings ((SW2))
 :last-goal (WHN ((SW2 H)) (SW2 H))
 :last-op SWITCH-ASSERTING-H
 :goal-stack ((WHN ((SW1 H) (SW2 H)) (AND-1 H)) (DONE))
 :alternatives NIL
 :reset-alt NIL
 :generating-alt 
  ALT- :goal (WHN ((SW1 H) (SW2 H)) (AND-1 H))
       :op AND-ASSERTING-H
       :unmatched-conds ((WHN ((SW2 H)) (SW2 H)))
       :failed-conds (WHN <PART1> <INPUT-1>)
       :vars (AND-1 ((SW2 H)) (SW2 H) ((SW1 H)) <INPUT-2> SW2 SW2 (AND-1 H) ((SW1 H) (SW2 H)))
       :post-cond (WHN <L> <R>)
 :applied-node NIL
 :left-clone NIL
 :right-clones (NIL)
 :failure-reason NIL
 :expanded T
 :time NIL 
 :RECT #s(NODE-RECT :LEFT 5 :TOP 145 :RIGHT 35 :BOTTOM 160 :LEVEL 3 :MAPPED-P NIL :BACKTRACK-NODE T :CURRENT-PATH T)
 :LATEST-NODE-PREF #<N3>

Analysis: state



True in state S1-1: (AND-G AND-1)
                    (CONN AND-1 1 N)
                    (CONN AND-1 2 N)
                    (SWITCH SW1)
                    (SWITCH SW2)

Analysis: for


You are at node  N4
Working on goal: NIL
Using Operator:  NIL

Done so far:
Node N3: SWITCH-ASSERTING-H SW2

This is a failure node. 
There are no relevant alts for this node!
Prodigy continued at node N5.


Analysis: raw
NODE- N4
 :parent N3
 :children NIL
 :depth 0
 :state S1-2
 :succeeded NIL
 :current-goal NIL
 :current-op NIL
 :candidate-goals NIL
 :candidate-ops NIL
 :candidate-bindings NIL
 :last-goal NIL
 :last-op NIL
 :goal-stack ((DONE))
 :alternatives NIL
 :reset-alt 
  ALT- :goal (WHN ((SW1 H) (SW2 H)) (AND-1 H))
       :op AND-ASSERTING-H
       :unmatched-conds ((WHN ((SW2 H)) (SW2 H)))
       :failed-conds (WHN <PART1> <INPUT-1>)
       :vars (AND-1 ((SW2 H)) (SW2 H) ((SW1 H)) <INPUT-2> SW2 SW2 (AND-1 H) ((SW1 H) (SW2 H)))
       :post-cond (WHN <L> <R>)
 :generating-alt 
  ALT- :goal (WHN ((SW2 H)) (SW2 H))
       :op SWITCH-ASSERTING-H
       :unmatched-conds NIL
       :failed-conds NIL
       :vars (SW2 (SW2 H) ((SW2 H)))
       :post-cond (WHN <SWITCH-IS-H> <SWITCH-H>)
 :applied-node T
 :left-clone #<N2>
 :right-clones NIL
 :failure-reason (NO-RELEVANT-ALTS)
 :expanded T
 :time NIL 
 :RECT #s(NODE-RECT :LEFT 5 :TOP 215 :RIGHT 70 :BOTTOM 245 :LEVEL 4 :MAPPED-P NIL :BACKTRACK-NODE NIL :CURRENT-PATH T)
 :LATEST-NODE-PREF #<N4>

Analysis: state



True in state S1-2: (AND-G AND-1)
                    (CONN AND-1 1 N)
                    (CONN AND-1 2 N)
                    (SWITCH SW1)
                    (SWITCH SW2)
                    (WHN ((SW2 H)) (SW2 H))

Analysis: 





(SWITCH-ASSERTING-H
 (params (<name>))
 (preconds
  (and (set-name <name> <Switch-H> H)
       (SWITCH <name>)
       (has-value <name> <switch-is-H> H)))
 (effects
  ((add (WHN <switch-is-H> <switch-H>)))))



