Detailed Description

Definition at line 52 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_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()

VarDomination ( )

inline

Definition at line 54 of file var_domination.h.

Member Function Documentation

◆ ActivityShouldNotChange()

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

Definition at line 85 of file var_domination.cc.

◆ ActivityShouldNotDecrease()

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

Definition at line 137 of file var_domination.cc.

◆ ActivityShouldNotIncrease()

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

Definition at line 144 of file var_domination.cc.

◆ CanFreelyDecrease() [1/2]

bool CanFreelyDecrease ( int ref ) const

Definition at line 507 of file var_domination.cc.

◆ CanFreelyDecrease() [2/2]

bool CanFreelyDecrease ( IntegerVariable var ) const

Definition at line 511 of file var_domination.cc.

◆ CanOnlyDominateEachOther()

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

Definition at line 75 of file var_domination.cc.

◆ DominatingVariables() [1/2]

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

Definition at line 523 of file var_domination.cc.

◆ DominatingVariables() [2/2]

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

Definition at line 528 of file var_domination.cc.

◆ DominationDebugString()

std::string DominationDebugString ( IntegerVariable var ) const

Definition at line 535 of file var_domination.cc.

◆ EndFirstPhase()

bool EndFirstPhase ( )

Definition at line 214 of file var_domination.cc.

◆ EndSecondPhase()

void EndSecondPhase ( )

Definition at line 347 of file var_domination.cc.

◆ IntegerVariableToRef()

static int IntegerVariableToRef ( IntegerVariable var )

inlinestatic

Definition at line 63 of file var_domination.h.

◆ RefToIntegerVariable()

static IntegerVariable RefToIntegerVariable ( int ref )