Detailed Description

The class RabinPair models a pair of state sets. We use faudes Type as base class to faciltate serialisation of sets of RabinPairs aka RabinAcceptance.

Definition at line 37 of file omg_rabinacc.h.

#include <omg_rabinacc.h>

Public Member Functions
	RabinPair (void)

	RabinPair (const RabinPair &rRP)

virtual	~RabinPair (void)

virtual void	Clear (void)

StateSet &	RSet (void)

const StateSet &	RSet (void) const

StateSet &	ISet (void)

const StateSet &	ISet (void) const

void	RestrictStates (const StateSet &rDomain)

bool	operator< (const RabinPair &rOther) 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 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
void	DoAssign (const RabinPair &rSrc)

bool	DoEqual (const RabinPair &rOther) const

virtual void	DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=nullptr)

virtual void	DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=nullptr) const

virtual void	DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=nullptr) const

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	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
StateSet	mRSet

StateSet	mISet

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

◆ RabinPair() [1/2]

faudes::RabinPair::RabinPair ( void )

Default constructor, all empty

Definition at line 54 of file omg_rabinacc.cpp.

◆ RabinPair() [2/2]

faudes::RabinPair::RabinPair ( const RabinPair & rRP )

Copy constructor.

Definition at line 62 of file omg_rabinacc.cpp.

◆ ~RabinPair()

virtual faudes::RabinPair::~RabinPair ( void )

inlinevirtual

Destructor

Definition at line 55 of file omg_rabinacc.h.

Member Function Documentation

◆ Clear()

void faudes::RabinPair::Clear ( void )

virtual

Clear to default (all empty)

Reimplemented from faudes::Type.

Definition at line 77 of file omg_rabinacc.cpp.

◆ DoAssign()

void faudes::RabinPair::DoAssign ( const RabinPair & rSrc )

protected

Assignment method.

Parameters

rSrc	Source to assign from

Definition at line 71 of file omg_rabinacc.cpp.

◆ DoEqual()

bool faudes::RabinPair::DoEqual ( const RabinPair & rOther ) const

protected

Test equality of configuration data.

Parameters

rOther RabinPair to compare with

Returns: True on match.

Definition at line 90 of file omg_rabinacc.cpp.

◆ DoRead()

void faudes::RabinPair::DoRead	(	TokenReader &	rTr,
		const std::string &	rLabel = `""`,
		const Type *	pContext = `nullptr`
	)

protectedvirtual

Read configuratioj from TokenReader, see Type for public wrappers. Use am optional Generator context for symbolic state names.

Parameters

rTr	TokenReader to read from
rLabel	Section to read
pContext	Provide contextual information

Exceptions

Exception

IO error (id 1)

Reimplemented from faudes::Type.

Definition at line 148 of file omg_rabinacc.cpp.

◆ DoWrite()

void faudes::RabinPair::DoWrite	(	TokenWriter &	rTw,
		const std::string &	rLabel = `""`,
		const Type *	pContext = `nullptr`
	)		const

protectedvirtual

Writes configuration to TokenWriter, see Type for public wrappers. Use am optional Generator context for symbolic state names.

Parameters

rTw	TokenWriter to write to
rLabel	Section to write
pContext	Provide contextual information

Exceptions

Exception

IO error (id 2)

Reimplemented from faudes::Type.

Definition at line 97 of file omg_rabinacc.cpp.

◆ DoXWrite()

void faudes::RabinPair::DoXWrite	(	TokenWriter &	rTw,
		const std::string &	rLabel = `""`,
		const Type *	pContext = `nullptr`
	)		const

protectedvirtual

Writes configuration to TokenWriter, see Type for public wrappers. Use am optional Generator context for symbolic state names.

Parameters

rTw	TokenWriter to write to
rLabel	Section to write
pContext	Provide contextual information

Exceptions

Exception

IO error (id 2)

Reimplemented from faudes::Type.

Definition at line 124 of file omg_rabinacc.cpp.

◆ ISet() [1/2]

StateSet& faudes::RabinPair::ISet ( void )

inline

Member access I

Returns: writable ref to Set of states type I

Definition at line 84 of file omg_rabinacc.h.

◆ ISet() [2/2]

const StateSet& faudes::RabinPair::ISet ( void ) const

inline

Member access I

Returns: const ref to Set of states type I

Definition at line 92 of file omg_rabinacc.h.

◆ operator<()

bool faudes::RabinPair::operator< ( const RabinPair & rOther ) const

Compare for set-ordering

Parameters

rOther other Rabin pair to compare with

Returns: true if "this>other"

Definition at line 83 of file omg_rabinacc.cpp.

◆ RestrictStates()

void faudes::RabinPair::RestrictStates ( const StateSet & rDomain )

Restrict to specified State set

Parameters

rDomain State set to restrict to

Definition at line 177 of file omg_rabinacc.cpp.

◆ RSet() [1/2]

StateSet& faudes::RabinPair::RSet ( void )

inline

Definition at line 68 of file omg_rabinacc.h.

◆ RSet() [2/2]

const StateSet& faudes::RabinPair::RSet ( void ) const

inline

Definition at line 76 of file omg_rabinacc.h.

Member Data Documentation

◆ mISet

StateSet faudes::RabinPair::mISet

protected

set of states type I

Definition at line 122 of file omg_rabinacc.h.

◆ mRSet

StateSet faudes::RabinPair::mRSet

protected

set of states type R

Definition at line 117 of file omg_rabinacc.h.

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

Detailed Description

Public Member Functions

Protected Member Functions

Protected Attributes

Additional Inherited Members

Constructor & Destructor Documentation

◆ RabinPair() [1/2]

◆ RabinPair() [2/2]

◆ ~RabinPair()

Member Function Documentation

◆ Clear()

◆ DoAssign()

◆ DoEqual()

◆ DoRead()

◆ DoWrite()

◆ DoXWrite()

◆ ISet() [1/2]

◆ ISet() [2/2]

◆ operator<()

◆ RestrictStates()

◆ RSet() [1/2]

◆ RSet() [2/2]

Member Data Documentation

◆ mISet

◆ mRSet