AutomataInterface.hh

Go to the documentation of this file.

#ifndef __DIADES__CMDINTERFACE__AUTOMATAINTERFACE__HH
#define __DIADES__CMDINTERFACE__AUTOMATAINTERFACE__HH

#include <diades/automata/experimental/AutFile.hh>
#include <diades/automata/experimental/DdAutFile.hh>
#include "CmdInterface.hh"

namespace Diades
{
  namespace CmdInterface
  {

    
    size_t loadFiniteStateMachine(const std::string & input, const Diades::Automata::Experimental::ManagedDdAutFsm & mfsm);
 
    size_t loadFiniteStateAutomaton(const std::string & input,
                                    const Diades::Automata::Experimental::ManagedDdAutFA & mfa);

    
    /**************************************************************************************************/
    
    size_t writeAut(const Diades::Automata::Experimental::AutFsm & fsm,
                    const std::string & output, const FileSuffixes & suffixes);


    size_t
    writeFiniteStateMachine(const Diades::Automata::Experimental::ConstManagedDdAutFsm & fsm,
                            const std::string & output,
                            const FileSuffixes & suffixes);
                
    size_t
    writeFiniteAutomaton(const Diades::Automata::Experimental::ConstManagedDdAutFA & mfa,
                         const std::string & output,
                         const FileSuffixes & suffixes);



    size_t
    checkFileNameSuffix(const std::string & filename, const std::string & suffix);
 
    size_t isOpenableFile(const std::string & filename);

    
    size_t
    checkDdAutFile(const std::string & filename);


    


    size_t
    checkDdAutFileName(const std::string & filename);



    size_t
    checkAutFile(const std::string & filename);


    


    size_t
    checkAutFileName(const std::string & filename);


    
  }
}

#endif /* __DIADES__CMDINTERFACE__AUTOMATAINTERFACE__HH */