cubacycl.h File Reference

This file contains functions generated using Binary Decision Diagrams for checking the acyclicity of full cubical neighborhoods of a cube in dimensions 1, 2, and 3. More...

#include "chomp/struct/bitfield.h"

Go to the source code of this file.

Classes
class	chomp::homology::Neighbors< cubetype, settype >
	The neighborhood of a cube in a set of cubes. More...
Namespaces
namespace	chomp
	This namespace contains the entire CHomP library interface.
namespace	chomp::homology
	This namespace contains the core of the homology computation procedures and related classes and templates contained in the CHomP C++ library.
Functions
template<class NeighborCheck >
bool	chomp::homology::acyclic1d (NeighborCheck &n)
	Verifies whether the neighborhood of a 1-dimensional "cube" is acyclic.
template<class NeighborCheck >
bool	chomp::homology::acyclic2d (NeighborCheck &n)
	Verifies whether the neighborhood of a 2-dimensional "cube" is acyclic.
template<class NeighborCheck >
bool	chomp::homology::acyclic3d_Malandain (NeighborCheck &n)
	Verifies whether the neighborhood of a 3-dimensional cube is acyclic.
template<class NeighborCheck >
bool	chomp::homology::acyclic3d (NeighborCheck &n)
	Verifies whether the neighborhood of a 3-dimensional cube is acyclic.
template<class tCube , class tCubeSet >
bool	chomp::homology::bddacyclic (const tCube &q, int dim, const tCubeSet &s, BitField &b)
	Uses binary decision diagrams to verify whether the neighborhood of the given cube in the given set is acyclic.
Variables
const int	chomp::homology::MaxBddDimPossible = 3
	The maximal dimension for which binary decision diagrams are programmed.
int	chomp::homology::MaxBddDim
	The maximal dimension for which binary decision diagrams are used.
bool	chomp::homology::UseMalandainCode
	The variable which controls which binary decision diagrams should be used in dimension 3, either programmed by P.

---

Detailed Description

This file contains functions generated using Binary Decision Diagrams for checking the acyclicity of full cubical neighborhoods of a cube in dimensions 1, 2, and 3.

Author:

Pawel Pilarczyk

Definition in file cubacycl.h.