Detailed Description

Definition at line 46 of file var_domination.h.

Public Member Functions
	VarDomination ()

void	Reset (int num_variables)

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

void	ActivityShouldNotChange (absl::Span< const int > refs, absl::Span< const int64 > coeffs)

void	ActivityShouldNotDecrease (absl::Span< const int > enforcements, absl::Span< const int > refs, absl::Span< const int64 > coeffs)

void	ActivityShouldNotIncrease (absl::Span< const int > enforcements, absl::Span< const int > refs, absl::Span< const int64 > coeffs)

void	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()

VarDomination ( )

inline

Definition at line 48 of file var_domination.h.

Member Function Documentation

◆ ActivityShouldNotChange()

void ActivityShouldNotChange	(	absl::Span< const int >	refs,
		absl::Span< const int64 >	coeffs
	)

Definition at line 61 of file var_domination.cc.

◆ ActivityShouldNotDecrease()

void ActivityShouldNotDecrease	(	absl::Span< const int >	enforcements,
		absl::Span< const int >	refs,
		absl::Span< const int64 >	coeffs
	)

Definition at line 113 of file var_domination.cc.

◆ ActivityShouldNotIncrease()

void ActivityShouldNotIncrease	(	absl::Span< const int >	enforcements,
		absl::Span< const int >	refs,
		absl::Span< const int64 >	coeffs
	)

Definition at line 120 of file var_domination.cc.

◆ CanFreelyDecrease() [1/2]

bool CanFreelyDecrease ( int ref ) const

Definition at line 477 of file var_domination.cc.

◆ CanFreelyDecrease() [2/2]

bool CanFreelyDecrease ( IntegerVariable var ) const

Definition at line 481 of file var_domination.cc.

◆ CanOnlyDominateEachOther()

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

Definition at line 51 of file var_domination.cc.

◆ DominatingVariables() [1/2]

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

Definition at line 493 of file var_domination.cc.

◆ DominatingVariables() [2/2]

absl::Span< const IntegerVariable > DominatingVariables ( IntegerVariable var ) const

Definition at line 498 of file var_domination.cc.

◆ DominationDebugString()

std::string DominationDebugString ( IntegerVariable var ) const

Definition at line 505 of file var_domination.cc.

◆ EndFirstPhase()

void EndFirstPhase ( )

Definition at line 190 of file var_domination.cc.

◆ EndSecondPhase()

void EndSecondPhase ( )

Definition at line 317 of file var_domination.cc.

◆ IntegerVariableToRef()

static int IntegerVariableToRef ( IntegerVariable var )

inlinestatic

Definition at line 57 of file var_domination.h.

◆ RefToIntegerVariable()

static IntegerVariable RefToIntegerVariable ( int ref )