Algorithms.hh

Go to the documentation of this file.

/* 
 * @file   StateMachine.hh
 * @author Yannick Pencole, ypencole@laas.fr, LAAS-CNRS, Univ. Toulouse, FRANCE
 *
 * Created on 01 november 2017, 09:50
 */

#ifndef __DIADES__AUTOMATA__EXPERIMENTAL__ALGORITHMS__HH__
#define __DIADES__AUTOMATA__EXPERIMENTAL__ALGORITHMS__HH__

#include<diades/automata/Component.hh>
#include<diades/automata/experimental/StateMachines.hh>

namespace Diades
{
    namespace Automata
    {
        namespace Experimental
        {
            
            
            void transformToCandidateStateMachine(const Component & component,
                                                  Lcm::EvManager & manager,
                                                  Lcm::EvSetManager & setManager,
                                                  Lcm::LocalStateInfoManager & locStateInfoManager,
                                                  Lcm::CandidateManager & candidateManager,
                                                  Lcm::Fsm & result);
        }
    }
}


#endif /* ALGORITHMS_HH */