or-tools/src/constraint_solver/nogoods.cc File Reference

#include <string>
#include <vector>
#include "base/integral_types.h"
#include "base/logging.h"
#include "base/macros.h"
#include "base/stringprintf.h"
#include "base/stl_util.h"
#include "constraint_solver/constraint_solver.h"
#include "util/string_array.h"

Go to the source code of this file.

Namespaces
namespace	operations_research
Classes
class	operations_research::NoGoodTerm
	Base class for NoGood terms. More...

---

Variable Documentation

const bool assign_

Definition at line 108 of file nogoods.cc.

IntVar* const integer_variable_

Definition at line 106 of file nogoods.cc.

std::vector<NoGood*> nogoods_

Definition at line 202 of file nogoods.cc.

const int64 value_

Definition at line 107 of file nogoods.cc.