automaton_algorithms.h

Back to Automaton algorithms

pastel/sys/automaton/

// Description: An aggregate file for automaton algorithms.

#ifndef PASTELSYS_AUTOMATON_ALGORITHMS_H
#define PASTELSYS_AUTOMATON_ALGORITHMS_H

#include "pastel/sys/automaton/automaton_determinization.h"
#include "pastel/sys/automaton/automaton_minimization.h"
#include "pastel/sys/automaton/automaton_closure.h"
#include "pastel/sys/automaton/productive_states.h"
#include "pastel/sys/automaton/reachable_states.h"

#endif