State.hh

Go to the documentation of this file.

#ifndef STATE_HH_
#define STATE_HH_
 
#include "Set.hh"
#include "config.h"
 
using State = unsigned;
using StatePair = std::pair<State, State>;
using StateSet = std::set<State>;
using StateMap = std::unordered_map<State, State>;
 
#endif