operations_research::sat::AssignmentView Class Reference

Detailed Description

Definition at line 244 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 246 of file sat_base.h.

Member Function Documentation

LiteralIsFalse()

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

inline

Definition at line 249 of file sat_base.h.

LiteralIsTrue()

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

inline

Definition at line 253 of file sat_base.h.

---

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

• ortools/sat/sat_base.h