| 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 |
| bits2event(uint32_t bits) | faudes::HOAConsumerFaudes | inlineprivate |
| evalexpr(label_expr::ptr expr, uint32_t bits) | faudes::HOAConsumerFaudes | inlineprivate |
| expr2bits(label_expr::ptr labelExpr, HOAConsumer::int_list &bitslist) | faudes::HOAConsumerFaudes | inlineprivate |
| HOAConsumerFaudes(Generator &gen, const SymbolTable &syms) | faudes::HOAConsumerFaudes | inline |
| mAccSetCount | faudes::HOAConsumerFaudes | private |
| mAliases | faudes::HOAConsumerFaudes | private |
| 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 |
| pRAut | faudes::HOAConsumerFaudes | private |
| provideAcceptanceName(const std::string &name, const std::vector< IntOrString > &extraInfo) override | faudes::HOAConsumerFaudes | inlinevirtual |
| rGen | 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 |