| addAlias(const std::string &name, label_expr::ptr labelExpr) override | faudes::HOAConsumerFaudes | inlinevirtual |
| addEdgeImplicit(unsigned int stateId, const int_list &conjSuccessors, std::shared_ptr< int_list > accSignature) override | faudes::HOAConsumerFaudes | inlinevirtual |
| addEdgeWithLabel(unsigned int stateId, label_expr::ptr labelExpr, const int_list &conjSuccessors, std::shared_ptr< int_list > accSignature) override | faudes::HOAConsumerFaudes | inlinevirtual |
| addMiscHeader(const std::string &name, const std::vector< IntOrString > &content) override | faudes::HOAConsumerFaudes | inlinevirtual |
| addProperties(const std::vector< std::string > &properties) override | faudes::HOAConsumerFaudes | inlinevirtual |
| addStartStates(const int_list &stateConjunction) override | faudes::HOAConsumerFaudes | inlinevirtual |
| addState(unsigned int id, std::shared_ptr< std::string > info, label_expr::ptr labelExpr, std::shared_ptr< int_list > accSignature) override | faudes::HOAConsumerFaudes | inlinevirtual |
| error(const std::string &msg) | faudes::HOAConsumerFaudes | inline |
| HOAConsumerFaudes(RabinAutomaton &aut, const SymbolTable &syms) | faudes::HOAConsumerFaudes | inline |
| mApCount | faudes::HOAConsumerFaudes | private |
| mApSymbols | faudes::HOAConsumerFaudes | private |
| mBuechi | faudes::HOAConsumerFaudes | private |
| mEdgeBitsToEvIdx | faudes::HOAConsumerFaudes | private |
| mImplEdgeHlp | faudes::HOAConsumerFaudes | private |
| mRabin | faudes::HOAConsumerFaudes | private |
| notifyAbort() override | faudes::HOAConsumerFaudes | inlinevirtual |
| notifyBodyStart() override | faudes::HOAConsumerFaudes | inlinevirtual |
| notifyEnd() override | faudes::HOAConsumerFaudes | inlinevirtual |
| notifyEndOfState(unsigned int stateId) override | faudes::HOAConsumerFaudes | inlinevirtual |
| notifyHeaderStart(const std::string &version) override | faudes::HOAConsumerFaudes | inlinevirtual |
| notifyWarning(const std::string &warning) override | faudes::HOAConsumerFaudes | inlinevirtual |
| parserResolvesAliases() override | faudes::HOAConsumerFaudes | inlinevirtual |
| provideAcceptanceName(const std::string &name, const std::vector< IntOrString > &extraInfo) override | faudes::HOAConsumerFaudes | inlinevirtual |
| rAut | faudes::HOAConsumerFaudes | private |
| rSymTab | faudes::HOAConsumerFaudes | private |
| setAcceptanceCondition(unsigned int numberOfSets, acceptance_expr::ptr accExpr) override | faudes::HOAConsumerFaudes | inlinevirtual |
| setAPs(const std::vector< std::string > &aps) override | faudes::HOAConsumerFaudes | inlinevirtual |
| setName(const std::string &name) override | faudes::HOAConsumerFaudes | inlinevirtual |
| setNumberOfStates(unsigned int numberOfStates) override | faudes::HOAConsumerFaudes | inlinevirtual |
| setTool(const std::string &name, std::shared_ptr< std::string > version) override | faudes::HOAConsumerFaudes | inlinevirtual |