table.cc File Reference

#include <algorithm>
#include <cstdint>
#include <limits>
#include <memory>
#include <string>
#include <vector>
#include "absl/container/flat_hash_map.h"
#include "absl/log/check.h"
#include "absl/strings/str_format.h"
#include "absl/strings/str_join.h"
#include "absl/types/span.h"
#include "ortools/constraint_solver/constraint_solver.h"
#include "ortools/constraint_solver/constraint_solveri.h"
#include "ortools/util/bitset.h"
#include "ortools/util/string_array.h"
#include "ortools/util/tuple_set.h"

Go to the source code of this file.

Namespaces
namespace	operations_research
	In SWIG mode, we don't want anything besides these top-level includes.

Variable Documentation

a

int64_t a

Definition at line 44 of file table.cc.

active_tuples_

uint64_t active_tuples_

protected

The active bitset.

Bitset of active tuples.

Definition at line 386 of file table.cc.

arity_

const int arity_

protected

Definition at line 224 of file table.cc.

b

int64_t b

Definition at line 45 of file table.cc.

holes_

std::vector<IntVarIterator*> holes_

protected

Definition at line 226 of file table.cc.

iterators_

std::vector<IntVarIterator*> iterators_

protected

Definition at line 227 of file table.cc.

kNextStatePosition

const int kNextStatePosition

static

Definition at line 1149 of file table.cc.

kStatePosition

const int kStatePosition

static

Definition at line 1148 of file table.cc.

kTransitionTupleSize

const int kTransitionTupleSize

static

Definition at line 1150 of file table.cc.

masks_

std::vector<std::vector<uint64_t> > masks_

protected

The masks per value per variable.

Definition at line 387 of file table.cc.

temp_mask_

std::vector<uint64_t> temp_mask_

protected

A temporary mask use for computation.

Definition at line 388 of file table.cc.

to_remove_

std::vector<int64_t> to_remove_

protected

Definition at line 228 of file table.cc.

tuple_count_

const int tuple_count_

protected

Definition at line 223 of file table.cc.

vars_

const std::vector<IntVar*> vars_

protected

Variable representing transitions between states. See header file.

Definition at line 225 of file table.cc.

word_length_

int64_t word_length_

protected

The length in 64 bit words of the number of tuples.

Definition at line 385 of file table.cc.