Minimize.hh File Reference

#include <unordered_map>
#include <set>
#include <diades/utils/Verbose.hh>
#include <diades/utils/Exceptions.hh>
#include <diades/automata/experimental/StateMachine.hh>
#include <diades/automata/experimental/Complete.hh>
#include <diades/automata/experimental/Determine.hh>
#include <diades/automata/experimental/StateCreation.hh>
#include <diades/automata/experimental/BeliefState.hh>
#include <diades/automata/experimental/Abstract.hh>

Go to the source code of this file.

Namespaces
	Diades
	Namespace of the Diades project.
	Diades::Automata
	Diades::Automata::Experimental

Functions
template<typename Fsm >
bool	Diades::Automata::Experimental::splitPartition (const Fsm &machine, const std::shared_ptr< BeliefState< Fsm >> bigQ0, const std::shared_ptr< BeliefState< Fsm >> bigQ1, typename Fsm::EventPropertyId littleA, std::shared_ptr< BeliefState< Fsm >> bigQ0prime, std::shared_ptr< BeliefState< Fsm >> bigQ0MinusbigQ0prime)
template<typename Fsm >
void	Diades::Automata::Experimental::nerodePartition (const Fsm &machine, vector< std::shared_ptr< BeliefState< Fsm >>> &partition)
template<typename Fsm , typename StateCreator >
void	Diades::Automata::Experimental::minimizeDeterministicMachine (const Fsm &machine, Fsm &minimalMachine, StateCreator &creator)
template<typename Fsm , typename StateCreator >
void	Diades::Automata::Experimental::minimize (const Fsm &machine, Fsm &minimalMachine, StateCreator &creator)

Detailed Description

Author

Yannick Pencolé <yannick.pencole at laas.fr>

Date

17 April 2019, 21:36

Definition in file Minimize.hh.