Home
last modified time | relevance | path

Searched refs:IncrementalPropagate (Results 1 – 9 of 9) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dcircuit.h61 bool IncrementalPropagate(const std::vector<int>& watch_indices) final;
139 bool IncrementalPropagate(const std::vector<int>& watch_indices) final;
H A Dcircuit.cc153 bool CircuitPropagator::IncrementalPropagate( in IncrementalPropagate() function in operations_research::sat::CircuitPropagator
381 bool CircuitCoveringPropagator::IncrementalPropagate( in IncrementalPropagate() function in operations_research::sat::CircuitCoveringPropagator
H A Dlinear_programming_constraint.h166 bool IncrementalPropagate(const std::vector<int>& watch_indices) override;
H A Dintervals.cc114 bool SchedulingConstraintHelper::IncrementalPropagate( in IncrementalPropagate() function in operations_research::sat::SchedulingConstraintHelper
H A Dintervals.h194 bool IncrementalPropagate(const std::vector<int>& watch_indices) final;
H A Dinteger.h1196 virtual bool IncrementalPropagate(const std::vector<int>& watch_indices) { in IncrementalPropagate() function
H A Dinteger.cc1921 : watchers_[id]->IncrementalPropagate(watch_indices_ref); in Propagate()
H A Dlinear_programming_constraint.cc578 bool LinearProgrammingConstraint::IncrementalPropagate( in IncrementalPropagate() function in operations_research::sat::LinearProgrammingConstraint
/dports/math/py-or-tools/or-tools-9.2/ortools/constraint_solver/
H A Dalldiff_cst.cc363 solver(), this, &BoundsAllDifferent::IncrementalPropagate, in Post()
376 IncrementalPropagate(); in InitialPropagate()
384 virtual void IncrementalPropagate() { in IncrementalPropagate() function in operations_research::__anon780a12590111::BoundsAllDifferent