|
|
||||||
|
faudes::AttributeLhaTrans Class Reference
Detailed DescriptionLinear 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()
Constructor Definition at line 36 of file hyb_attributes.h. Member Function Documentation◆ DoAssign()
Assignment method.
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.
Definition at line 36 of file hyb_attributes.cpp. ◆ DoRead()
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.
Reimplemented from faudes::AttributeFlags. Definition at line 66 of file hyb_attributes.cpp. ◆ DoWrite()
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.
Reimplemented from faudes::AttributeFlags. Definition at line 48 of file hyb_attributes.cpp. ◆ DoXWrite()
Writes the attribute to TokenWriter, see AttributeVoid for public wrappers. Same as DoWrite but un strict XML format.
Reimplemented from faudes::AttributeFlags. Definition at line 53 of file hyb_attributes.cpp. ◆ IsDefault()
Test for default value. True for no guard restriction and identity reset.
Reimplemented from faudes::AttributeFlags. Definition at line 45 of file hyb_attributes.h. Member Data Documentation◆ mGuard
Guard Definition at line 49 of file hyb_attributes.h. ◆ 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 |