History exploration (blue nodes were just explored, red nodes will be explored next):
Domination set of a2 (green nodes are dominated by the red node, frontier nodes have a different shape):
Domination set of e3 (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):
Domination set of e2 (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 e1 (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. a2 is the domiantor.
History exploration (blue nodes were just explored, red nodes will be explored next):
Domination set of a2 (green nodes are dominated by the red node, frontier nodes have a different shape):
Domination set of a1 (green nodes are dominated by the red node, frontier nodes have a different shape):
