graphs_trees_depth-test1.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	#include "core/aux/graphs_trees_depth.lp".

	graphs_node(a; b; c; d).
	graphs_tree_depends(b,a).
	graphs_tree_depends(c,a).
	graphs_tree_depends(d, a).
	graphs_tree_depends(d, c).

	#show graphs_tree_depth/2.