|
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.
#include <hyb_attributes.h>
|
| AttributeLhaGlobal (void) |
|
virtual bool | IsDefault (void) const |
|
| 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) |
|
◆ AttributeLhaGlobal()
faudes::AttributeLhaGlobal::AttributeLhaGlobal |
( |
void |
| ) |
|
|
inline |
◆ DoAssign()
Assignment method.
- Parameters
-
rSrcAttr | Source to assign from |
Definition at line 177 of file hyb_attributes.cpp.
◆ DoEqual()
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
-
Reimplemented from faudes::Type.
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
-
Reimplemented from faudes::Type.
Definition at line 194 of file hyb_attributes.cpp.
◆ IsDefault()
virtual bool faudes::AttributeLhaGlobal::IsDefault |
( |
void |
| ) |
const |
|
inlinevirtual |
◆ mStateSpace
Polyhedron faudes::AttributeLhaGlobal::mStateSpace |
The documentation for this class was generated from the following files:
libFAUDES 2.33h
--- 2025.06.18
--- c++ api documentaion by doxygen
|