Class for HOA parsing. More...

Inheritance diagram for BuildParity:

Collaboration diagram for BuildParity:

Public Types
using	ptr = std::shared_ptr< BuildParity >

Public Member Functions
	BuildParity (Parity &automaton, HOAConsumer::ptr next, Verbosity::Level verbosity=Verbosity::Silent, bool noMdp=false)

void	addState (unsigned int id, std::shared_ptr< std::string > info, label_expr::ptr labelExpr, std::shared_ptr< int_list > accSignature) override

void	addStartStates (int_list const &stateConjunction) override

void	setAPs (std::vector< std::string > const &aps) override

void	addEdgeWithLabel (unsigned int stateId, label_expr::ptr labelExpr, int_list const &conjSuccessors, std::shared_ptr< int_list > accSignature) override

void	provideAcceptanceName (const std::string &name, const std::vector< IntOrString > &extraInfo) override

void	setAcceptanceCondition (unsigned int numberOfSets, acceptance_expr::ptr accExpr) override

void	addProperties (const std::vector< std::string > &properties) override

void	setName (const std::string &name) override

Detailed Description

Class for HOA parsing.

The documentation for this class was generated from the following file:

Public Types