Home
last modified time | relevance | path

Searched refs:SatPropagator (Results 1 – 11 of 11) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dsat_base.h186 class SatPropagator; variable
248 void RegisterPropagator(SatPropagator* propagator);
441 std::vector<SatPropagator*> propagators_;
447 class SatPropagator {
449 explicit SatPropagator(const std::string& name) in SatPropagator() function
451 virtual ~SatPropagator() {} in ~SatPropagator()
512 DISALLOW_COPY_AND_ASSIGN(SatPropagator);
519 inline bool SatPropagator::PropagatePreconditionsAreSatisfied( in PropagatePreconditionsAreSatisfied()
553 inline void Trail::RegisterPropagator(SatPropagator* propagator) { in RegisterPropagator()
H A Dsat_solver.h141 void AddPropagator(SatPropagator* propagator);
142 void AddLastPropagator(SatPropagator* propagator);
143 void TakePropagatorOwnership(std::unique_ptr<SatPropagator> propagator) { in TakePropagatorOwnership()
694 std::vector<SatPropagator*> propagators_;
697 std::vector<SatPropagator*> external_propagators_;
698 SatPropagator* last_propagator_ = nullptr;
701 std::vector<std::unique_ptr<SatPropagator>> owned_propagators_;
H A Dclause.h161 class LiteralWatchers : public SatPropagator {
457 class BinaryImplicationGraph : public SatPropagator {
460 : SatPropagator("BinaryImplicationGraph"), in BinaryImplicationGraph()
H A Dsymmetry.h61 class SymmetryPropagator : public SatPropagator {
H A Dpb_constraint.h516 class PbConstraints : public SatPropagator {
519 : SatPropagator("PbConstraints"), in PbConstraints()
H A Dprecedences.h52 class PrecedencesPropagator : public SatPropagator, PropagatorInterface {
55 : SatPropagator("PrecedencesPropagator"), in PrecedencesPropagator()
H A Dsymmetry.cc23 : SatPropagator("SymmetryPropagator"), in SymmetryPropagator()
H A Dsat_solver.cc406 void SatSolver::AddPropagator(SatPropagator* propagator) { in AddPropagator()
414 void SatSolver::AddLastPropagator(SatPropagator* propagator) { in AddLastPropagator()
1634 for (SatPropagator* propagator : propagators_) { in Propagate()
1672 for (SatPropagator* propagator : propagators_) { in PropagationIsDone()
1762 for (SatPropagator* propagator : propagators_) { in Untrail()
H A Dinteger.h613 class IntegerTrail : public SatPropagator {
616 : SatPropagator("IntegerTrail"), in IntegerTrail()
1221 class GenericLiteralWatcher : public SatPropagator {
H A Dclause.cc55 : SatPropagator("LiteralWatchers"), in LiteralWatchers()
H A Dinteger.cc1800 : SatPropagator("GenericLiteralWatcher"), in GenericLiteralWatcher()