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