Detailed Description

The class RabinAcceptance is a set of RabinPairs. We use faudes::TBaseVector as the base class and perhaps add some convenience accessors in due course.

Definition at line 201 of file omg_rabinacc.h.

#include <omg_rabinacc.h>

Public Member Functions
	RabinAcceptance (void)

	RabinAcceptance (const RabinAcceptance &rRA)

	RabinAcceptance (const std::string &rFileName)

virtual	~RabinAcceptance (void)

void	RestrictStates (const StateSet &rDomain)

Public Member Functions inherited from faudes::TBaseVector< RabinPair >
	TBaseVector (void)

	TBaseVector (const TBaseVector &rOtherSet)

	TBaseVector (const vBaseVector &rOtherSet)

	TBaseVector (const std::string &rFilename, const std::string &rLabel="BaseVector")

virtual	~TBaseVector (void)

virtual const RabinPair *	Elementp (void) const

virtual bool	ElementTry (const Type &rElement) const

virtual const RabinPair &	At (const Position &pos) const

virtual RabinPair &	At (const Position &pos)

Iterator	Begin (void)

CIterator	Begin (void) const

Iterator	End (void)

CIterator	End (void) const

virtual void	Insert (const RabinPair &rElem)

virtual void	Insert (const Position &pos, const Type &rElem)

virtual void	Insert (const Position &pos, Type *pElem)

virtual void	Insert (const Position &pos, const std::string &rFileName)

virtual Iterator	Erase (const Iterator &vit)

virtual void	Erase (const Position &pos)

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

	vBaseVector (const vBaseVector &rOtherVector)

	vBaseVector (const std::string &rFilename, const std::string &rLabel="Vector")

virtual	~vBaseVector (void)

void	AssignByReference (vBaseVector &rSourceVector)

virtual const Type &	Element (void) const

virtual Type *	NewElement (void)

virtual void	Clear (void)

Idx	Size (void) const

void	Size (Idx len)

bool	IsDefault (void) const

bool	Empty (void) const

virtual void	Replace (const Position &pos, const Type &rElem)

virtual void	Replace (const Position &pos, Type *pElem)

virtual void	Replace (const Position &pos, const std::string &rFileName)

virtual void	Erase (const Position &pos)

virtual void	Insert (const Position &pos, const Type &rElem)

virtual void	Insert (const Position &pos, Type *pElem)

virtual void	Insert (const Position &pos, const std::string &rFileName)

virtual void	PushBack (const Type &rElem)

virtual void	PushBack (Type *rElem)

virtual void	PushBack (const std::string &rFileName)

virtual void	Append (const Type &rElem)

virtual void	Append (Type *rElem)

virtual void	Append (const std::string &rFileName)

virtual Position	Find (const Type &rElem)

virtual void	EraseDoublets (void)

void	FilenameAt (const Position &pos, const std::string &rFileName)

const std::string &	FilenameAt (const Position &pos) const

void	TakeOwnership (void)

void	TakeCopies (void)

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)

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
virtual void	DoSWrite (TokenWriter &rTw) const

Protected Member Functions inherited from faudes::TBaseVector< RabinPair >
void	DoAssign (const TBaseVector< RabinPair > &rSourceVector)

Protected Member Functions inherited from faudes::vBaseVector
virtual void	DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

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	DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)

void	DoAssign (const vBaseVector &rSourceVector)

bool	DoEqual (const vBaseVector &rOther) 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 Token	XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const

Additional Inherited Members
Public Types inherited from faudes::TBaseVector< RabinPair >
typedef std::vector< int >::size_type	Position

Public Types inherited from faudes::vBaseVector
typedef size_t	Position

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

Protected Types inherited from faudes::vBaseVector
typedef std::vector< ElementRecord >::iterator	iterator

Protected Attributes inherited from faudes::vBaseVector
std::vector< ElementRecord >	mVector

std::string	mElementTagDef

Protected Attributes inherited from faudes::ExtType
std::string	mElementType

std::string	mElementTagDef

std::string	mObjectName

Constructor & Destructor Documentation

◆ RabinAcceptance() [1/3]

faudes::RabinAcceptance::RabinAcceptance ( void )

Default constructor (all empty)

Definition at line 193 of file omg_rabinacc.cpp.

◆ RabinAcceptance() [2/3]

faudes::RabinAcceptance::RabinAcceptance ( const RabinAcceptance & rRA )

Copy constructor.

Definition at line 199 of file omg_rabinacc.cpp.

◆ RabinAcceptance() [3/3]

faudes::RabinAcceptance::RabinAcceptance ( const std::string & rFileName )

Construct from file.

Definition at line 206 of file omg_rabinacc.cpp.

◆ ~RabinAcceptance()

virtual faudes::RabinAcceptance::~RabinAcceptance ( void )

inlinevirtual

Destructor

Definition at line 224 of file omg_rabinacc.h.

Member Function Documentation

◆ DoSWrite()

void faudes::RabinAcceptance::DoSWrite ( TokenWriter & rTw ) const

protectedvirtual

Token output, see Type::SWrite for public wrappers. Statistics include sizes of members and is meant to record test cases

Parameters

rTw	Reference to TokenWriter

Reimplemented from faudes::vBaseVector.

Definition at line 214 of file omg_rabinacc.cpp.

◆ RestrictStates()

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

Restrict to specified State set

Parameters

rDomain State set to restrict to

Definition at line 226 of file omg_rabinacc.cpp.

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