How to enforce template parameter class to derive from super with an anonymous template parameter

Question

I have a couple of template classes

template < class Cost >
class Transition {
  public:
    virtual Cost getCost() = 0;
};

template < class Transition         


        

Answer 1

From what I understood from your question, here is a quick solution that I have:

template < class Cost >
class Transition {
  public:
    virtual Cost getCost() = 0;
};

template 
class Der : public Transition
{
public:
  T getCost() override {
  }
};

template < class Transition >
class State;

template