Detailed Description

Definition at line 52 of file var_domination.h.

#include <var_domination.h>

Public Member Functions
	VarDomination ()=default
void	Reset (int num_variables)
void	CanOnlyDominateEachOther (absl::Span< const int > refs)
void	ActivityShouldNotChange (absl::Span< const int > refs, absl::Span< const int64_t > coeffs)
void	ActivityShouldNotDecrease (absl::Span< const int > enforcements, absl::Span< const int > refs, absl::Span< const int64_t > coeffs)
void	ActivityShouldNotIncrease (absl::Span< const int > enforcements, absl::Span< const int > refs, absl::Span< const int64_t > coeffs)
bool	EndFirstPhase ()
void	EndSecondPhase ()
bool	CanFreelyDecrease (int ref) const
bool	CanFreelyDecrease (IntegerVariable var) const
absl::Span< const IntegerVariable >	DominatingVariables (int ref) const
absl::Span< const IntegerVariable >	DominatingVariables (IntegerVariable var) const
std::string	DominationDebugString (IntegerVariable var) const

Static Public Member Functions
static IntegerVariable	RefToIntegerVariable (int ref)
static int	IntegerVariableToRef (IntegerVariable var)

Constructor & Destructor Documentation

◆ VarDomination()

operations_research::sat::VarDomination::VarDomination ( )

default

Member Function Documentation

◆ ActivityShouldNotChange()

void operations_research::sat::VarDomination::ActivityShouldNotChange	(	absl::Span< const int >	refs,
		absl::Span< const int64_t >	coeffs )

Definition at line 98 of file var_domination.cc.

◆ ActivityShouldNotDecrease()

void operations_research::sat::VarDomination::ActivityShouldNotDecrease	(	absl::Span< const int >	enforcements,
		absl::Span< const int >	refs,
		absl::Span< const int64_t >	coeffs )

Definition at line 150 of file var_domination.cc.

◆ ActivityShouldNotIncrease()

void operations_research::sat::VarDomination::ActivityShouldNotIncrease	(	absl::Span< const int >	enforcements,
		absl::Span< const int >	refs,
		absl::Span< const int64_t >	coeffs )

Definition at line 157 of file var_domination.cc.

◆ CanFreelyDecrease() [1/2]

bool operations_research::sat::VarDomination::CanFreelyDecrease ( int ref ) const

Definition at line 524 of file var_domination.cc.

◆ CanFreelyDecrease() [2/2]

bool operations_research::sat::VarDomination::CanFreelyDecrease ( IntegerVariable var ) const

Definition at line 528 of file var_domination.cc.

◆ CanOnlyDominateEachOther()

void operations_research::sat::VarDomination::CanOnlyDominateEachOther ( absl::Span< const int > refs )

Definition at line 88 of file var_domination.cc.

◆ DominatingVariables() [1/2]

absl::Span< const IntegerVariable > operations_research::sat::VarDomination::DominatingVariables ( int ref ) const

Definition at line 540 of file var_domination.cc.

◆ DominatingVariables() [2/2]

absl::Span< const IntegerVariable > operations_research::sat::VarDomination::DominatingVariables ( IntegerVariable var ) const

Definition at line 545 of file var_domination.cc.

◆ DominationDebugString()

std::string operations_research::sat::VarDomination::DominationDebugString ( IntegerVariable var ) const

Definition at line 552 of file var_domination.cc.

◆ EndFirstPhase()

bool operations_research::sat::VarDomination::EndFirstPhase ( )

Definition at line 222 of file var_domination.cc.

◆ EndSecondPhase()

void operations_research::sat::VarDomination::EndSecondPhase ( )

Definition at line 364 of file var_domination.cc.

◆ IntegerVariableToRef()

int operations_research::sat::VarDomination::IntegerVariableToRef ( IntegerVariable var )

inlinestatic

Definition at line 63 of file var_domination.h.

◆ RefToIntegerVariable()

IntegerVariable operations_research::sat::VarDomination::RefToIntegerVariable ( int ref )