intcount_barvinok.hpp File Reference

#include "config.hpp"
#include "_utility.hpp"
#include "intcount_barvinok.cpp"

Go to the source code of this file.

Namespaces
namespace	Arageli
namespace	Arageli::ctrl
Classes
class	Arageli::ctrl::intcount_barvinok_idler
Defines
#define	ARAGELI_INCLUDE_CPP_WITH_EXPORT_TEMPLATE_INTCOUNT_BARVINOK
Functions
template<typename A, typename T, typename Ctrler>
void	Arageli::intcount_barvinok (const A &a, T &res, Ctrler ctrler)
	Counts all integer points in bodily polytope.
template<typename A, typename T>
void	Arageli::intcount_barvinok (const A &a, T &res)
	Counts all integer points in bodily polytope.
template<typename A>
A::element_type	Arageli::intcount_barvinok (const A &a)
	Counts all integer points in bodily polytope.

---

Detailed Description

This file contains declaration for the Barvinok algorithm for counting integer points in a polytope. A polytop Ax >= b is represented as a matrix a = (-b|A). Current implementation works only for bodily polytopes.

Definition in file intcount_barvinok.hpp.

---

Define Documentation

#define ARAGELI_INCLUDE_CPP_WITH_EXPORT_TEMPLATE_INTCOUNT_BARVINOK

Definition at line 74 of file intcount_barvinok.hpp.

---