successor_generator.h

Go to the documentation of this file.

#ifndef SUCCESSOR_GENERATOR_H
#define SUCCESSOR_GENERATOR_H

#include <iostream>
#include <vector>

class Operator;
class TimeStampedState;

class SuccessorGenerator
{
    public:
        virtual ~SuccessorGenerator()
        {
        }
        virtual void generate_applicable_ops(const TimeStampedState &curr,
                std::vector<const Operator *> &ops) = 0;
        void dump()
        {
            _dump("  ");
        }
        virtual void _dump(string indent) = 0;
};

SuccessorGenerator *read_successor_generator(std::istream &in);

#endif