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 C2 (green nodes are dominated by the red node, frontier nodes have a different shape):
Domination set of D2 (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 C3 (green nodes are dominated by the red node, frontier nodes have a different shape):
Domination set of A3 (green nodes are dominated by the red node, frontier nodes have a different shape):
Domination set of A4 (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):
Domination set of A5 (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 B5 (green nodes are dominated by the red node, frontier nodes have a different shape):
Domination set of A4 (green nodes are dominated by the red node, frontier nodes have a different shape):
Domination set of A5 (green nodes are dominated by the red node, frontier nodes have a different shape):
Domination set of B6 (green nodes are dominated by the red node, frontier nodes have a different shape):
This is the last iteration. E7 is the domiantor.
History exploration (blue nodes were just explored, red nodes will be explored next):
Domination set of E7 (green nodes are dominated by the red node, frontier nodes have a different shape):
