omg_hoa.cpp File Reference

#include "omg_hoa.h"
#include "cpphoafparser/consumer/hoa_intermediate_trace.hh"
#include "cpphoafparser/consumer/hoa_intermediate_resolve_aliases.hh"
#include "cpphoafparser/parser/hoa_parser.hh"
#include "cpphoafparser/parser/hoa_parser_helper.hh"
#include "cpphoafparser/parser/hoa_parser_exception.hh"
#include "cpphoafparser/util/implicit_edge_helper.hh"
#include "cpphoafparser/consumer/hoa_consumer.hh"

Go to the source code of this file.

Classes
class	faudes::HOAConsumerFaudes

Namespaces
	faudes

Functions
std::string	faudes::omg_hoa_bits2expr (uint32_t bits, int apc)
void	faudes::omg_export_hoa (std::ostream &rOutStream, const Generator &rAut, SymbolTable *pSymTab)
void	faudes::ExportHoa (std::ostream &rOutStream, const Generator &rAut, SymbolTable *pSymTab)
void	faudes::ExportHoa (const std::string &rFilename, const Generator &rAut, SymbolTable *pSymTab)
std::string	faudes::omg_hoa_bits2event (uint32_t bits, int apc)
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.cpp.