successor_generator.h

Go to the documentation of this file.

#ifndef SUCCESSOR_GENERATOR_H
#define SUCCESSOR_GENERATOR_H

#include <list>
#include <vector>
#include <fstream>
#include <map>
#include <algorithm>
using namespace std;

class GeneratorBase;
class Operator;
class Variable;

class SuccessorGenerator {
    private:
        GeneratorBase *root;

        typedef vector<pair<Variable *, int> > Condition;
        GeneratorBase *construct_recursive(int switchVarNo, list<int> &ops);
        SuccessorGenerator(const SuccessorGenerator &copy);

        vector<Condition> conditions;
        vector<Condition::const_iterator> next_condition_by_op;
        vector<Variable *> varOrder;

        // private copy constructor to forbid copying;
        // typical idiom for classes with non-trivial destructors
    public:
        SuccessorGenerator();
        SuccessorGenerator(const vector<Variable *> &variables,
                const vector<Operator> &operators);
        ~SuccessorGenerator();
        void dump() const;
        void generate_cpp_input(ostream &outfile) const;
};

#endif