public PlanningGraph() {
this.graphLevels = new ArrayList<GraphLevel>();
//XXX Right now I'm hard coding the instantiation of the level generators
//TODO Eventually this should be done through configuration and reflection
LevelGeneratorImpl levelGenerator = new LevelGeneratorImpl();
this.actionLevelGenerator = levelGenerator;
this.propositionLevelGenerator = levelGenerator;
//And the mutex generator
this.mutexGenerator = new MutexGeneratorImpl();
this.propositions = new TreeSet<Proposition>();