|
|
||||||
|
faudes::AttributeLhaState Class Reference
Detailed DescriptionLinear hybrid automata state attribute with invariant, rates and optional initial state constraint. All enteties are represented by polyherda. The initial state constraints apply when the respective location is set up as a discrete initial state. <> Definition at line 144 of file hyb_attributes.h. Constructor & Destructor Documentation◆ AttributeLhaState()
Constructor Definition at line 151 of file hyb_attributes.h. Member Function Documentation◆ DoAssign()
Assignment method.
Definition at line 95 of file hyb_attributes.cpp. ◆ DoEqual()
Test eaulity.
Definition at line 106 of file hyb_attributes.cpp. ◆ DoRead()
Reads the attribute from TokenReader, see AttributeVoid for public wrappers. If the current token indicates a hybrid systems parameter section, the method reads the parameters 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 Invariant.
Reimplemented from faudes::AttributeFlags. Definition at line 137 of file hyb_attributes.cpp. ◆ DoWrite()
Writes the attribute to TokenWriter, see AttributeVoid for public wrappers. Writes a hybrid system parameter section to include data on the invariant. The label argument can be used to set a section label different the the default LhaState. The context argument is ignored.
Reimplemented from faudes::AttributeFlags. Definition at line 119 of file hyb_attributes.cpp. ◆ DoXWrite()
Writes the attribute to TokenWriter, see AttributeVoid for public wrappers. Same as DoWrite but in strict XML format.
Reimplemented from faudes::AttributeFlags. Definition at line 124 of file hyb_attributes.cpp. ◆ IsDefault()
Test for default value (never)
Reimplemented from faudes::AttributeFlags. Definition at line 159 of file hyb_attributes.h. Member Data Documentation◆ mInitialConstraint
Initial state constraint Definition at line 165 of file hyb_attributes.h. ◆ mInvariant
Invariant Definition at line 162 of file hyb_attributes.h. ◆ mRate
Rate Definition at line 168 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 |