|
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.
#include <hyb_attributes.h>
|
| AttributeLhaTrans (void) |
|
virtual bool | IsDefault (void) const |
|
| 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) |
|
| 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 |
|
| 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 void | Clear (void) |
|
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) |
|
◆ AttributeLhaTrans()
faudes::AttributeLhaTrans::AttributeLhaTrans |
( |
void |
| ) |
|
|
inline |
◆ DoAssign()
Assignment method.
- Parameters
-
rSrcAttr | Source to assign from |
Definition at line 26 of file hyb_attributes.cpp.
◆ DoEqual()
Test eaulity. Note: this test refers to the parametrisation as opposed to the relevant polyhedra.
- Parameters
-
rOther | Other 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
-
rTr | TokenReader to read from |
rLabel | Section to read |
pContext | Read context to provide contextual information |
- Exceptions
-
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
-
rTw | TokenWriter to write to |
rLabel | Section to write |
pContext | Write context to provide contextual information |
- Exceptions
-
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
-
rTw | TokenWriter to write to |
rLabel | Section to write |
pContext | Write context to provide contextual information |
- Exceptions
-
Reimplemented from faudes::AttributeFlags.
Definition at line 53 of file hyb_attributes.cpp.
◆ IsDefault()
virtual bool faudes::AttributeLhaTrans::IsDefault |
( |
void |
| ) |
const |
|
inlinevirtual |
◆ mGuard
◆ mReset
The documentation for this class was generated from the following files:
libFAUDES 2.33h
--- 2025.06.18
--- c++ api documentaion by doxygen
|