State Space Graphs