Detailed Description

Definition at line 237 of file omg_rabinctrlrk.cpp.

Public Member Functions
	RabinInvDynThetaTilde_RK (const vGenerator &gen, const TransSetX2EvX1 &revtrans, const EventSet &sigctrl)

Public Member Functions inherited from faudes::RabinInvDynOperator_RK
	RabinInvDynOperator_RK (const vGenerator &gen, const TransSetX2EvX1 &revtrans, const EventSet &sigctrl)

virtual const StateSet &	Domain (void) const

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

Protected Attributes
RabinInvDynThetaTildeCore_RK	mThetaCore

MuIteration	mMuThetaCore

NuIteration	mNuMuThetaCore

Protected Attributes inherited from faudes::RabinInvDynOperator_RK
const vGenerator &	rGen

const StateSet &	rDomain

const StateSet &	rMarkedStates

const TransSet &	rTransRel

const TransSetX2EvX1 &	rRevTransRel

EventSet	mSigmaCtrl

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

Additional Inherited Members
Static Public Member Functions inherited from faudes::AttrType
static void	Skip (TokenReader &rTr)

Constructor & Destructor Documentation

◆ RabinInvDynThetaTilde_RK()

faudes::RabinInvDynThetaTilde_RK::RabinInvDynThetaTilde_RK	(	const vGenerator &	gen,
		const TransSetX2EvX1 &	revtrans,
		const EventSet &	sigctrl
	)

inline

construct to record context

Definition at line 245 of file omg_rabinctrlrk.cpp.

Member Function Documentation

◆ DoEvaluate()

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

inlineprotectedvirtual

actual operator implementation

Implements faudes::StateSetOperator.

Reimplemented in faudes::RabinInvDynPReachCore_RK.

Definition at line 260 of file omg_rabinctrlrk.cpp.

Member Data Documentation

◆ mMuThetaCore

MuIteration faudes::RabinInvDynThetaTilde_RK::mMuThetaCore

protected

Definition at line 241 of file omg_rabinctrlrk.cpp.

◆ mNuMuThetaCore

NuIteration faudes::RabinInvDynThetaTilde_RK::mNuMuThetaCore

protected

Definition at line 242 of file omg_rabinctrlrk.cpp.

◆ mThetaCore

RabinInvDynThetaTildeCore_RK faudes::RabinInvDynThetaTilde_RK::mThetaCore

protected

additional context

Definition at line 240 of file omg_rabinctrlrk.cpp.

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

omg_rabinctrlrk.cpp

Detailed Description

Public Member Functions

Protected Member Functions

Protected Attributes

Additional Inherited Members

Constructor & Destructor Documentation

◆ RabinInvDynThetaTilde_RK()

Member Function Documentation

◆ DoEvaluate()

Member Data Documentation

◆ mMuThetaCore

◆ mNuMuThetaCore

◆ mThetaCore