Diades::Sdmdl::UnfoldingState Class Reference

#include <UnfoldingState.hh>

Public Member Functions
	UnfoldingState ()
bool	valid () const
	UnfoldingState (ComponentType &component)
	UnfoldingState (ComponentType &component, const Formula &f)
	UnfoldingState (const UnfoldingState &state)
void	trigger (Rule &rule, set< UnfoldingState > &targets)
virtual	~UnfoldingState ()
UnfoldingState &	operator= (const UnfoldingState &state)
bool	operator== (const UnfoldingState &state) const
string	label () const
const Formula &	formula () const
string	observableLabel () const
bool	satisfy (const Rule &rule)
bool	operator< (const UnfoldingState &state) const
int *	cube () const
int	cubeSize () const

Private Attributes
vector< Formula::ConstReference >	_assignment
ComponentType *	_comp
int *	_cube
int	_size

Friends
ostream &	operator<< (ostream &os, const UnfoldingState &state)

Detailed Description

Deprecated:

Definition at line 23 of file UnfoldingState.hh.

Constructor & Destructor Documentation

UnfoldingState() [1/4]

Diades::Sdmdl::UnfoldingState::UnfoldingState ( )

inline

Definition at line 34 of file UnfoldingState.hh.

UnfoldingState() [2/4]

Diades::Sdmdl::UnfoldingState::UnfoldingState

(

ComponentType &

component

)

UnfoldingState() [3/4]

Diades::Sdmdl::UnfoldingState::UnfoldingState	(	ComponentType &	component,
		const Formula &	f
	)

UnfoldingState() [4/4]

Diades::Sdmdl::UnfoldingState::UnfoldingState

(

const UnfoldingState &

state

)

~UnfoldingState()

virtual Diades::Sdmdl::UnfoldingState::~UnfoldingState ( )

virtual

Member Function Documentation

cube()

int* Diades::Sdmdl::UnfoldingState::cube ( ) const

inline

Definition at line 57 of file UnfoldingState.hh.

Referenced by Diades::Sdmdl::UnfoldingStateTable< T >::getInfo(), and Diades::Sdmdl::UnfoldingStateTable< T >::insertIfNotFound().

cubeSize()

int Diades::Sdmdl::UnfoldingState::cubeSize ( ) const

inline

Definition at line 58 of file UnfoldingState.hh.

Referenced by Diades::Sdmdl::UnfoldingStateTable< T >::getInfo(), and Diades::Sdmdl::UnfoldingStateTable< T >::insertIfNotFound().

formula()

const Formula& Diades::Sdmdl::UnfoldingState::formula ( ) const

inline

Definition at line 44 of file UnfoldingState.hh.

References Diades::Utils::operator<<().

label()

string Diades::Sdmdl::UnfoldingState::label

(

)

const

observableLabel()

string Diades::Sdmdl::UnfoldingState::observableLabel

(

)

const

Returns

the observable label

Bug:

no more printObservableFormula, do it with abstraction (existAbstract on observable variable)

operator<()

bool Diades::Sdmdl::UnfoldingState::operator<

(

const UnfoldingState &

state

)

const

operator=()

UnfoldingState& Diades::Sdmdl::UnfoldingState::operator=

(

const UnfoldingState &

state

)

operator==()

bool Diades::Sdmdl::UnfoldingState::operator==

(

const UnfoldingState &

state

)

const

satisfy()

bool Diades::Sdmdl::UnfoldingState::satisfy

(

const Rule &

rule

)

trigger()

void Diades::Sdmdl::UnfoldingState::trigger	(	Rule &	rule,
		set< UnfoldingState > &	targets
	)

valid()

bool Diades::Sdmdl::UnfoldingState::valid ( ) const

inline

Definition at line 35 of file UnfoldingState.hh.

Referenced by Diades::Sdmdl::UnfoldingStateTable< T >::getInfo(), and Diades::Sdmdl::UnfoldingStateTable< T >::insertIfNotFound().

Friends And Related Function Documentation

operator<<

ostream& operator<< ( ostream &  os, const UnfoldingState &  state  )

friend

Member Data Documentation

_assignment

vector<Formula::ConstReference> Diades::Sdmdl::UnfoldingState::_assignment

private

Definition at line 26 of file UnfoldingState.hh.

_comp

ComponentType* Diades::Sdmdl::UnfoldingState::_comp

private

Definition at line 27 of file UnfoldingState.hh.

_cube

int* Diades::Sdmdl::UnfoldingState::_cube

private

Definition at line 28 of file UnfoldingState.hh.

_size

int Diades::Sdmdl::UnfoldingState::_size

private

Definition at line 29 of file UnfoldingState.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/sdmdl/UnfoldingState.hh