operations_research::sat::AssignmentView Class Reference

Detailed Description

For "hot" loop, it is better not to reload the Bitset64 pointer on each check.

Definition at line 222 of file sat_base.h.

#include <sat_base.h>

Public Member Functions
	AssignmentView (const VariablesAssignment &assignment)
bool	LiteralIsFalse (Literal literal) const
bool	LiteralIsTrue (Literal literal) const

Constructor & Destructor Documentation

AssignmentView()

operations_research::sat::AssignmentView::AssignmentView ( const VariablesAssignment & assignment )

inlineexplicit

Definition at line 224 of file sat_base.h.

Member Function Documentation

LiteralIsFalse()

bool operations_research::sat::AssignmentView::LiteralIsFalse ( Literal literal ) const

inline

Definition at line 227 of file sat_base.h.

LiteralIsTrue()

bool operations_research::sat::AssignmentView::LiteralIsTrue ( Literal literal ) const

inline

Definition at line 231 of file sat_base.h.

---

The documentation for this class was generated from the following file:

• ortools/sat/sat_base.h