Searched refs:Untrail (Results 1 – 13 of 13) sorted by relevance
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
H A D | sat_base.h | 345 void Untrail(int target_trail_index) { in Untrail() function 353 void Dequeue() { Untrail(Index() - 1); } in Dequeue() 477 virtual void Untrail(const Trail& trail, int trail_index) { in Untrail() function
|
H A D | symmetry.h | 67 void Untrail(const Trail& trail, int trail_index) final;
|
H A D | sat_decision.h | 71 void Untrail(int target_trail_index);
|
H A D | pb_constraint.h | 413 void Untrail(Coefficient* threshold, int trail_index); 539 void Untrail(const Trail& trail, int trail_index) final;
|
H A D | symmetry.cc | 134 void SymmetryPropagator::Untrail(const Trail& trail, int trail_index) { in Untrail() function in operations_research::sat::SymmetryPropagator
|
H A D | pb_constraint.cc | 812 void UpperBoundedLinearConstraint::Untrail(Coefficient* threshold, in Untrail() function in operations_research::sat::UpperBoundedLinearConstraint 943 void PbConstraints::Untrail(const Trail& trail, int trail_index) { in Untrail() function in operations_research::sat::PbConstraints 961 constraints_[cst_index.value()]->Untrail(&(thresholds_[cst_index]), in Untrail()
|
H A D | sat_solver.cc | 915 Untrail(target_trail_index); in Backtrack() 1759 void SatSolver::Untrail(int target_trail_index) { in Untrail() function in operations_research::sat::SatSolver 1763 propagator->Untrail(*trail_, target_trail_index); in Untrail() 1765 decision_policy_->Untrail(target_trail_index); in Untrail() 1766 trail_->Untrail(target_trail_index); in Untrail()
|
H A D | sat_decision.cc | 397 void SatDecisionPolicy::Untrail(int target_trail_index) { in Untrail() function in operations_research::sat::SatDecisionPolicy
|
H A D | precedences.h | 67 void Untrail(const Trail& trail, int trail_index) final;
|
H A D | sat_solver.h | 563 void Untrail(int target_trail_index);
|
H A D | integer.h | 630 void Untrail(const Trail& trail, int literal_trail_index) final; 1230 void Untrail(const Trail& trail, int literal_trail_index) final;
|
H A D | precedences.cc | 111 void PrecedencesPropagator::Untrail(const Trail& trail, int trail_index) { in Untrail() function in operations_research::sat::PrecedencesPropagator
|
H A D | integer.cc | 561 void IntegerTrail::Untrail(const Trail& trail, int literal_trail_index) { in Untrail() function in operations_research::sat::IntegerTrail 1971 void GenericLiteralWatcher::Untrail(const Trail& trail, int trail_index) { in Untrail() function in operations_research::sat::GenericLiteralWatcher
|