operations_research::sat::AssignmentView Class Reference

#include <sat_base.h>

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

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.

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