solvers.h File Reference

#include <stdio.h>
#include <math.h>

Go to the source code of this file.

Classes
class	orbiter::layer1_foundations::solvers::diophant_activity_description
	to describe an activity for a diophantine system from command line arguments More...
class	orbiter::layer1_foundations::solvers::diophant_activity
	to perform an activity for a diophantine system using diophant_activity_description More...
class	orbiter::layer1_foundations::solvers::diophant_create
	to create a diophantine system from diophant_description More...
class	orbiter::layer1_foundations::solvers::diophant_description
	to describe a diophantine system from command line arguments More...
class	orbiter::layer1_foundations::solvers::diophant
	diophantine systems of equations (i.e., linear systems over the integers) More...
class	orbiter::layer1_foundations::solvers::dlx_problem_description
	description of a problem instance for dancing links solver More...
class	orbiter::layer1_foundations::solvers::dlx_solver
	An implementation of Donald Knuth's dancing links algorithm to solve exact cover problems. More...
struct	orbiter::layer1_foundations::solvers::dlx_node
	internal class for the dancing links exact cover algorithm More...
struct	orbiter::layer1_foundations::solvers::mckay::term
	a term in a diophantine system of type tMCKAY More...
class	orbiter::layer1_foundations::solvers::mckay::tMCKAY
	solves diophantine systems according to McKay More...

Namespaces
namespace	orbiter
	the orbiter library for the classification of combinatorial objects
namespace	orbiter::layer1_foundations
	algebra, combinatorics and graph theory, geometry, linear algebra, number theory, data structures, solvers, graphics; no group actions
namespace	orbiter::layer1_foundations::solvers
	Diophantine systems of equations. Solvers Possolve and Dancing Links.
namespace	orbiter::layer1_foundations::solvers::mckay
	Possolve is a solver for systems of diophantine equations due to Brendan McKay (ca 1997)

Macros
#define	MCKAY_DEBUG
#define	INTERVAL_IN_SECONDS   1

Typedefs
typedef std::vector< term >	orbiter::layer1_foundations::solvers::mckay::equation

Macro Definition Documentation

INTERVAL_IN_SECONDS

#define INTERVAL_IN_SECONDS   1

Definition at line 607 of file solvers.h.

MCKAY_DEBUG

#define MCKAY_DEBUG

Definition at line 593 of file solvers.h.