EnumerationInference.h

Go to the documentation of this file.

#pragma once

#include "FleetStatistics.h"
#include "IntegerizedStack.h"

template<typename Grammar_t, typename... ARGS>
class EnumerationInterface {
public:
    Grammar_t* grammar;

    EnumerationInterface(Grammar_t* g) : grammar(g) {

    }

    virtual Node toNode(IntegerizedStack& is, ARGS... args)  {
        throw NotImplementedError("*** Subclasses must implement toNode");
    }
    
    virtual Node toNode(enumerationidx_t z, ARGS... args) {
        IntegerizedStack is(z);
        return toNode(is, args...);
    }
    
    virtual enumerationidx_t toInteger(const Node& n, ARGS... args) {
        throw NotImplementedError("*** Subclasses must implement toInteger(Node&)");
    }
    
};