Home
last modified time | relevance | path

Searched refs:propagator_id_ (Results 1 – 6 of 6) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dsat_base.h450 : name_(name), propagator_id_(-1), propagation_trail_index_(0) {} in SatPropagator()
454 void SetPropagatorId(int id) { propagator_id_ = id; } in SetPropagatorId()
455 int PropagatorId() const { return propagator_id_; } in PropagatorId()
508 int propagator_id_; variable
H A Dclause.cc175 trail->Enqueue(other_watched_literal, propagator_id_); in PropagateOnFalse()
265 trail->Enqueue(literals[0], propagator_id_); in AttachAndPropagate()
520 trail_->Enqueue(b, propagator_id_); in AddBinaryClauseDuringSearch()
525 trail_->Enqueue(a, propagator_id_); in AddBinaryClauseDuringSearch()
719 trail->Enqueue(literal, propagator_id_); in PropagateOnTrue()
750 trail->Enqueue(literal.Negated(), propagator_id_); in PropagateOnTrue()
H A Dsymmetry.cc117 trail->Enqueue(non_symmetric.image, propagator_id_); in PropagateNext()
H A Dclause.h678 trail_->ChangeReason(trail_index, propagator_id_); in ChangeReason()
H A Dinteger.cc1195 trail_->Enqueue(literal, propagator_id_); in EnqueueLiteralInternal()
1429 trail_->Enqueue(to_enqueue, propagator_id_); in EnqueueInternal()
H A Dpb_constraint.cc833 enqueue_helper_.propagator_id = propagator_id_; in AddConstraint()