Detailed Description

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
class faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

Generator with priositised events.

Overview

The TpGenerator is a variant of the TcGenerator to add an interface for priositised events and fairness

Technically, the construct is based on the specialized attribute class faudes::AttributePriority derived from faudes::AttributeCFlags. The TpGenerator expects an event attribute template parameter with the minimum interface defined in AttribuePriority and AttributeCFlags.. For convenience, the configuration with the minimum attributes is been typedef-ed as PriositisedSystem.

Definition at line 139 of file pev_pgenerator.h.

#include <pev_pgenerator.h>

Public Member Functions
	TpGenerator (void)

	TpGenerator (const vGenerator &rOtherGen)

	TpGenerator (const TpGenerator &rOtherGen)

	TpGenerator (const std::string &rFileName)

TpGenerator *	New (void) const

TpGenerator *	Copy (void) const

virtual const Type *	Cast (const Type *pOther) const

TpGenerator	NewPGen (void) const

TpGenerator &	operator= (const TpGenerator &rOtherGen)

virtual TpGenerator &	Assign (const Type &rSource)

void	Clear (void)

Idx	Priority (const Idx index) const

Idx	Priority (const std::string &rName) const

void	Priority (const Idx index, const Idx prio)

void	Priority (const std::string &rName, const Idx prio)

void	Priorities (const TpEventSet< EventAttr > &rOtherSet)

EventPriorities	Priorities (void) const

Idx	LowestPriority (void) const

void	LowestPriority (const Idx rPriority)

void	HighestPriority (const Idx rPriority)

Idx	HighestPriority (void) const

FairnessConstraints	Fairness (void) const

void	Fairness (const FairnessConstraints &rFair)

Public Member Functions inherited from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
	TcGenerator (void)

	TcGenerator (const vGenerator &rOtherGen)

	TcGenerator (const TcGenerator &rOtherGen)

	TcGenerator (const std::string &rFileName)

TcGenerator	NewCGen (void) const

TcGenerator &	operator= (const TcGenerator &rOtherGen)

void	InsControllableEvent (Idx index)

Idx	InsControllableEvent (const std::string &rName)

void	InsUncontrollableEvent (Idx index)

Idx	InsUncontrollableEvent (const std::string &rName)

void	SetControllable (Idx index)

void	SetControllable (const std::string &rName)

void	SetControllable (const EventSet &rEvents)

void	ClrControllable (Idx index)

void	ClrControllable (const std::string &rName)

void	ClrControllable (const EventSet &rEvents)

bool	Controllable (Idx index) const

bool	Controllable (const std::string &rName) const

EventSet	ControllableEvents (void) const

EventSet	UncontrollableEvents (void) const

void	InsObservableEvent (Idx index)

Idx	InsObservableEvent (const std::string &rName)

void	InsUnobservableEvent (Idx index)

Idx	InsUnobservableEvent (const std::string &rName)

void	SetObservable (Idx index)

void	SetObservable (const std::string &rName)

void	SetObservable (const EventSet &rEvents)

void	ClrObservable (Idx index)

void	ClrObservable (const std::string &rName)

void	ClrObservable (const EventSet &rEvents)

bool	Observable (Idx index) const

bool	Observable (const std::string &rName) const

EventSet	ObservableEvents (void) const

EventSet	UnobservableEvents (void) const

void	InsForcibleEvent (Idx index)

Idx	InsForcibleEvent (const std::string &rName)

void	InsUnforcibleEvent (Idx index)

Idx	InsUnforcibleEvent (const std::string &rName)

void	SetForcible (Idx index)

void	SetForcible (const std::string &rName)

void	SetForcible (const EventSet &rEvents)

void	ClrForcible (Idx index)

void	ClrForcible (const std::string &rName)

void	ClrForcible (const EventSet &rEvents)

bool	Forcible (Idx index) const

bool	Forcible (const std::string &rName) const

EventSet	ForcibleEvents (void) const

EventSet	UnforcibleEvents (void) const

void	InsHighlevelEvent (Idx index)

Idx	InsHighlevelEvent (const std::string &rName)

void	InsLowlevelEvent (Idx index)

Idx	InsLowlevelEvent (const std::string &rName)

void	SetHighlevel (Idx index)

void	SetHighlevel (const std::string &rName)

void	SetHighlevel (const EventSet &rEvents)

void	SetLowlevel (Idx index)

void	SetLowlevel (const std::string &rName)

void	SetLowlevel (const EventSet &rEvents)

bool	Highlevel (Idx index) const

bool	Highlevel (const std::string &rName) const

bool	Lowlevel (Idx index) const

bool	Lowlevel (const std::string &rName) const

EventSet	HighlevelEvents (void) const

EventSet	LowlevelEvents (void) const

Public Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
	TaGenerator (void)

	TaGenerator (const TaGenerator &rOtherGen)

	TaGenerator (const vGenerator &rOtherGen)

	TaGenerator (const std::string &rFileName)

virtual TaGenerator	NewAGen (void) const

virtual	~TaGenerator (void)

TaGenerator &	operator= (const TaGenerator &rOtherGen)

virtual void	Move (TaGenerator &rGen)

virtual void	Move (Generator &rGen)

bool	Valid (void) const

const TaEventSet< EventAttr > &	Alphabet (void) const

const TaStateSet< StateAttr > &	States (void) const

const ATransSet &	TransRel (void) const

void	TransRel (TransSetX1EvX2 &res) const

void	TransRel (TransSetEvX1X2 &res) const

void	TransRel (TransSetEvX2X1 &res) const

void	TransRel (TransSetX2EvX1 &res) const

void	TransRel (TransSetX2X1Ev &res) const

void	TransRel (TransSetX1X2Ev &res) const

bool	InsEvent (Idx index)

Idx	InsEvent (const std::string &rName)

bool	InsEvent (Idx index, const EventAttr &rAttr)

Idx	InsEvent (const std::string &rName, const EventAttr &rAttr)

void	InjectAlphabet (const EventSet &rNewalphabet)

void	InjectAlphabet (const TaEventSet< EventAttr > &rNewalphabet)

Idx	InsState (void)

Idx	InsState (const StateAttr &attr)

bool	InsState (Idx index)

Idx	InsState (const std::string &rName)

Idx	InsState (const std::string &rName, const StateAttr &attr)

bool	InsState (Idx index, const StateAttr &attr)

void	InjectStates (const StateSet &rNewStates)

void	InjectStates (const TaStateSet< StateAttr > &rNewStates)

bool	SetTransition (Idx x1, Idx ev, Idx x2)

bool	SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2)

bool	SetTransition (const Transition &rTransition)

bool	SetTransition (const Transition &rTransition, const TransAttr &rAttr)

void	InjectTransRel (const TransSet &rNewtransrel)

void	InjectTransRel (const ATransSet &rNewtransrel)

void	EventAttribute (Idx index, const EventAttr &rAttr)

void	EventAttribute (Idx index, const Type &rAttr)

const EventAttr &	EventAttribute (Idx index) const

const EventAttr &	EventAttribute (const std::string &rName) const

EventAttr *	EventAttributep (Idx index)

EventAttr *	EventAttributep (const std::string &rName)

void	StateAttribute (Idx index, const StateAttr &rAttr)

void	StateAttribute (Idx index, const Type &rAttr)

const StateAttr &	StateAttribute (Idx index) const

StateAttr *	StateAttributep (Idx index)

void	TransAttribute (const Transition &rTrans, const TransAttr &rAttr)

void	TransAttribute (const Transition &rTrans, const Type &rAttr)

const TransAttr &	TransAttribute (const Transition &rTrans) const

TransAttr *	TransAttributep (const Transition &rTrans)

void	GlobalAttribute (const GlobalAttr &rAttr)

void	GlobalAttribute (const Type &rAttr)

const GlobalAttr &	GlobalAttribute (void) const

GlobalAttr *	GlobalAttributep (void)

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

	vGenerator (const vGenerator &rOtherGen)

	vGenerator (const std::string &rFileName)

virtual	~vGenerator (void)

virtual vGenerator &	AssignWithoutAttributes (const vGenerator &rGen)

vGenerator &	operator= (const vGenerator &rOtherGen)

virtual void	Version (const std::string &rVersion, vGenerator &rResGen) const

virtual void	Version (Idx version, vGenerator &rResGen) const

virtual void	Version (const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) const

void	ClearStates (void)

Idx	AlphabetSize (void) const

Idx	Size (void) const

Idx	TransRelSize (void) const

Idx	InitStatesSize (void) const

Idx	MarkedStatesSize (void) const

bool	Empty (void) const

bool	AlphabetEmpty (void) const

bool	TransRelEmpty (void) const

bool	InitStatesEmpty (void) const

bool	MarkedStatesEmpty (void) const

SymbolTable *	EventSymbolTablep (void) const

virtual void	EventSymbolTablep (SymbolTable *pSymTab)

virtual void	EventSymbolTablep (const vGenerator &rOtherGen)

EventSet	NewEventSet (void) const

EventSet *	NewEventSetp (void) const

Idx	EventIndex (const std::string &rName) const

std::string	EventName (Idx index) const

void	EventName (Idx index, const std::string &rName)

std::string	UniqueEventName (const std::string &rName) const

bool	EventRename (Idx event, const std::string &rNewName)

bool	EventRename (const std::string &rOldName, const std::string &rNewName)

const SymbolTable &	StateSymbolTable (void) const

void	StateSymbolTable (const SymbolTable &rSymTab)

Idx	StateIndex (const std::string &rName) const

std::string	StateName (Idx index) const

void	StateName (Idx index, const std::string &rName)

void	ClearStateNames (void)

void	ClrStateName (Idx index)

void	ClrStateName (const std::string &rName)

bool	StateNamesEnabled (void) const

void	StateNamesEnabled (bool flag)

void	SetDefaultStateNames (void)

void	EnforceStateNames (const std::string &rTemplate)

std::string	UniqueStateName (const std::string &rName) const

EventSet::Iterator	AlphabetBegin (void) const

EventSet::Iterator	AlphabetEnd (void) const

bool	ExistsEvent (Idx index) const

bool	ExistsEvent (const std::string &rName) const

EventSet::Iterator	FindEvent (Idx index) const

EventSet::Iterator	FindEvent (const std::string &rName) const

const EventSet &	Alphabet (void) const

StateSet::Iterator	StatesBegin (void) const

StateSet::Iterator	StatesEnd (void) const

bool	ExistsState (Idx index) const

bool	ExistsState (const std::string &name) const

StateSet::Iterator	FindState (Idx index) const

StateSet::Iterator	FindState (const std::string &rName) const

const StateSet &	States (void) const

Idx	InitState (void) const

StateSet::Iterator	InitStatesBegin (void) const

StateSet::Iterator	InitStatesEnd (void) const

bool	ExistsInitState (Idx index) const

StateSet::Iterator	FindInitState (Idx index) const

const StateSet &	InitStates (void) const

StateSet::Iterator	MarkedStatesBegin (void) const

StateSet::Iterator	MarkedStatesEnd (void) const

bool	ExistsMarkedState (Idx index) const

StateSet::Iterator	FindMarkedState (Idx index) const

const StateSet &	MarkedStates (void) const

TransSet::Iterator	TransRelBegin (void) const

TransSet::Iterator	TransRelEnd (void) const

TransSet::Iterator	TransRelBegin (Idx x1) const

TransSet::Iterator	TransRelEnd (Idx x1) const

TransSet::Iterator	TransRelBegin (Idx x1, Idx ev) const

TransSet::Iterator	TransRelEnd (Idx x1, Idx ev) const

TransSet::Iterator	FindTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const

TransSet::Iterator	FindTransition (Idx x1, Idx ev, Idx x2) const

TransSet::Iterator	FindTransition (const Transition &rTrans) const

bool	ExistsTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const

bool	ExistsTransition (Idx x1, Idx ev, Idx x2) const

bool	ExistsTransition (const Transition &rTrans) const

bool	ExistsTransition (Idx x1, Idx ev) const

bool	ExistsTransition (Idx x1) const

const TransSet &	TransRel (void) const

void	TransRel (TransSetX1EvX2 &res) const

void	TransRel (TransSetEvX1X2 &res) const

void	TransRel (TransSetEvX2X1 &res) const

void	TransRel (TransSetX2EvX1 &res) const

void	TransRel (TransSetX2X1Ev &res) const

void	TransRel (TransSetX1X2Ev &res) const

Transition	TransitionByNames (const std::string &rX1, const std::string &rEv, const std::string &rX2) const

bool	InsEvent (Idx index)

Idx	InsEvent (const std::string &rName)

void	InsEvents (const EventSet &events)

bool	DelEvent (Idx index)

bool	DelEvent (const std::string &rName)

void	DelEvents (const EventSet &rEvents)

bool	DelEventFromAlphabet (Idx index)

void	InjectAlphabet (const EventSet &rNewalphabet)

virtual void	RestrictAlphabet (const EventSet &rNewalphabet)

Idx	InsState (void)

bool	InsState (Idx index)

Idx	InsState (const std::string &rName)

void	InsStates (const StateSet &rStates)

bool	DelState (Idx index)

bool	DelState (const std::string &rName)

void	DelStates (const StateSet &rDelStates)

bool	DelStateFromStates (Idx index)

StateSet::Iterator	DelStateFromStates (StateSet::Iterator pos)

virtual void	RestrictStates (const StateSet &rStates)

void	InjectState (Idx index)

void	InjectStates (const StateSet &rNewStates)

Idx	InsInitState (void)

bool	InsInitState (Idx index)

Idx	InsInitState (const std::string &rName)

void	InsInitStates (const StateSet &rStates)

Idx	InsMarkedState (void)

bool	InsMarkedState (Idx index)

Idx	InsMarkedState (const std::string &rName)

void	InsMarkedStates (const StateSet &rStates)

void	SetInitState (Idx index)

void	SetInitState (const std::string &rName)

void	InjectInitStates (const StateSet &rNewInitStates)

void	ClrInitState (Idx index)

void	ClrInitState (const std::string &rName)

StateSet::Iterator	ClrInitState (StateSet::Iterator pos)

void	ClearInitStates (void)

void	SetMarkedState (Idx index)

void	SetMarkedState (const std::string &rName)

void	ClrMarkedState (Idx index)

void	ClrMarkedState (const std::string &rName)

StateSet::Iterator	ClrMarkedState (StateSet::Iterator pos)

void	ClearMarkedStates (void)

void	InjectMarkedStates (const StateSet &rNewMarkedStates)

bool	SetTransition (Idx x1, Idx ev, Idx x2)

bool	SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2)

bool	SetTransition (const Transition &rTransition)

void	ClrTransition (Idx x1, Idx ev, Idx x2)

void	ClrTransition (const Transition &rTrans)

TransSet::Iterator	ClrTransition (TransSet::Iterator it)

void	ClrTransitions (Idx x1, Idx ev)

void	ClrTransitions (Idx x1)

void	ClearTransRel (void)

void	InjectTransition (const Transition &rTrans)

void	InjectTransRel (const TransSet &rNewtransrel)

virtual void	ClearAttributes (void)

virtual bool	UpdateAttributes (void)

virtual void	ClearEventAttributes (void)

virtual void	ClrEventAttribute (Idx index)

virtual void	EventAttributes (const EventSet &rEventSet)

virtual void	ClearStateAttributes (void)

virtual void	ClrStateAttribute (Idx index)

virtual void	ClearTransAttributes (void)

virtual void	ClrTransAttribute (const Transition &rTrans)

virtual void	ClearGlobalAttribute (void)

virtual void	GlobalAttributeTry (const Type &rAttr)

StateSet	AccessibleSet (void) const

bool	Accessible (void)

bool	IsAccessible (void) const

StateSet	CoaccessibleSet (void) const

bool	Coaccessible (void)

bool	IsCoaccessible (void) const

StateSet	BlockingStates (void) const

StateSet	TerminalStates (void) const

StateSet	TerminalStates (const StateSet &rStates) const

bool	IsComplete (void) const

bool	IsComplete (const StateSet &rStates) const

bool	IsComplete (const EventSet &rSigmaO) const

bool	Complete (void)

bool	Complete (const EventSet &rSigmaO)

StateSet	TrimSet (void) const

bool	Trim (void)

bool	IsTrim (void) const

EventSet	UsedEvents (void) const

EventSet	UnusedEvents (void) const

void	MinimizeAlphabet (void)

EventSet	ActiveEventSet (Idx x1) const

TransSet	ActiveTransSet (Idx x1) const

StateSet	TransRelStates (void) const

Idx	SuccessorState (Idx x1, Idx ev) const

StateSet	SuccessorStates (Idx x1) const

StateSet	SuccessorStates (Idx x1, Idx ev) const

bool	IsDeterministic (void) const

void	SetMinStateIndexMap (void) const

void	ClearMinStateIndexMap (void) const

Idx	MinStateIndex (Idx index) const

void	MinStateIndex (void)

Idx	MaxStateIndex (void) const

const std::map< Idx, Idx > &	MinStateIndexMap (void) const

std::string	EStr (Idx index) const

std::string	SStr (Idx index) const

std::string	TStr (const Transition &rTrans) const

void	GraphWrite (const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") const

bool	operator< (const vGenerator &rOtherGen) const

void	WriteAlphabet (void) const

std::string	AlphabetToString (void) const

void	WriteAlphabet (TokenWriter &rTw) const

void	WriteStateSet (const StateSet &rStateSet) const

std::string	StateSetToString (const StateSet &rStateSet) const

std::string	StateSetToText (const StateSet &rStateSet) const

void	WriteStateSet (TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") const

void	XWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") const

void	DWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const

std::string	StatesToString (void) const

std::string	StatesToText (void) const

std::string	MarkedStatesToString (void) const

std::string	InitStatesToString (void) const

void	WriteTransRel (void) const

std::string	TransRelToString (void) const

std::string	TransRelToText (void) const

void	WriteTransRel (TokenWriter &rTw) const

void	DWriteTransRel (TokenWriter &rTw) const

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

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

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

void	ReadStateSet (TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const

bool	ReindexOnWrite (void) const

void	ReindexOnWrite (bool flag)

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)

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 TpGenerator &rSrc)

bool	DoEqual (const TpGenerator &rOther) const

Protected Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
virtual void	NewCore (void)

virtual void	UpdateCore (void)

void	DoAssign (const TaGenerator &rGen)

Protected Member Functions inherited from faudes::vGenerator
virtual void	DeleteCore (void)

void	ConfigureAttributeTypes (const AttributeVoid pNewGlobalPrototype, const StateSet pNewStatesPrototype, const EventSet pNewAlphabetPrototype, const TransSet pNewTransRelPrototype)

void	DoAssign (const vGenerator &rSrc)

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	DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

virtual void	DoSWrite (TokenWriter &rTw) const

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

void	ReadAlphabet (TokenReader &rTr)

void	WriteStates (TokenWriter &rTw) const

void	ReadStates (TokenReader &rTr)

void	XReadStateSet (TokenReader &rTr, StateSet &rStateSet, const std::string &rLabel="") const

void	ReadTransRel (const std::string &rFileName)

void	ReadTransRel (TokenReader &rTr)

void	XReadTransRel (TokenReader &rTr)

void	XWriteTransRel (TokenWriter &rTw) 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

Protected Attributes
Idx	mPLowest = 0

Idx	mPHighest = 0

Protected Attributes inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TaNameSet< EventAttr > *	pAlphabet

TaIndexSet< StateAttr > *	pStates

ATransSet *	pTransRel

GlobalAttr *	pGlobalAttribute

Protected Attributes inherited from faudes::vGenerator
Idx	mId

SymbolTable	mStateSymbolTable

SymbolTable *	mpStateSymbolTable

SymbolTable *	mpEventSymbolTable

bool	mStateNamesEnabled

bool	mReindexOnWrite

EventSet *	mpAlphabet

StateSet *	mpStates

TransSet *	mpTransRel

AttributeVoid *	mpGlobalAttribute

const EventSet *	pAlphabetPrototype

const StateSet *	pStatesPrototype

const TransSet *	pTransRelPrototype

const AttributeVoid *	pGlobalPrototype

StateSet	mInitStates

StateSet	mMarkedStates

std::map< Idx, Idx >	mMinStateIndexMap

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

std::string	mElementTagDef

std::string	mObjectName

Additional Inherited Members
Public Types inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
typedef TaTransSet< TransAttr >	ATransSet

Static Public Member Functions inherited from faudes::vGenerator
static SymbolTable *	GlobalEventSymbolTablep (void)

static void	StateNamesEnabledDefault (bool flag)

static void	ReindexOnWriteDefault (bool flag)

static bool	ReindexOnWriteDefault (void)

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

Static Protected Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
static const TaNameSet< EventAttr > &	AlphabetTaGen (void)

static const TaIndexSet< StateAttr > &	StatesTaGen (void)

static const ATransSet &	TransRelTaGen (void)

static const GlobalAttr &	GlobalTaGen (void)

Static Protected Member Functions inherited from faudes::vGenerator
static const EventSet &	AlphabetVoid (void)

static const StateSet &	StatesVoid (void)

static const TransSet &	TransRelVoid (void)

static const AttributeVoid &	GlobalVoid (void)

Static Protected Attributes inherited from faudes::vGenerator
static Idx	msObjectCount = 0

static bool	msStateNamesEnabledDefault = true

static bool	msReindexOnWriteDefault = false

Constructor & Destructor Documentation

◆ TpGenerator() [1/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TpGenerator ( void )

Creates an emtpy PrioritisedSystem object

Definition at line 410 of file pev_pgenerator.h.

◆ TpGenerator() [2/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TpGenerator ( const vGenerator & rOtherGen )

PrioritisedSystem from a std Generator. Copy constructor

Parameters

rOtherGen

Definition at line 428 of file pev_pgenerator.h.

◆ TpGenerator() [3/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TpGenerator ( const TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & rOtherGen )

PriositisedSystem from a PriositisedSystem. Copy constructor

Parameters

rOtherGen

Definition at line 418 of file pev_pgenerator.h.

◆ TpGenerator() [4/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TpGenerator ( const std::string & rFileName )

Construct from file

Parameters

rFileName Filename

Exceptions

Exception If opening/reading fails an Exception object is thrown (id 1, 50, 51)

Definition at line 438 of file pev_pgenerator.h.

Member Function Documentation

◆ Assign()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Assign ( const Type & rSource )

virtual

Assignment method

Note: you must reimplement this method in derived classes in order to handle internal pointers correctly

Parameters

rSource Other generator

Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 464 of file pev_pgenerator.h.

◆ Cast()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

virtual const Type* faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Cast ( const Type * pOther ) const

inlinevirtual

Type test. Uses C++ dynamic cast to test whether the specified object casts to a Priositised System.

Parameters

pOther poinetr to object to test

Returns: TpGenerator reference if dynamic cast succeeds, else NULL

Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 200 of file pev_pgenerator.h.

◆ Clear()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Clear ( void )

virtual

Clear (mandatory for serialisation)

Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 501 of file pev_pgenerator.h.

◆ Copy()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy ( void ) const

virtual

Construct copy on heap

Returns: new Generator

Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 493 of file pev_pgenerator.h.

◆ DoAssign()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DoAssign ( const TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & rSrc )

protected

need to reimplement to care about additional members

Definition at line 447 of file pev_pgenerator.h.

◆ DoEqual()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

bool faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DoEqual ( const TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & rOther ) const

protected

need to reimplement to care about additional members

◆ Fairness() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Fairness ( const FairnessConstraints & rFair )

Set fairness constraints

Parameters

fairness constraints

Definition at line 586 of file pev_pgenerator.h.

◆ Fairness() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

FairnessConstraints faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Fairness ( void ) const

Get fairness constraints

Returns: vector of fainess eventsets

Definition at line 581 of file pev_pgenerator.h.

◆ HighestPriority() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::HighestPriority ( const Idx rPriority )

Get highest priority Note: this is a dumb member – you need to set it programatically

Returns: highest priority

Definition at line 576 of file pev_pgenerator.h.

◆ HighestPriority() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::HighestPriority ( void ) const

Set highest priority Note: this is a dumb member – you need to set it programatically

Parameters

highest priority

Definition at line 571 of file pev_pgenerator.h.

◆ LowestPriority() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::LowestPriority ( const Idx rPriority )

Set lowest priority Note: this is a dumb member – you need to set it programatically

Parameters

lowest priority

Definition at line 566 of file pev_pgenerator.h.

◆ LowestPriority() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::LowestPriority ( void ) const

Get lowest priority Note: this is a dumb member – you need to set it programatically

Returns: lowest priority

Definition at line 561 of file pev_pgenerator.h.

◆ New()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::New ( void ) const

virtual

Construct on heap

Returns: new Generator

Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 482 of file pev_pgenerator.h.

◆ NewPGen()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TpGenerator faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewPGen ( void ) const

Construct on stack

Returns: new Generator

◆ operator=()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= ( const TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & rOtherGen )

Assignment operator (uses Assign)

Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly

Parameters

rOtherGen Other generator

Definition at line 457 of file pev_pgenerator.h.

◆ Priorities() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Priorities ( const TpEventSet< EventAttr > & rOtherSet )

Set Priorities from other prioritised event set

Parameters

rOtherSet set to get priorities from

Definition at line 537 of file pev_pgenerator.h.

◆ Priorities() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

EventPriorities faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Priorities ( void ) const

Get Priorities

Definition at line 549 of file pev_pgenerator.h.

◆ Priority() [1/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Priority ( const Idx index ) const

Get priority by event index

Parameters

index Event index

Returns: Priority of specified event

Definition at line 517 of file pev_pgenerator.h.

◆ Priority() [2/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Priority	(	const Idx	index,
		const Idx	prio
	)

Set priority by event index

Parameters

index	Specify event
prio	Specify priority

Definition at line 527 of file pev_pgenerator.h.

◆ Priority() [3/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Priority ( const std::string & rName ) const

Get priority by event name

Parameters

rName Event name

Returns: Priority of specified event

Definition at line 522 of file pev_pgenerator.h.

◆ Priority() [4/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Priority	(	const std::string &	rName,
		const Idx	prio
	)

Set priority by event name

Parameters

rName	Specify event
prio	Specify priority

Definition at line 532 of file pev_pgenerator.h.

Member Data Documentation

◆ mPHighest

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::mPHighest = 0

protected

highest priority value of globally all events (not only my alphabet).

Definition at line 368 of file pev_pgenerator.h.

◆ mPLowest

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::mPLowest = 0

protected

lowest priority value of globally all events (not only my alphabet).

Definition at line 363 of file pev_pgenerator.h.

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

pev_pgenerator.h

Detailed Description

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> class faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

Overview

Public Member Functions

Protected Member Functions

Protected Attributes

Additional Inherited Members

Constructor & Destructor Documentation

◆ TpGenerator() [1/4]

◆ TpGenerator() [2/4]

◆ TpGenerator() [3/4]

◆ TpGenerator() [4/4]

Member Function Documentation

◆ Assign()

◆ Cast()

◆ Clear()

◆ Copy()

◆ DoAssign()

◆ DoEqual()

◆ Fairness() [1/2]

◆ Fairness() [2/2]

◆ HighestPriority() [1/2]

◆ HighestPriority() [2/2]

◆ LowestPriority() [1/2]

◆ LowestPriority() [2/2]

◆ New()

◆ NewPGen()

◆ operator=()

◆ Priorities() [1/2]

◆ Priorities() [2/2]

◆ Priority() [1/4]

◆ Priority() [2/4]

◆ Priority() [3/4]

◆ Priority() [4/4]

Member Data Documentation

◆ mPHighest

◆ mPLowest

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
class faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >