Detailed Description

State ranking information for fixpoint computation.

Records the level at which each state was added during the nested fixpoint iteration. Used for constructing the state feedback controller according to Theorem 6.4.

Definition at line 55 of file omg_rabinctrlrk.h.

#include <omg_rabinctrlrk.h>

Public Member Functions
	StateRanking ()

	StateRanking (int mu, int nu, int branch)

bool	operator< (const StateRanking &other) const

virtual bool	IsDefault (void) const

StateRanking &	operator= (const StateRanking &other)

Public Member Functions inherited from faudes::AttrType
	AttrType (void)

	AttrType (const AttrType &rSrc)

virtual	~AttrType (void)

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

virtual void	Name (const std::string &rName)

virtual const std::string &	Name (void) const

virtual const std::string &	TypeName (void) 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)

Public Attributes
int	muLevel

int	nuLevel

int	branchType

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

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 const TypeDefinition *	TypeDefinitionp (void) const

virtual Token	XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const

Constructor & Destructor Documentation

◆ StateRanking() [1/2]

faudes::StateRanking::StateRanking ( )

inline

Definition at line 61 of file omg_rabinctrlrk.h.

◆ StateRanking() [2/2]

faudes::StateRanking::StateRanking	(	int	mu,
		int	nu,
		int	branch
	)

inline

Definition at line 62 of file omg_rabinctrlrk.h.

Member Function Documentation

◆ IsDefault()

virtual bool faudes::StateRanking::IsDefault ( void ) const

inlinevirtual

Test for default value.

Reimplemented from faudes::AttrType.

Definition at line 72 of file omg_rabinctrlrk.h.

◆ operator<()

bool faudes::StateRanking::operator< ( const StateRanking & other ) const

inline

Definition at line 65 of file omg_rabinctrlrk.h.

◆ operator=()

StateRanking& faudes::StateRanking::operator= ( const StateRanking & other )

inline

Definition at line 77 of file omg_rabinctrlrk.h.

Member Data Documentation

◆ branchType

int faudes::StateRanking::branchType

Definition at line 59 of file omg_rabinctrlrk.h.

◆ muLevel

int faudes::StateRanking::muLevel

Definition at line 57 of file omg_rabinctrlrk.h.

◆ nuLevel

int faudes::StateRanking::nuLevel

Definition at line 58 of file omg_rabinctrlrk.h.

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

omg_rabinctrlrk.h

Detailed Description

Public Member Functions

Public Attributes

Additional Inherited Members

Constructor & Destructor Documentation

◆ StateRanking() [1/2]

◆ StateRanking() [2/2]

Member Function Documentation

◆ IsDefault()

◆ operator<()

◆ operator=()

Member Data Documentation

◆ branchType

◆ muLevel

◆ nuLevel