operations_research::sat::VariablesAssignment Class Reference

Detailed Description

Definition at line 174 of file sat_base.h.

#include <sat_base.h>

Public Member Functions
	VariablesAssignment ()=default
	VariablesAssignment (int num_variables)
	VariablesAssignment (const VariablesAssignment &)=delete
VariablesAssignment &	operator= (const VariablesAssignment &)=delete
void	Resize (int num_variables)
void	AssignFromTrueLiteral (Literal literal)
void	UnassignLiteral (Literal literal)
bool	LiteralIsFalse (Literal literal) const
bool	LiteralIsTrue (Literal literal) const
bool	LiteralIsAssigned (Literal literal) const
bool	VariableIsAssigned (BooleanVariable var) const
Literal	GetTrueLiteralForAssignedVariable (BooleanVariable var) const
int	NumberOfVariables () const
Bitset64< LiteralIndex >::View	GetBitsetView ()

Friends
class	AssignmentView

Constructor & Destructor Documentation

VariablesAssignment() [1/3]

operations_research::sat::VariablesAssignment::VariablesAssignment ( )

default

VariablesAssignment() [2/3]

operations_research::sat::VariablesAssignment::VariablesAssignment ( int num_variables )

inlineexplicit

Definition at line 177 of file sat_base.h.

VariablesAssignment() [3/3]

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

delete

Member Function Documentation

AssignFromTrueLiteral()

void operations_research::sat::VariablesAssignment::AssignFromTrueLiteral ( Literal literal )

inline

Definition at line 189 of file sat_base.h.

GetBitsetView()

Bitset64< LiteralIndex >::View operations_research::sat::VariablesAssignment::GetBitsetView ( )

inline

Definition at line 230 of file sat_base.h.

GetTrueLiteralForAssignedVariable()

Literal operations_research::sat::VariablesAssignment::GetTrueLiteralForAssignedVariable ( BooleanVariable var ) const

inline

Definition at line 221 of file sat_base.h.

LiteralIsAssigned()

bool operations_research::sat::VariablesAssignment::LiteralIsAssigned ( Literal literal ) const

inline

Definition at line 209 of file sat_base.h.

LiteralIsFalse()

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

inline

Definition at line 203 of file sat_base.h.

LiteralIsTrue()

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

inline

Definition at line 206 of file sat_base.h.

NumberOfVariables()

int operations_research::sat::VariablesAssignment::NumberOfVariables ( ) const

inline

Definition at line 226 of file sat_base.h.

operator=()

VariablesAssignment & operations_research::sat::VariablesAssignment::operator= ( const VariablesAssignment & )

delete

Resize()

void operations_research::sat::VariablesAssignment::Resize ( int num_variables )

inline

Definition at line 182 of file sat_base.h.

UnassignLiteral()

void operations_research::sat::VariablesAssignment::UnassignLiteral ( Literal literal )

inline

Definition at line 196 of file sat_base.h.

VariableIsAssigned()

bool operations_research::sat::VariablesAssignment::VariableIsAssigned ( BooleanVariable var ) const

inline

Definition at line 214 of file sat_base.h.

Friends And Related Symbol Documentation

AssignmentView

friend class AssignmentView

friend

Definition at line 239 of file sat_base.h.

---

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

• ortools/sat/sat_base.h