History exploration (blue nodes were just explored, red nodes will be explored next):
Domination set of c3 (green nodes are dominated by the red node, frontier nodes have a different shape):
Domination set of b3 (green nodes are dominated by the red node, frontier nodes have a different shape):
History exploration (blue nodes were just explored, red nodes will be explored next):
Domination set of c2 (green nodes are dominated by the red node, frontier nodes have a different shape):
Domination set of b2 (green nodes are dominated by the red node, frontier nodes have a different shape):
History exploration (blue nodes were just explored, red nodes will be explored next):
Domination set of c1 (green nodes are dominated by the red node, frontier nodes have a different shape):
Domination set of b1 (green nodes are dominated by the red node, frontier nodes have a different shape):
This is the last iteration. a is the domiantor.
History exploration (blue nodes were just explored, red nodes will be explored next):
Domination set of a (green nodes are dominated by the red node, frontier nodes have a different shape):
