or-tools/src/constraint_solver/constraint_solveri.h File Reference

#include <math.h>
#include <stddef.h>
#include "base/hash.h"
#include <string>
#include <vector>
#include "base/callback-types.h"
#include "base/commandlineflags.h"
#include "base/integral_types.h"
#include "base/logging.h"
#include "base/scoped_ptr.h"
#include "base/sysinfo.h"
#include "base/timer.h"
#include "base/join.h"
#include "base/bitmap.h"
#include "base/map-util.h"
#include "constraint_solver/constraint_solver.h"
#include "util/const_int_array.h"
#include "util/const_ptr_array.h"
#include "util/tuple_set.h"
#include "util/vector_map.h"

Go to the source code of this file.

Namespaces
namespace	operations_research
Classes
class	operations_research::BaseIntExpr
	This is the base class for all expressions that are not variables. More...
class	operations_research::SimpleRevFIFO< T >
	utility classes More...
struct	operations_research::SimpleRevFIFO< T >::Chunk
class	operations_research::SimpleRevFIFO< T >::Iterator
	This iterator is not stable with respect to deletion. More...
class	operations_research::RevImmutableMultiMap< K, V >
	Immutable Multi Map. More...
class	operations_research::RevImmutableMultiMap< K, V >::Cell
class	operations_research::RevSwitch
	A reversible switch that can switch once from false to true. More...
class	operations_research::SmallRevBitSet
	This class represents a small reversible bitset (size <= 64). More...
class	operations_research::RevBitSet
	This class represents a reversible bitset. More...
class	operations_research::RevBitMatrix
	Matrix version of the RevBitSet class. More...
class	operations_research::CallMethod0< T >
	Demon proxy to a method on the constraint with no arguments. More...
class	operations_research::CallMethod1< T, P >
	Demon proxy to a method on the constraint with one argument. More...
class	operations_research::CallMethod2< T, P, Q >
	Demon proxy to a method on the constraint with two arguments. More...
class	operations_research::DelayedCallMethod0< T >
	Low-priority demon proxy to a method on the constraint with no arguments. More...
class	operations_research::DelayedCallMethod1< T, P >
	Low-priority demon proxy to a method on the constraint with one argument. More...
class	operations_research::DelayedCallMethod2< T, P, Q >
	Low-priority demon proxy to a method on the constraint with two arguments. More...
class	operations_research::LocalSearchOperator
	< !defined(SWIG) More...
class	operations_research::IntVarLocalSearchOperator
	Base operator class for operators manipulating IntVars. More...
class	operations_research::SequenceVarLocalSearchOperator
	SequenceVarLocalSearchOperator. More...
class	operations_research::BaseLNS
	Base Large Neighborhood Search operator class. More...
class	operations_research::ChangeValue
	ChangeValue Operators. More...
class	operations_research::PathOperator
	Path-based Operators. More...
class	operations_research::LocalSearchFilter
	Local Search Filters. More...
class	operations_research::IntVarLocalSearchFilter
	IntVarLocalSearchFilter. More...
class	operations_research::PropagationMonitor
	PropagationMonitor. More...
class	operations_research::SymmetryBreaker
	A symmetry breaker is an object that will visit a decision and create the 'symmetrical' decision in return. More...
class	operations_research::SearchLog
	Search Log. More...
class	operations_research::ModelCache
	Implements a complete cache for model elements: expressions and constraints. More...
class	operations_research::DependencyGraph
class	operations_research::ArgumentHolder
	Argument Holder: useful when visiting a model. More...
class	operations_research::ModelParser
	Model Parser. More...
Enumerations
enum	operations_research::VarTypes {   operations_research::UNSPECIFIED, operations_research::DOMAIN_INT_VAR, operations_research::BOOLEAN_VAR, operations_research::CONST_VAR,   operations_research::VAR_ADD_CST, operations_research::DOMAIN_INT_VAR_ADD_CST, operations_research::VAR_TIMES_POS_CST, operations_research::BOOLEAN_VAR_TIMES_POS_CST,   operations_research::CST_SUB_VAR, operations_research::OPP_VAR, operations_research::TRACE_VAR }
	This enum is used internally to do dynamic typing on subclasses of integer variables. More...
Functions
uint64	operations_research::Hash1 (uint64 value)
	Reversible Hash Table.
uint64	operations_research::Hash1 (uint32 value)
uint64	operations_research::Hash1 (int64 value)
uint64	operations_research::Hash1 (int value)
uint64	operations_research::Hash1 (void *const ptr)
uint64	operations_research::Hash1 (ConstIntArray *const values)
template<class T>
uint64	operations_research::Hash1 (ConstPtrArray< T > *const ptrs)
template<class T>
Demon *	operations_research::MakeConstraintDemon0 (Solver *const s, T *const ct, void(T::*method)(), const string &name)
template<class T, class P>
Demon *	operations_research::MakeConstraintDemon1 (Solver *const s, T *const ct, void(T::*method)(P), const string &name, P param1)
template<class T, class P, class Q>
Demon *	operations_research::MakeConstraintDemon2 (Solver *const s, T *const ct, void(T::*method)(P, Q), const string &name, P param1, Q param2)
template<class T>
Demon *	operations_research::MakeDelayedConstraintDemon0 (Solver *const s, T *const ct, void(T::*method)(), const string &name)
template<class T, class P>
Demon *	operations_research::MakeDelayedConstraintDemon1 (Solver *const s, T *const ct, void(T::*method)(P), const string &name, P param1)
template<class T, class P, class Q>
Demon *	operations_research::MakeDelayedConstraintDemon2 (Solver *const s, T *const ct, void(T::*method)(P, Q), const string &name, P param1, Q param2)