#include <hyb_attributes.h>

Public Member Functions

 AttributeLhaState (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 mInvariant
 
Polyhedron mInitialConstraint
 
Polyhedron mRate
 
- Public Attributes inherited from faudes::AttributeFlags
fType mFlags
 

Protected Member Functions

AttributeLhaStateDoAssign (const AttributeLhaState &rSrcAttr)
 
bool DoEqual (const AttributeLhaState &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 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()

faudes::AttributeLhaState::AttributeLhaState ( void  )
inline

Constructor

Definition at line 151 of file hyb_attributes.h.

Member Function Documentation

◆ DoAssign()

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

Assignment method.

Parameters
rSrcAttrSource to assign from

Definition at line 95 of file hyb_attributes.cpp.

◆ DoEqual()

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

Test eaulity.

Parameters
rOtherOther attribute to compare with.

Definition at line 106 of file hyb_attributes.cpp.

◆ DoRead()

void faudes::AttributeLhaState::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 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.

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 137 of file hyb_attributes.cpp.

◆ DoWrite()

void faudes::AttributeLhaState::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 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.

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 119 of file hyb_attributes.cpp.

◆ DoXWrite()

void faudes::AttributeLhaState::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 in 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 124 of file hyb_attributes.cpp.

◆ IsDefault()

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

Test for default value (never)

Returns
True for default value

Reimplemented from faudes::AttributeFlags.

Definition at line 159 of file hyb_attributes.h.

Member Data Documentation

◆ mInitialConstraint

Polyhedron faudes::AttributeLhaState::mInitialConstraint

Initial state constraint

Definition at line 165 of file hyb_attributes.h.

◆ mInvariant

Polyhedron faudes::AttributeLhaState::mInvariant

Invariant

Definition at line 162 of file hyb_attributes.h.

◆ mRate

Polyhedron faudes::AttributeLhaState::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