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

Detailed Description

Definition at line 183 of file integer_expr.h.

#include <integer_expr.h>

Inheritance diagram for operations_research::sat::LevelZeroEquality:
operations_research::sat::PropagatorInterface

Public Member Functions

 LevelZeroEquality (IntegerVariable target, const std::vector< IntegerVariable > &vars, const std::vector< IntegerValue > &coeffs, Model *model)
bool Propagate () final

Constructor & Destructor Documentation

◆ LevelZeroEquality()

operations_research::sat::LevelZeroEquality::LevelZeroEquality ( IntegerVariable target,
const std::vector< IntegerVariable > & vars,
const std::vector< IntegerValue > & coeffs,
Model * model )

Definition at line 464 of file integer_expr.cc.

Member Function Documentation

◆ Propagate()

bool operations_research::sat::LevelZeroEquality::Propagate ( )
finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 488 of file integer_expr.cc.

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