faudes::DesCompatibleStates Class Reference

Detailed Description

Definition at line 211 of file hyb_experiment.h.

#include <hyb_experiment.h>

Public Member Functions
	DesCompatibleStates (const Generator &gen)
virtual	~DesCompatibleStates (void)
virtual void	InitialiseFull ()
virtual void	InitialiseConstraint ()
virtual void	ExecuteTransitions (void)
virtual DesCompatibleStates *	TakeByEvent (Idx ev)
virtual void	DWrite (void) const
Public Member Functions inherited from faudes::CompatibleStates
	CompatibleStates (void)
virtual	~CompatibleStates (void)
virtual const int	Cost (void)

Protected Attributes
const Generator &	rGen
StateSet *	mpStates
std::map< Idx, StateSet * >	mReachSets

Constructor & Destructor Documentation

DesCompatibleStates()

DesCompatibleStates::DesCompatibleStates

(

const Generator &

gen

)

Definition at line 341 of file hyb_experiment.cpp.

~DesCompatibleStates()

DesCompatibleStates::~DesCompatibleStates ( void  )

virtual

Definition at line 346 of file hyb_experiment.cpp.

Member Function Documentation

DWrite()

void DesCompatibleStates::DWrite ( void  ) const

virtual

Implements faudes::CompatibleStates.

Definition at line 399 of file hyb_experiment.cpp.

ExecuteTransitions()

void DesCompatibleStates::ExecuteTransitions ( void  )

virtual

Implements faudes::CompatibleStates.

Definition at line 364 of file hyb_experiment.cpp.

InitialiseConstraint()

void DesCompatibleStates::InitialiseConstraint ( void  )

virtual

Implements faudes::CompatibleStates.

Definition at line 359 of file hyb_experiment.cpp.

InitialiseFull()

void DesCompatibleStates::InitialiseFull ( void  )

virtual

Implements faudes::CompatibleStates.

Definition at line 356 of file hyb_experiment.cpp.

TakeByEvent()

DesCompatibleStates * DesCompatibleStates::TakeByEvent ( Idx  ev )

virtual

Implements faudes::CompatibleStates.

Definition at line 386 of file hyb_experiment.cpp.

Member Data Documentation

mpStates

StateSet* faudes::DesCompatibleStates::mpStates

protected

Definition at line 222 of file hyb_experiment.h.

mReachSets

std::map<Idx, StateSet*> faudes::DesCompatibleStates::mReachSets

protected

Definition at line 223 of file hyb_experiment.h.

rGen

const Generator& faudes::DesCompatibleStates::rGen

protected

Definition at line 221 of file hyb_experiment.h.

---

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

• hyb_experiment.h
• hyb_experiment.cpp