faudes::CompatibleStates Class Reference

Detailed Description

Abstract dynamics operator, i.e., some set of states, that knows where it eveolves when it next triggers an event.

Technically, CompatibleStates provide a minimal interface that allows the Experiment to refine itself.

Definition at line 198 of file hyb_experiment.h.

#include <hyb_experiment.h>

Public Member Functions
	CompatibleStates (void)
virtual	~CompatibleStates (void)
virtual void	InitialiseFull (void)=0
virtual void	InitialiseConstraint (void)=0
virtual void	ExecuteTransitions (void)=0
virtual CompatibleStates *	TakeByEvent (Idx ev)=0
virtual void	DWrite (void) const =0
virtual const int	Cost (void)

Constructor & Destructor Documentation

CompatibleStates()

faudes::CompatibleStates::CompatibleStates ( void  )

inline

Definition at line 200 of file hyb_experiment.h.

~CompatibleStates()

virtual faudes::CompatibleStates::~CompatibleStates ( void  )

inlinevirtual

Definition at line 201 of file hyb_experiment.h.

Member Function Documentation

Cost()

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

inlinevirtual

Reimplemented in faudes::LhaCompatibleStates.

Definition at line 207 of file hyb_experiment.h.

DWrite()

virtual void faudes::CompatibleStates::DWrite ( void  ) const

pure virtual

Implemented in ExbCompatibleStates, faudes::LhaCompatibleStates, and faudes::DesCompatibleStates.

ExecuteTransitions()

virtual void faudes::CompatibleStates::ExecuteTransitions ( void  )

pure virtual

Implemented in ExbCompatibleStates, faudes::LhaCompatibleStates, and faudes::DesCompatibleStates.

InitialiseConstraint()

virtual void faudes::CompatibleStates::InitialiseConstraint ( void  )

pure virtual

Implemented in ExbCompatibleStates, faudes::LhaCompatibleStates, and faudes::DesCompatibleStates.

InitialiseFull()

virtual void faudes::CompatibleStates::InitialiseFull ( void  )

pure virtual

Implemented in ExbCompatibleStates, faudes::LhaCompatibleStates, and faudes::DesCompatibleStates.

TakeByEvent()

virtual CompatibleStates* faudes::CompatibleStates::TakeByEvent ( Idx  ev )

pure virtual

Implemented in ExbCompatibleStates, faudes::LhaCompatibleStates, and faudes::DesCompatibleStates.

---

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

• hyb_experiment.h