faudes::LhaCompatibleStates Class Reference

Detailed Description

Definition at line 227 of file hyb_experiment.h.

#include <hyb_experiment.h>

Public Member Functions
	LhaCompatibleStates (const LinearHybridAutomaton &lha)
virtual	~LhaCompatibleStates (void)
virtual void	InitialiseFull ()
virtual void	InitialiseConstraint ()
virtual void	ExecuteTransitions (void)
virtual LhaCompatibleStates *	TakeByEvent (Idx ev)
virtual void	DWrite (void) const
virtual const int	Cost (void)
const HybridStateSet *	States (void) const
Public Member Functions inherited from faudes::CompatibleStates
	CompatibleStates (void)
virtual	~CompatibleStates (void)

Protected Attributes
const LinearHybridAutomaton &	rLha
HybridStateSet *	mpStates
std::map< Idx, HybridStateSet * >	mHybridReachSets
int	mCnt

Constructor & Destructor Documentation

LhaCompatibleStates()

LhaCompatibleStates::LhaCompatibleStates

(

const LinearHybridAutomaton &

lha

)

Definition at line 416 of file hyb_experiment.cpp.

~LhaCompatibleStates()

LhaCompatibleStates::~LhaCompatibleStates ( void  )

virtual

Definition at line 422 of file hyb_experiment.cpp.

Member Function Documentation

Cost()

virtual const int faudes::LhaCompatibleStates::Cost ( void  )

inlinevirtual

Reimplemented from faudes::CompatibleStates.

Definition at line 236 of file hyb_experiment.h.

DWrite()

void LhaCompatibleStates::DWrite ( void  ) const

virtual

Implements faudes::CompatibleStates.

Definition at line 475 of file hyb_experiment.cpp.

ExecuteTransitions()

void LhaCompatibleStates::ExecuteTransitions ( void  )

virtual

Implements faudes::CompatibleStates.

Definition at line 457 of file hyb_experiment.cpp.

InitialiseConstraint()

void LhaCompatibleStates::InitialiseConstraint ( void  )

virtual

Implements faudes::CompatibleStates.

Definition at line 442 of file hyb_experiment.cpp.

InitialiseFull()

void LhaCompatibleStates::InitialiseFull ( void  )

virtual

Implements faudes::CompatibleStates.

Definition at line 432 of file hyb_experiment.cpp.

States()

const HybridStateSet * faudes::LhaCompatibleStates::States ( void  ) const

inline

Definition at line 237 of file hyb_experiment.h.

TakeByEvent()

LhaCompatibleStates * LhaCompatibleStates::TakeByEvent ( Idx  ev )

virtual

Implements faudes::CompatibleStates.

Definition at line 463 of file hyb_experiment.cpp.

Member Data Documentation

mCnt

int faudes::LhaCompatibleStates::mCnt

protected

Definition at line 242 of file hyb_experiment.h.

mHybridReachSets

std::map<Idx, HybridStateSet*> faudes::LhaCompatibleStates::mHybridReachSets

protected

Definition at line 241 of file hyb_experiment.h.

mpStates

HybridStateSet* faudes::LhaCompatibleStates::mpStates

protected

Definition at line 240 of file hyb_experiment.h.

rLha

const LinearHybridAutomaton& faudes::LhaCompatibleStates::rLha

protected

Definition at line 239 of file hyb_experiment.h.

---

The documentation for this class was generated from the following files:

• hyb_experiment.h
• hyb_experiment.cpp