Public Member Functions | Private Attributes | List of all members
faudes::HOAConsumerFaudes Class Reference

Detailed Description

Definition at line 192 of file omg_hoa.cpp.

Public Member Functions

 HOAConsumerFaudes (RabinAutomaton &aut, const SymbolTable &syms)
 
HOAParserException error (const std::string &msg)
 
virtual bool parserResolvesAliases () override
 
virtual void notifyHeaderStart (const std::string &version) override
 
virtual void setNumberOfStates (unsigned int numberOfStates) override
 
virtual void addStartStates (const int_list &stateConjunction) override
 
virtual void addAlias (const std::string &name, label_expr::ptr labelExpr) override
 
virtual void setAPs (const std::vector< std::string > &aps) override
 
virtual void setAcceptanceCondition (unsigned int numberOfSets, acceptance_expr::ptr accExpr) override
 
virtual void provideAcceptanceName (const std::string &name, const std::vector< IntOrString > &extraInfo) override
 
virtual void setName (const std::string &name) override
 
virtual void setTool (const std::string &name, std::shared_ptr< std::string > version) override
 
virtual void addProperties (const std::vector< std::string > &properties) override
 
virtual void addMiscHeader (const std::string &name, const std::vector< IntOrString > &content) override
 
virtual void notifyBodyStart () override
 
virtual void addState (unsigned int id, std::shared_ptr< std::string > info, label_expr::ptr labelExpr, std::shared_ptr< int_list > accSignature) override
 
virtual void addEdgeImplicit (unsigned int stateId, const int_list &conjSuccessors, std::shared_ptr< int_list > accSignature) override
 
virtual void addEdgeWithLabel (unsigned int stateId, label_expr::ptr labelExpr, const int_list &conjSuccessors, std::shared_ptr< int_list > accSignature) override
 
virtual void notifyEndOfState (unsigned int stateId) override
 
virtual void notifyEnd () override
 
virtual void notifyAbort () override
 
virtual void notifyWarning (const std::string &warning) override
 

Private Attributes

RabinAutomaton & rAut
 
const SymbolTable & rSymTab
 
bool mRabin =false
 
bool mBuechi =false
 
int mApCount =0
 
std::map< int, std::string > mApSymbols
 
ImplicitEdgeHelper mImplEdgeHlp
 
std::map< uint32_t, Idx > mEdgeBitsToEvIdx
 

Constructor & Destructor Documentation

◆ HOAConsumerFaudes()

faudes::HOAConsumerFaudes::HOAConsumerFaudes ( RabinAutomaton &  aut,
const SymbolTable &  syms 
)
inline

Constructor, holding a reference to the generator to read to

Definition at line 195 of file omg_hoa.cpp.

Member Function Documentation

◆ addAlias()

virtual void faudes::HOAConsumerFaudes::addAlias ( const std::string &  name,
label_expr::ptr  labelExpr 
)
inlineoverridevirtual

Definition at line 222 of file omg_hoa.cpp.

◆ addEdgeImplicit()

virtual void faudes::HOAConsumerFaudes::addEdgeImplicit ( unsigned int  stateId,
const int_list &  conjSuccessors,
std::shared_ptr< int_list >  accSignature 
)
inlineoverridevirtual

Definition at line 300 of file omg_hoa.cpp.

◆ addEdgeWithLabel()

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

Definition at line 313 of file omg_hoa.cpp.

◆ addMiscHeader()

virtual void faudes::HOAConsumerFaudes::addMiscHeader ( const std::string &  name,
const std::vector< IntOrString > &  content 
)
inlineoverridevirtual

Definition at line 271 of file omg_hoa.cpp.

◆ addProperties()

virtual void faudes::HOAConsumerFaudes::addProperties ( const std::vector< std::string > &  properties)
inlineoverridevirtual

Definition at line 268 of file omg_hoa.cpp.

◆ addStartStates()

virtual void faudes::HOAConsumerFaudes::addStartStates ( const int_list &  stateConjunction)
inlineoverridevirtual

Definition at line 217 of file omg_hoa.cpp.

◆ addState()

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

Definition at line 278 of file omg_hoa.cpp.

◆ error()

HOAParserException faudes::HOAConsumerFaudes::error ( const std::string &  msg)
inline

Constructs a HOAParserExeption to indicate an unsupported but presumably relevent feature

Definition at line 198 of file omg_hoa.cpp.

◆ notifyAbort()

virtual void faudes::HOAConsumerFaudes::notifyAbort ( )
inlineoverridevirtual

Definition at line 337 of file omg_hoa.cpp.

◆ notifyBodyStart()

virtual void faudes::HOAConsumerFaudes::notifyBodyStart ( )
inlineoverridevirtual

Definition at line 274 of file omg_hoa.cpp.

◆ notifyEnd()

virtual void faudes::HOAConsumerFaudes::notifyEnd ( )
inlineoverridevirtual

Definition at line 330 of file omg_hoa.cpp.

◆ notifyEndOfState()

virtual void faudes::HOAConsumerFaudes::notifyEndOfState ( unsigned int  stateId)
inlineoverridevirtual

Definition at line 326 of file omg_hoa.cpp.

◆ notifyHeaderStart()

virtual void faudes::HOAConsumerFaudes::notifyHeaderStart ( const std::string &  version)
inlineoverridevirtual

Definition at line 208 of file omg_hoa.cpp.

◆ notifyWarning()

virtual void faudes::HOAConsumerFaudes::notifyWarning ( const std::string &  warning)
inlineoverridevirtual

Definition at line 342 of file omg_hoa.cpp.

◆ parserResolvesAliases()

virtual bool faudes::HOAConsumerFaudes::parserResolvesAliases ( )
inlineoverridevirtual

Definition at line 204 of file omg_hoa.cpp.

◆ provideAcceptanceName()

virtual void faudes::HOAConsumerFaudes::provideAcceptanceName ( const std::string &  name,
const std::vector< IntOrString > &  extraInfo 
)
inlineoverridevirtual

Definition at line 251 of file omg_hoa.cpp.

◆ setAcceptanceCondition()

virtual void faudes::HOAConsumerFaudes::setAcceptanceCondition ( unsigned int  numberOfSets,
acceptance_expr::ptr  accExpr 
)
inlineoverridevirtual

Definition at line 243 of file omg_hoa.cpp.

◆ setAPs()

virtual void faudes::HOAConsumerFaudes::setAPs ( const std::vector< std::string > &  aps)
inlineoverridevirtual

Definition at line 226 of file omg_hoa.cpp.

◆ setName()

virtual void faudes::HOAConsumerFaudes::setName ( const std::string &  name)
inlineoverridevirtual

Definition at line 261 of file omg_hoa.cpp.

◆ setNumberOfStates()

virtual void faudes::HOAConsumerFaudes::setNumberOfStates ( unsigned int  numberOfStates)
inlineoverridevirtual

Definition at line 213 of file omg_hoa.cpp.

◆ setTool()

virtual void faudes::HOAConsumerFaudes::setTool ( const std::string &  name,
std::shared_ptr< std::string >  version 
)
inlineoverridevirtual

Definition at line 265 of file omg_hoa.cpp.

Member Data Documentation

◆ mApCount

int faudes::HOAConsumerFaudes::mApCount =0
private

Definition at line 356 of file omg_hoa.cpp.

◆ mApSymbols

std::map<int,std::string> faudes::HOAConsumerFaudes::mApSymbols
private

Definition at line 357 of file omg_hoa.cpp.

◆ mBuechi

bool faudes::HOAConsumerFaudes::mBuechi =false
private

Definition at line 355 of file omg_hoa.cpp.

◆ mEdgeBitsToEvIdx

std::map<uint32_t,Idx> faudes::HOAConsumerFaudes::mEdgeBitsToEvIdx
private

Definition at line 359 of file omg_hoa.cpp.

◆ mImplEdgeHlp

ImplicitEdgeHelper faudes::HOAConsumerFaudes::mImplEdgeHlp
private

Definition at line 358 of file omg_hoa.cpp.

◆ mRabin

bool faudes::HOAConsumerFaudes::mRabin =false
private

Payload: intermediate parsing results

Definition at line 354 of file omg_hoa.cpp.

◆ rAut

RabinAutomaton& faudes::HOAConsumerFaudes::rAut
private

Payload: automaton to parse to

Definition at line 350 of file omg_hoa.cpp.

◆ rSymTab

const SymbolTable& faudes::HOAConsumerFaudes::rSymTab
private

Definition at line 351 of file omg_hoa.cpp.

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

libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen

>>