faudes::AttributeLhaGlobal Class Reference

#include <hyb_attributes.h>

Public Member Functions
	AttributeLhaGlobal (void)
virtual bool	IsDefault (void) const
Public Member Functions inherited from faudes::AttributeVoid
	AttributeVoid (void)
	AttributeVoid (const AttributeVoid &rSrcAttr)
virtual	~AttributeVoid (void)
virtual void	SetDefault (void)
virtual void	Clear (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
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
Polyhedron	mStateSpace

Protected Member Functions
AttributeLhaGlobal &	DoAssign (const AttributeLhaGlobal &rSrcAttr)
bool	DoEqual (const AttributeLhaGlobal &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
Protected Member Functions inherited from faudes::AttributeVoid
void	DoAssign (const AttributeVoid &rSrcAttr)
bool	DoEqual (const AttributeVoid &rOther) const
virtual void	DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
Protected Member Functions inherited from faudes::Type
void	DoAssign (const Type &rSrc)
bool	DoEqual (const Type &rOther) const
virtual void	DoXWrite (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

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

Detailed Description

Linear hybrid automata globat attribute to specify the overall state space. All invariants are interpreted as intersection with the global state space.

<>

Definition at line 260 of file hyb_attributes.h.

Constructor & Destructor Documentation

AttributeLhaGlobal()

faudes::AttributeLhaGlobal::AttributeLhaGlobal ( void  )

inline

Constructor

Definition at line 267 of file hyb_attributes.h.

Member Function Documentation

DoAssign()

AttributeLhaGlobal & faudes::AttributeLhaGlobal::DoAssign ( const AttributeLhaGlobal &  rSrcAttr )

protected

Assignment method.

Parameters

rSrcAttr

Source to assign from

Definition at line 177 of file hyb_attributes.cpp.

DoEqual()

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

protected

Test eaulity. Note: the test refers to the parametrisation.

Parameters

rOther

Other attribute to compare with.

Definition at line 186 of file hyb_attributes.cpp.

DoRead()

void faudes::AttributeLhaGlobal::DoRead ( TokenReader &  rTr, const std::string &  rLabel = "", const Type *  pContext = 0  )

protectedvirtual

Reads the attribute from TokenReader, see AttributeVoid for public wrappers.

If the current token indicates a hybrid system parameter section, the method reads the global data from that section. Else, it does nothing. Exceptions may only be thrown on invalid data within the parameter section. The context argument is ignored, the label argument can be used to override the default section name Clocks.

Parameters

rTr	TokenReader to read from
rLabel	Section to read
pContext	Read context to provide contextual information

Exceptions

Exception

IO error (id 1)

Reimplemented from faudes::AttributeVoid.

Definition at line 204 of file hyb_attributes.cpp.

DoWrite()

void faudes::AttributeLhaGlobal::DoWrite ( TokenWriter &  rTw, const std::string &  rLabel = "", const Type *  pContext = 0  ) const

protectedvirtual

Writes the attribute to TokenWriter, see AttributeVoid for public wrappers.

Writes hybrid automata global data. The label argument can be used to set a section label different the the default LhaGlobal. The context argument is ignored.

Parameters

rTw	TokenWriter to write to
rLabel	Section to write
pContext	Write context to provide contextual information

Exceptions

Exception

IO error (id 2)

Reimplemented from faudes::AttributeVoid.

Definition at line 194 of file hyb_attributes.cpp.

IsDefault()

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

inlinevirtual

Test for default value (never)

Returns

True for default value

Reimplemented from faudes::AttributeVoid.

Definition at line 275 of file hyb_attributes.h.

Member Data Documentation

mStateSpace

Polyhedron faudes::AttributeLhaGlobal::mStateSpace

Continuous states

Definition at line 278 of file hyb_attributes.h.

---

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

• hyb_attributes.h
• hyb_attributes.cpp