faudes::LbdAbstraction Class Reference

Detailed Description

Definition at line 24 of file hyb_abstraction.h.

#include <hyb_abstraction.h>

Public Member Functions
	LbdAbstraction (void)
	~LbdAbstraction (void)
void	Experiment (faudes::Experiment *exp)
const faudes::Experiment &	Experiment (void)
void	RefineAt (Idx nid)
void	RefineUniformly (unsigned int depth)
const Generator &	TivAbstraction (void)
const Generator &	TvAbstraction (void)

Protected Member Functions
void	doInitAbstraction (void)
void	doTivAbstraction (void)
void	doTivAbstractionMG (void)
void	doTivAbstractionRY (void)
void	doTvAbstraction (void)

Protected Attributes
faudes::Experiment *	mpExperiment
Generator	mAbstraction
StateSet	mLeaves
bool	mExpChanged
bool	mTivMode
bool	mTvMode

Constructor & Destructor Documentation

LbdAbstraction()

LbdAbstraction::LbdAbstraction

(

void

)

Definition at line 17 of file hyb_abstraction.cpp.

~LbdAbstraction()

LbdAbstraction::~LbdAbstraction

(

void

)

Definition at line 20 of file hyb_abstraction.cpp.

Member Function Documentation

doInitAbstraction()

void LbdAbstraction::doInitAbstraction ( void  )

protected

Definition at line 76 of file hyb_abstraction.cpp.

doTivAbstraction()

void faudes::LbdAbstraction::doTivAbstraction ( void  )

protected

doTivAbstractionMG()

void LbdAbstraction::doTivAbstractionMG ( void  )

protected

Definition at line 136 of file hyb_abstraction.cpp.

doTivAbstractionRY()

void LbdAbstraction::doTivAbstractionRY ( void  )

protected

Definition at line 163 of file hyb_abstraction.cpp.

doTvAbstraction()

void LbdAbstraction::doTvAbstraction ( void  )

protected

Definition at line 102 of file hyb_abstraction.cpp.

Experiment() [1/2]

void LbdAbstraction::Experiment

(

faudes::Experiment *

exp

)

Definition at line 26 of file hyb_abstraction.cpp.

Experiment() [2/2]

const Experiment & LbdAbstraction::Experiment

(

void

)

Definition at line 33 of file hyb_abstraction.cpp.

RefineAt()

void LbdAbstraction::RefineAt

(

Idx

nid

)

Definition at line 41 of file hyb_abstraction.cpp.

RefineUniformly()

void LbdAbstraction::RefineUniformly

(

unsigned int

depth

)

Definition at line 47 of file hyb_abstraction.cpp.

TivAbstraction()

const Generator & LbdAbstraction::TivAbstraction

(

void

)

Definition at line 55 of file hyb_abstraction.cpp.

TvAbstraction()

const Generator & LbdAbstraction::TvAbstraction

(

void

)

Definition at line 65 of file hyb_abstraction.cpp.

Member Data Documentation

mAbstraction

Generator faudes::LbdAbstraction::mAbstraction

protected

Definition at line 48 of file hyb_abstraction.h.

mExpChanged

bool faudes::LbdAbstraction::mExpChanged

protected

Definition at line 52 of file hyb_abstraction.h.

mLeaves

StateSet faudes::LbdAbstraction::mLeaves

protected

Definition at line 49 of file hyb_abstraction.h.

mpExperiment

faudes::Experiment* faudes::LbdAbstraction::mpExperiment

protected

Definition at line 45 of file hyb_abstraction.h.

mTivMode

bool faudes::LbdAbstraction::mTivMode

protected

Definition at line 53 of file hyb_abstraction.h.

mTvMode

bool faudes::LbdAbstraction::mTvMode

protected

Definition at line 54 of file hyb_abstraction.h.

---

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

• hyb_abstraction.h
• hyb_abstraction.cpp