chomp::homology::MapRemainsAcyclic< tCube > Class Template Reference

A wrapper class for the procecure checking if a given map remains acyclic when a given full cube is removed from its domain during the reduction of this domain. More...

#include <cubacycl.h>

Public Member Functions
	MapRemainsAcyclic (const mvmap< tCube, tCube > &the_map)
	The only allowed constructor. More...
template<class tSet >
bool	operator() (const tCube &q, const tSet &cset) const
	Verifies if the map remains acyclic after the addition or removal of the given cube to/from the given set of cubes. More...

Protected Attributes
const mvmap< tCube, tCube > &	map
	A reference to the map being verified. More...

Detailed Description

template<class tCube>
class chomp::homology::MapRemainsAcyclic< tCube >

A wrapper class for the procecure checking if a given map remains acyclic when a given full cube is removed from its domain during the reduction of this domain.

Definition at line 345 of file cubacycl.h.

Constructor & Destructor Documentation

MapRemainsAcyclic()

template<class tCube >

chomp::homology::MapRemainsAcyclic< tCube >::MapRemainsAcyclic ( const mvmap< tCube, tCube > &  the_map )

inline

The only allowed constructor.

Definition at line 365 of file cubacycl.h.

                                                                                    :
        map (the_map)
{
        // determine if the acyclicity of the map should be considered
//      bool checkacyclic = !map. getdomain (). empty ();
 
        return;
} /* MapRemainsAcyclic<tCube>::MapRemainsAcyclic */

Member Function Documentation

operator()()

template<class tCube >

template<class tSet >

bool chomp::homology::MapRemainsAcyclic< tCube >::operator() ( const tCube &  q, const tSet &  cset  ) const

inline

Verifies if the map remains acyclic after the addition or removal of the given cube to/from the given set of cubes.

Assumes that the map is acyclic before the change. Returns 'true' if yes for sure, 'false' if there is some doubt.

Definition at line 376 of file cubacycl.h.

{
        return remainsacyclic (map, q, cset);
} /* MapRemainsAcyclic<tCube>::operator () */

References chomp::homology::remainsacyclic().

Member Data Documentation

map

template<class tCube >

const mvmap<tCube,tCube>& chomp::homology::MapRemainsAcyclic< tCube >::map

protected

A reference to the map being verified.

Definition at line 360 of file cubacycl.h.

---

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

• chomp/homology/cubacycl.h