#include <agrum/agrum.h>
#include <agrum/core/math/math.h>
#include <agrum/core/mvsc/unistd.h>
#include <chrono>
#include <cstdio>
#include <fcntl.h>
#include <fstream>
#include <unordered_set>
#include <vector>
#include <agrum/core/math/rational.h>
#include <agrum/external/lrslib/lrslib.h>
#include <stdint.h>
#include <agrum/CN/LrsWrapper_tpl.h>

Include dependency graph for LrsWrapper.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	gum::credal::LRSWrapper< GUM_SCALAR >
	Class template acting as a wrapper for Lexicographic Reverse Search by David Avis. More...

Namespaces
	gum
	Copyright 2005-2019 Pierre-Henri WUILLEMIN et Christophe GONZALES (LIP6) {prenom.nom}_at_lip6.fr.

	gum::credal
	namespace for all credal networks entities

Macros
#define	MP

#define	MAXD 9223372036854775807L

#define	BASE 1000000000L

#define	FORMAT "%9.9lu"

#define	BASE_DIG 9

#define	INTSIZE 16L

#define	BIT "64bit"

#define	enumStringify(name) #name

Detailed Description

This library is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library. If not, see http://www.gnu.org/licenses/.

Lrs wrapper

Author: Matthieu HOURBRACQ and Pierre-Henri WUILLEMIN

easy use of lrs lib

Definition in file LrsWrapper.h.

Macro Definition Documentation

◆ BASE

#define BASE 1000000000L

Definition at line 74 of file LrsWrapper.h.

Referenced by gum::credal::LRSWrapper< GUM_SCALAR >::__getLRSWrapperOutput(), and gum::credal::LRSWrapper< GUM_SCALAR >::computeVolume().

◆ BASE_DIG

#define BASE_DIG 9

Definition at line 76 of file LrsWrapper.h.

◆ BIT

#define BIT "64bit"

Definition at line 78 of file LrsWrapper.h.

◆ enumStringify

#define enumStringify ( name ) #name

Definition at line 91 of file LrsWrapper.h.

◆ FORMAT

#define FORMAT "%9.9lu"

Definition at line 75 of file LrsWrapper.h.

◆ INTSIZE

#define INTSIZE 16L

Definition at line 77 of file LrsWrapper.h.

◆ MAXD

#define MAXD 9223372036854775807L

Definition at line 73 of file LrsWrapper.h.

◆ MP

#define MP

Definition at line 57 of file LrsWrapper.h.

Classes

Namespaces

Macros