omg_hoa.h File Reference

#include "corefaudes.h"
#include "omg_rabinaut.h"

Go to the source code of this file.

Namespaces
	faudes

Functions
void	faudes::ExportHoa (std::ostream &rOutStream, const Generator &rAut, SymbolTable *pSymTab)
void	faudes::ExportHoa (const std::string &rFilename, const Generator &rAut, SymbolTable *pSymTab)
void	faudes::ImportHoa (std::istream &rInStream, RabinAutomaton &rAut, const SymbolTable *pSymTab, bool resolve, bool trace)
void	faudes::ImportHoa (const std::string &rFilename, RabinAutomaton &rAut, const SymbolTable *pSymTab, bool resolve, bool trace)

Detailed Description

Serialisation in HOA format

Definition in file omg_hoa.h.