|
|
#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.
|
| 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) |
| |
Serialisation in HOA format
Definition in file omg_hoa.cpp.
libFAUDES 2.33h
--- 2025.06.18
--- c++ api documentaion by doxygen
|