Detailed Description

Set of states in an hybrid automata.

Records a list of polyhedra per location.

Definition at line 33 of file hyb_reachability.h.

#include <hyb_reachability.h>

Public Types
typedef std::list< Polyhedron * >::const_iterator	Iterator
	access to polyhedra of states More...

Public Member Functions
	HybridStateSet (void)
	constructors More...

	~HybridStateSet (void)
	destructor More...

	HybridStateSet (const HybridStateSet &rOther)
	copy constrcutor More...

void	Assign (const HybridStateSet &rOther)
	assignment More...

const IndexSet &	Locations (void)
	access to locations More...

IndexSet::Iterator	LocationsBegin (void) const

IndexSet::Iterator	LocationsEnd (void) const

Iterator	StatesBegin (Idx q) const
	access to polyhedra of states More...

Iterator	StatesEnd (Idx q) const

void	Insert (Idx q)
	insert / erase (we take owvership of polyhedra) More...

void	Insert (Idx q, Polyhedron *states)

void	Erase (Idx q)

void	Clear (void)

bool	IsEmpty (void) const
	test emptyness More...

void	DWrite (const LinearHybridAutomaton &lha)
	inspect More...

Protected Attributes
StateSet	mLocations
	payload More...

std::map< Idx, std::list< Polyhedron * > >	mStates

Member Typedef Documentation

◆ Iterator

typedef std::list< Polyhedron* >::const_iterator faudes::HybridStateSet::Iterator

access to polyhedra of states

Definition at line 50 of file hyb_reachability.h.

Constructor & Destructor Documentation

◆ HybridStateSet() [1/2]

faudes::HybridStateSet::HybridStateSet ( void )

constructors

Definition at line 29 of file hyb_reachability.cpp.

◆ ~HybridStateSet()

faudes::HybridStateSet::~HybridStateSet ( void )

destructor

Definition at line 38 of file hyb_reachability.cpp.

◆ HybridStateSet() [2/2]

faudes::HybridStateSet::HybridStateSet ( const HybridStateSet & rOther )

copy constrcutor

Definition at line 32 of file hyb_reachability.cpp.

Member Function Documentation

◆ Assign()

void faudes::HybridStateSet::Assign ( const HybridStateSet & rOther )

assignment

Definition at line 50 of file hyb_reachability.cpp.

◆ Clear()

void faudes::HybridStateSet::Clear ( void )

Definition at line 111 of file hyb_reachability.cpp.

◆ DWrite()

void faudes::HybridStateSet::DWrite ( const LinearHybridAutomaton & lha )

inspect

Definition at line 134 of file hyb_reachability.cpp.

◆ Erase()

void faudes::HybridStateSet::Erase ( Idx q )

Definition at line 104 of file hyb_reachability.cpp.

◆ Insert() [1/2]

void faudes::HybridStateSet::Insert ( Idx q )

insert / erase (we take owvership of polyhedra)

Definition at line 97 of file hyb_reachability.cpp.

◆ Insert() [2/2]

void faudes::HybridStateSet::Insert	(	Idx	q,
		Polyhedron *	states
	)

Definition at line 100 of file hyb_reachability.cpp.

◆ IsEmpty()

bool faudes::HybridStateSet::IsEmpty ( void ) const

test emptyness

Definition at line 119 of file hyb_reachability.cpp.

◆ Locations()

const IndexSet & faudes::HybridStateSet::Locations ( void )

access to locations

Definition at line 76 of file hyb_reachability.cpp.

◆ LocationsBegin()

IndexSet::Iterator faudes::HybridStateSet::LocationsBegin ( void ) const

Definition at line 79 of file hyb_reachability.cpp.

◆ LocationsEnd()

IndexSet::Iterator faudes::HybridStateSet::LocationsEnd ( void ) const

Definition at line 82 of file hyb_reachability.cpp.

◆ StatesBegin()

HybridStateSet::Iterator faudes::HybridStateSet::StatesBegin ( Idx q ) const

access to polyhedra of states

Definition at line 87 of file hyb_reachability.cpp.

◆ StatesEnd()

HybridStateSet::Iterator faudes::HybridStateSet::StatesEnd ( Idx q ) const

Definition at line 91 of file hyb_reachability.cpp.

Member Data Documentation

◆ mLocations

StateSet faudes::HybridStateSet::mLocations

protected

payload

Definition at line 69 of file hyb_reachability.h.

◆ mStates

std::map< Idx , std::list< Polyhedron* > > faudes::HybridStateSet::mStates