Newer
Older
#ifndef TRANSITIONSET__H
#define TRANSITIONSET__H
#include <vector>
#include <string>
#include <unordered_map>
#include "Transition.hpp"
class TransitionSet
{
private :
std::vector<Transition> transitions;
std::optional<std::size_t> defaultAction;
public :
TransitionSet(const std::string & filename);
std::vector<std::pair<Transition*, int>> getAppliableTransitionsCosts(const Config & c);
Transition * getBestAppliableTransition(const Config & c);