operations_research::sat::JumpTable Member List

This is the complete list of members for operations_research::sat::JumpTable, including all inherited members.

Deltas() const	operations_research::sat::JumpTable	inline
GetJump(int var)	operations_research::sat::JumpTable
JumpIsUpToDate(int var) const	operations_research::sat::JumpTable
JumpTable()=default	operations_research::sat::JumpTable
MutableScores()	operations_research::sat::JumpTable	inline
NeedRecomputation(int var) const	operations_research::sat::JumpTable	inline
Recompute(int var)	operations_research::sat::JumpTable
RecomputeAll(int num_variables)	operations_research::sat::JumpTable
Score(int var) const	operations_research::sat::JumpTable	inline
Scores() const	operations_research::sat::JumpTable	inline
SetComputeFunction(absl::AnyInvocable< std::pair< int64_t, double >(int) const > compute_jump)	operations_research::sat::JumpTable
SetJump(int var, int64_t delta, double score)	operations_research::sat::JumpTable