#include <hyb_attributes.h>

Public Member Functions

 AttributeLhaTrans (void)
 
virtual bool IsDefault (void) const
 
- Public Member Functions inherited from faudes::AttributeFlags
 AttributeFlags (void)
 
 AttributeFlags (const AttributeFlags &rOther)
 
virtual ~AttributeFlags (void)
 
bool Test (fType mask) const
 
bool TestAll (fType mask) const
 
bool TestSome (fType mask) const
 
bool TestNone (fType mask) const
 
void Set (fType mask)
 
void Clr (fType mask)
 
Typeoperator= (const Type &rSrc)
 
bool operator== (const Type &rOther) const
 
bool operator!= (const Type &rOther) 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)
 
Typeoperator= (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 TypeNew (void) const
 
virtual TypeCopy (void) const
 
virtual const TypeCast (const Type *pOther) const
 
virtual TypeAssign (const Type &rSrc)
 
Typeoperator= (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 mGuard
 
LinearRelation mReset
 
- Public Attributes inherited from faudes::AttributeFlags
fType mFlags
 

Protected Member Functions

AttributeLhaTransDoAssign (const AttributeLhaTrans &rSrcAttr)
 
bool DoEqual (const AttributeLhaTrans &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
 
- Protected Member Functions inherited from faudes::AttributeFlags
void DoAssign (const AttributeFlags &rSrcAttr)
 
bool DoEqual (const AttributeFlags &rOther) 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 DoSWrite (TokenWriter &rTw) const
 
virtual const TypeDefinitionTypeDefinitionp (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)
 
- Static Public Attributes inherited from faudes::AttributeFlags
static const fType mDefFlags =0x0
 

Detailed Description

Linear hybrid automata transition attribute with guard and resets. The guard condition is represented by a Polyhedron, the reset by a LinearRelation. This is a cheap container, both parameters can be directly accessed as public members mGuard and mReset.

<>

Definition at line 29 of file hyb_attributes.h.

Constructor & Destructor Documentation

◆ AttributeLhaTrans()

faudes::AttributeLhaTrans::AttributeLhaTrans ( void  )
inline

Constructor

Definition at line 36 of file hyb_attributes.h.

Member Function Documentation

◆ DoAssign()

AttributeLhaTrans & faudes::AttributeLhaTrans::DoAssign ( const AttributeLhaTrans rSrcAttr)
protected

Assignment method.

Parameters
rSrcAttrSource to assign from

Definition at line 26 of file hyb_attributes.cpp.

◆ DoEqual()

bool faudes::AttributeLhaTrans::DoEqual ( const AttributeLhaTrans rOther) const
protected

Test eaulity. Note: this test refers to the parametrisation as opposed to the relevant polyhedra.

Parameters
rOtherOther attribute to compare with.

Definition at line 36 of file hyb_attributes.cpp.

◆ DoRead()

void faudes::AttributeLhaTrans::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 guard and reset 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 Timing.

Parameters
rTrTokenReader to read from
rLabelSection to read
pContextRead context to provide contextual information
Exceptions
Exception
  • IO error (id 1)

Reimplemented from faudes::AttributeFlags.

Definition at line 66 of file hyb_attributes.cpp.

◆ DoWrite()

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

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

Writes a hybrid systems parameter section to include data on the guard and resets. The label argument can be used to set a section label different the the default LhaTransition. The context argument is ignored.

Parameters
rTwTokenWriter to write to
rLabelSection to write
pContextWrite context to provide contextual information
Exceptions
Exception
  • IO error (id 2)

Reimplemented from faudes::AttributeFlags.

Definition at line 48 of file hyb_attributes.cpp.

◆ DoXWrite()

void faudes::AttributeLhaTrans::DoXWrite ( TokenWriter rTw,
const std::string &  rLabel = "",
const Type pContext = 0 
) const
protectedvirtual

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

Same as DoWrite but un strict XML format.

Parameters
rTwTokenWriter to write to
rLabelSection to write
pContextWrite context to provide contextual information
Exceptions
Exception
  • IO error (id 2)

Reimplemented from faudes::AttributeFlags.

Definition at line 53 of file hyb_attributes.cpp.

◆ IsDefault()

virtual bool faudes::AttributeLhaTrans::IsDefault ( void  ) const
inlinevirtual

Test for default value. True for no guard restriction and identity reset.

Returns
True for default value

Reimplemented from faudes::AttributeFlags.

Definition at line 45 of file hyb_attributes.h.

Member Data Documentation

◆ mGuard

Polyhedron faudes::AttributeLhaTrans::mGuard

Guard

Definition at line 49 of file hyb_attributes.h.

◆ mReset

LinearRelation faudes::AttributeLhaTrans::mReset

Resets

Definition at line 52 of file hyb_attributes.h.


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

libFAUDES 2.33c --- 2025.05.15 --- c++ api documentaion by doxygen