planningGraph0.dot

digraph planningTree {
	r0 [label="GOAL
FluentD^\nFluentE", shape=box, color=red];
	r1 [label="FluentD^\nFluentC", shape=box];
	r1 -> r0 [label="Op2_0"];
	r2 [label="FluentE", shape=box];
	r2 -> r0 [label="Op1_0"];
	r3 [label="FluentD^\nFluentE^\nFluentB", shape=box];
	r3 -> r0 [label="Op3_0"];
	r4 [label="FluentD^\nFluentC^\nFluentB", shape=box];
	r4 -> r1 [label="Op3_0"];
	r5 [label="FluentC", shape=box];
	r5 -> r1 [label="Op1_0"];
	r5[color = green];
	r1[color = green];
	bnow [shape=box, color=blue, label="b_{now} = {'C': True, 'B': True, 'D': False}"];
	bnow -> r5 [label="in", style=dotted];
}