Home
last modified time | relevance | path

Searched refs:Untrail (Results 1 – 13 of 13) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dsat_base.h345 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 Dsymmetry.h67 void Untrail(const Trail& trail, int trail_index) final;
H A Dsat_decision.h71 void Untrail(int target_trail_index);
H A Dpb_constraint.h413 void Untrail(Coefficient* threshold, int trail_index);
539 void Untrail(const Trail& trail, int trail_index) final;
H A Dsymmetry.cc134 void SymmetryPropagator::Untrail(const Trail& trail, int trail_index) { in Untrail() function in operations_research::sat::SymmetryPropagator
H A Dpb_constraint.cc812 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 Dsat_solver.cc915 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 Dsat_decision.cc397 void SatDecisionPolicy::Untrail(int target_trail_index) { in Untrail() function in operations_research::sat::SatDecisionPolicy
H A Dprecedences.h67 void Untrail(const Trail& trail, int trail_index) final;
H A Dsat_solver.h563 void Untrail(int target_trail_index);
H A Dinteger.h630 void Untrail(const Trail& trail, int literal_trail_index) final;
1230 void Untrail(const Trail& trail, int literal_trail_index) final;
H A Dprecedences.cc111 void PrecedencesPropagator::Untrail(const Trail& trail, int trail_index) { in Untrail() function in operations_research::sat::PrecedencesPropagator
H A Dinteger.cc561 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