![]() |
OR-Tools
8.2
|
This is the complete list of members for PrecedencesPropagator, including all inherited members.
AddConditionalPrecedence(IntegerVariable i1, IntegerVariable i2, Literal l) | PrecedencesPropagator | inline |
AddConditionalPrecedenceWithOffset(IntegerVariable i1, IntegerVariable i2, IntegerValue offset, Literal l) | PrecedencesPropagator | inline |
AddGreaterThanAtLeastOneOfConstraints(Model *model) | PrecedencesPropagator | |
AddPrecedence(IntegerVariable i1, IntegerVariable i2) | PrecedencesPropagator | inline |
AddPrecedenceReason(int arc_index, IntegerValue min_offset, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason) const | PrecedencesPropagator | |
AddPrecedenceWithAllOptions(IntegerVariable i1, IntegerVariable i2, IntegerValue offset, IntegerVariable offset_var, absl::Span< const Literal > presence_literals) | PrecedencesPropagator | inline |
AddPrecedenceWithOffset(IntegerVariable i1, IntegerVariable i2, IntegerValue offset) | PrecedencesPropagator | inline |
AddPrecedenceWithVariableOffset(IntegerVariable i1, IntegerVariable i2, IntegerVariable offset_var) | PrecedencesPropagator | inline |
ComputePrecedences(const std::vector< IntegerVariable > &vars, std::vector< IntegerPrecedences > *output) | PrecedencesPropagator | |
name_ | SatPropagator | protected |
PrecedencesPropagator(Model *model) | PrecedencesPropagator | inlineexplicit |
Propagate() final | PrecedencesPropagator | virtual |
Propagate(Trail *trail) final | PrecedencesPropagator | virtual |
PropagateOutgoingArcs(IntegerVariable var) | PrecedencesPropagator | |
PropagatePreconditionsAreSatisfied(const Trail &trail) const | SatPropagator | inline |
propagation_trail_index_ | SatPropagator | protected |
PropagationIsDone(const Trail &trail) const | SatPropagator | inline |
propagator_id_ | SatPropagator | protected |
PropagatorId() const | SatPropagator | inline |
Reason(const Trail &trail, int trail_index) const | SatPropagator | inlinevirtual |
SatPropagator(const std::string &name) | SatPropagator | inlineexplicit |
SetPropagatorId(int id) | SatPropagator | inline |
Untrail(const Trail &trail, int trail_index) final | PrecedencesPropagator | virtual |
~SatPropagator() | SatPropagator | inlinevirtual |