Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::LinearConstraintSymmetrizer Class Reference

Detailed Description

Definition at line 85 of file linear_constraint_manager.h.

#include <linear_constraint_manager.h>

Public Member Functions

 LinearConstraintSymmetrizer (Model *model)
 ~LinearConstraintSymmetrizer ()
void AddSymmetryOrbit (IntegerVariable sum_var, absl::Span< const IntegerVariable > orbit)
bool HasSymmetry () const
int NumOrbits () const
IntegerVariable OrbitSumVar (int i) const
absl::Span< const IntegerVariable > Orbit (int i) const
int OrbitIndex (IntegerVariable var) const
bool IsOrbitSumVar (IntegerVariable var) const
bool AppearInFoldedProblem (IntegerVariable var) const
bool FoldLinearConstraint (LinearConstraint *ct, bool *folded=nullptr)

Constructor & Destructor Documentation

◆ LinearConstraintSymmetrizer()

operations_research::sat::LinearConstraintSymmetrizer::LinearConstraintSymmetrizer ( Model * model)
inlineexplicit

Definition at line 87 of file linear_constraint_manager.h.

◆ ~LinearConstraintSymmetrizer()

operations_research::sat::LinearConstraintSymmetrizer::~LinearConstraintSymmetrizer ( )

Definition at line 56 of file linear_constraint_manager.cc.

Member Function Documentation

◆ AddSymmetryOrbit()

void operations_research::sat::LinearConstraintSymmetrizer::AddSymmetryOrbit ( IntegerVariable sum_var,
absl::Span< const IntegerVariable > orbit )

Definition at line 63 of file linear_constraint_manager.cc.

◆ AppearInFoldedProblem()

bool operations_research::sat::LinearConstraintSymmetrizer::AppearInFoldedProblem ( IntegerVariable var) const

Definition at line 213 of file linear_constraint_manager.cc.

◆ FoldLinearConstraint()

bool operations_research::sat::LinearConstraintSymmetrizer::FoldLinearConstraint ( LinearConstraint * ct,
bool * folded = nullptr )

Definition at line 108 of file linear_constraint_manager.cc.

◆ HasSymmetry()

bool operations_research::sat::LinearConstraintSymmetrizer::HasSymmetry ( ) const
inline

Definition at line 102 of file linear_constraint_manager.h.

◆ IsOrbitSumVar()

bool operations_research::sat::LinearConstraintSymmetrizer::IsOrbitSumVar ( IntegerVariable var) const

Definition at line 207 of file linear_constraint_manager.cc.

◆ NumOrbits()

int operations_research::sat::LinearConstraintSymmetrizer::NumOrbits ( ) const
inline

Definition at line 105 of file linear_constraint_manager.h.

◆ Orbit()

absl::Span< const IntegerVariable > operations_research::sat::LinearConstraintSymmetrizer::Orbit ( int i) const
inline

Definition at line 107 of file linear_constraint_manager.h.

◆ OrbitIndex()

int operations_research::sat::LinearConstraintSymmetrizer::OrbitIndex ( IntegerVariable var) const

Definition at line 202 of file linear_constraint_manager.cc.

◆ OrbitSumVar()

IntegerVariable operations_research::sat::LinearConstraintSymmetrizer::OrbitSumVar ( int i) const
inline

Definition at line 106 of file linear_constraint_manager.h.

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