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

Detailed Description

Definition at line 418 of file omg_rabinctrl.cpp.

Public Member Functions

 RabinInvDynCtrlCore (const RabinAutomaton &raut, const TransSetX2EvX1 &revtrans, const EventSet &sigctrl)
 
- Public Member Functions inherited from faudes::RabinInvDynPReach
 RabinInvDynPReach (const RabinAutomaton &raut, const TransSetX2EvX1 &revtrans, const EventSet &sigctrl)
 
- Public Member Functions inherited from faudes::RabinInvDynOperator
 RabinInvDynOperator (const vGenerator &gen, const TransSetX2EvX1 &revtrans, const EventSet &sigctrl)
 
virtual const StateSet & Domain (void) const
 
void RecCtrl (bool on)
 
bool RecCtrl (void)
 
TaIndexSet< EventSet > & Controller (void)
 
const TaIndexSet< EventSet > & Controller (void) const
 
void ClrCtrl (void)
 
void InsCtrl (const RabinInvDynOperator &rOther)
 
- Public Member Functions inherited from faudes::StateSetOperator
 StateSetOperator (void)
 
 StateSetOperator (const StateSetOperator &)=delete
 
 ~StateSetOperator (void)
 
void Evaluate (StateSetVector &rArgs, StateSet &rRes) const
 
void Evaluate (StateSet &rArg, StateSet &rRes) const
 
void Evaluate (StateSet &rRes) const
 
StateSetVector::Position ArgCount (void) const
 
const std::string & ArgName (StateSetVector::Position pos) const
 
std::string ArgStatistics (const StateSetVector &rArgs) const
 
virtual const std::string & Indent (void) const
 
virtual void Indent (const std::string &indent) const
 
- Public Member Functions inherited from faudes::ExtType
 ExtType (void)
 
 ExtType (const ExtType &rType)
 
virtual ~ExtType (void)
 
const std::string & Name (void) const
 
void Name (const std::string &rName)
 
virtual const std::string & TypeName (void) const
 
virtual void TypeName (const std::string &rType)
 
virtual const std::string & ElementTag (void) const
 
virtual void ElementTag (const std::string &rTag)
 
virtual const std::string & ElementType (void) const
 
virtual const TypeDefinition * TypeDefinitionp (void) const
 
Type & operator= (const Type &rSrc)
 
bool operator== (const Type &rOther) const
 
bool operator!= (const Type &rOther) const
 
- Public Member Functions inherited from faudes::AttrType
 AttrType (void)
 
 AttrType (const AttrType &rSrc)
 
virtual ~AttrType (void)
 
virtual bool IsDefault (void) const
 
Type & operator= (const Type &rSrc)
 
bool operator== (const Type &rOther) const
 
bool operator!= (const Type &rOther) const
 
- Public Member Functions inherited from faudes::Type
 Type (void)
 
 Type (const Type &rType)
 
virtual ~Type (void)
 
virtual Type * New (void) const
 
virtual Type * Copy (void) const
 
virtual const Type * Cast (const Type *pOther) const
 
virtual void Clear (void)
 
virtual Type & Assign (const Type &rSrc)
 
Type & operator= (const Type &rSrc)
 
virtual bool Equal (const Type &rOther) const
 
bool operator== (const Type &rOther) const
 
bool operator!= (const Type &rOther) const
 
void Write (const Type *pContext=0) const
 
void Write (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const
 
void Write (const std::string &pFileName, std::ios::openmode openmode) const
 
void Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 
virtual void XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const
 
void XWrite (const Type *pContext=0) const
 
void XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 
std::string ToString (const std::string &rLabel="", const Type *pContext=0) const
 
std::string ToText (const std::string &rLabel="", const Type *pContext=0) const
 
void DWrite (const Type *pContext=0) const
 
void DWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const
 
void DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 
void SWrite (TokenWriter &rTw) const
 
void SWrite (void) const
 
std::string ToSText (void) const
 
void Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0)
 
void FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0)
 
void Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)
 

Protected Member Functions

virtual void DoEvaluate (StateSetVector &rArgs, StateSet &rRes)
 
- Protected Member Functions inherited from faudes::AttrType
void DoAssign (const AttrType &rSrc)
 
bool DoEqual (const AttrType &rOther) const
 
- Protected Member Functions inherited from faudes::Type
void DoAssign (const Type &rSrc)
 
bool DoEqual (const Type &rOther) const
 
virtual void DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)
 
virtual void DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 
virtual void DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 
virtual void DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 
virtual void DoSWrite (TokenWriter &rTw) const
 
virtual Token XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const
 

Private Attributes

RabinAcceptance::CIterator mRPit
 

Additional Inherited Members

- Static Public Member Functions inherited from faudes::AttrType
static void Skip (TokenReader &rTr)
 
- Protected Attributes inherited from faudes::RabinInvDynPReach
RabinInvDynPReachCore mPReachCore
 
MuIteration mMuPReachCore
 
- Protected Attributes inherited from faudes::RabinInvDynOperator
const vGenerator & rGen
 
const StateSet & rDomain
 
const StateSet & rMarkedStates
 
const TransSet & rTransRel
 
const TransSetX2EvX1 & rRevTransRel
 
EventSet mSigmaCtrl
 
bool mRecCtrl =false
 
TaIndexSet< EventSet > mController
 
- Protected Attributes inherited from faudes::StateSetOperator
StateSetVector::Position mArgCount
 
std::vector< std::string > mArgNames
 
std::string mIndent
 
- Protected Attributes inherited from faudes::ExtType
std::string mElementType
 
std::string mElementTagDef
 
std::string mObjectName
 

Constructor & Destructor Documentation

◆ RabinInvDynCtrlCore()

faudes::RabinInvDynCtrlCore::RabinInvDynCtrlCore ( const RabinAutomaton &  raut,
const TransSetX2EvX1 &  revtrans,
const EventSet &  sigctrl 
)
inline

construct to record context

Definition at line 423 of file omg_rabinctrl.cpp.

Member Function Documentation

◆ DoEvaluate()

virtual void faudes::RabinInvDynCtrlCore::DoEvaluate ( StateSetVector &  rArgs,
StateSet &  rRes 
)
inlineprotectedvirtual

actual operator implementation

Reimplemented from faudes::RabinInvDynPReach.

Definition at line 436 of file omg_rabinctrl.cpp.

Member Data Documentation

◆ mRPit

RabinAcceptance::CIterator faudes::RabinInvDynCtrlCore::mRPit
private

additional context

Definition at line 420 of file omg_rabinctrl.cpp.

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

libFAUDES 2.33l --- 2025.09.16 --- c++ api documentaion by doxygen

>>