cadical.hpp File Reference

#include "global.h"
#include <cstdint>
#include <cstdio>
#include <vector>

Include dependency graph for cadical.hpp:

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

Go to the source code of this file.

Classes
class	CaDiCaL::Solver
struct	CaDiCaL::Solver::CubesWithStatus
class	CaDiCaL::Terminator
class	CaDiCaL::Learner
class	CaDiCaL::FixedAssignmentListener
class	CaDiCaL::ExternalPropagator
class	CaDiCaL::ClauseIterator
class	CaDiCaL::WitnessIterator

Namespaces
namespace	CaDiCaL

Macros
#define	PRINTF_FORMAT   printf
#define	CADICAL_ATTRIBUTE_FORMAT(FORMAT_POSITION, VARIADIC_ARGUMENT_POSITION)

Enumerations
enum	CaDiCaL::Status { CaDiCaL::SATISFIABLE = 10 , CaDiCaL::UNSATISFIABLE = 20 , CaDiCaL::UNKNOWN = 0 }
enum	CaDiCaL::State {   CaDiCaL::INITIALIZING = 1 , CaDiCaL::CONFIGURING = 2 , CaDiCaL::STEADY = 4 , CaDiCaL::ADDING = 8 ,   CaDiCaL::SOLVING = 16 , CaDiCaL::SATISFIED = 32 , CaDiCaL::UNSATISFIED = 64 , CaDiCaL::DELETING = 128 ,   CaDiCaL::INCONCLUSIVE = 256 , CaDiCaL::READY = CONFIGURING | STEADY | SATISFIED | UNSATISFIED | INCONCLUSIVE , CaDiCaL::VALID = READY | ADDING , CaDiCaL::INVALID = INITIALIZING | DELETING }

Macro Definition Documentation

CADICAL_ATTRIBUTE_FORMAT

#define CADICAL_ATTRIBUTE_FORMAT	(		FORMAT_POSITION,
			VARIADIC_ARGUMENT_POSITION )

Definition at line 1105 of file cadical.hpp.

PRINTF_FORMAT

#define PRINTF_FORMAT   printf

Definition at line 1089 of file cadical.hpp.