Searched refs:IncrementalPropagate (Results 1 – 9 of 9) sorted by relevance
61 bool IncrementalPropagate(const std::vector<int>& watch_indices) final;139 bool IncrementalPropagate(const std::vector<int>& watch_indices) final;
153 bool CircuitPropagator::IncrementalPropagate( in IncrementalPropagate() function in operations_research::sat::CircuitPropagator381 bool CircuitCoveringPropagator::IncrementalPropagate( in IncrementalPropagate() function in operations_research::sat::CircuitCoveringPropagator
166 bool IncrementalPropagate(const std::vector<int>& watch_indices) override;
114 bool SchedulingConstraintHelper::IncrementalPropagate( in IncrementalPropagate() function in operations_research::sat::SchedulingConstraintHelper
194 bool IncrementalPropagate(const std::vector<int>& watch_indices) final;
1196 virtual bool IncrementalPropagate(const std::vector<int>& watch_indices) { in IncrementalPropagate() function
1921 : watchers_[id]->IncrementalPropagate(watch_indices_ref); in Propagate()
578 bool LinearProgrammingConstraint::IncrementalPropagate( in IncrementalPropagate() function in operations_research::sat::LinearProgrammingConstraint
363 solver(), this, &BoundsAllDifferent::IncrementalPropagate, in Post()376 IncrementalPropagate(); in InitialPropagate()384 virtual void IncrementalPropagate() { in IncrementalPropagate() function in operations_research::__anon780a12590111::BoundsAllDifferent