Data structures used

START – initial state
GOAL – a final state, or a function final()
X – current state explored
OPEN – list of reached but not explored states : frontier, fringe
CLOSED – set of already explored states