OR-Tools  8.2
PrecedencesPropagator Member List

This is the complete list of members for PrecedencesPropagator, including all inherited members.

AddConditionalPrecedence(IntegerVariable i1, IntegerVariable i2, Literal l)PrecedencesPropagatorinline
AddConditionalPrecedenceWithOffset(IntegerVariable i1, IntegerVariable i2, IntegerValue offset, Literal l)PrecedencesPropagatorinline
AddGreaterThanAtLeastOneOfConstraints(Model *model)PrecedencesPropagator
AddPrecedence(IntegerVariable i1, IntegerVariable i2)PrecedencesPropagatorinline
AddPrecedenceReason(int arc_index, IntegerValue min_offset, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason) constPrecedencesPropagator
AddPrecedenceWithAllOptions(IntegerVariable i1, IntegerVariable i2, IntegerValue offset, IntegerVariable offset_var, absl::Span< const Literal > presence_literals)PrecedencesPropagatorinline
AddPrecedenceWithOffset(IntegerVariable i1, IntegerVariable i2, IntegerValue offset)PrecedencesPropagatorinline
AddPrecedenceWithVariableOffset(IntegerVariable i1, IntegerVariable i2, IntegerVariable offset_var)PrecedencesPropagatorinline
ComputePrecedences(const std::vector< IntegerVariable > &vars, std::vector< IntegerPrecedences > *output)PrecedencesPropagator
name_SatPropagatorprotected
PrecedencesPropagator(Model *model)PrecedencesPropagatorinlineexplicit
Propagate() finalPrecedencesPropagatorvirtual
Propagate(Trail *trail) finalPrecedencesPropagatorvirtual
PropagateOutgoingArcs(IntegerVariable var)PrecedencesPropagator
PropagatePreconditionsAreSatisfied(const Trail &trail) constSatPropagatorinline
propagation_trail_index_SatPropagatorprotected
PropagationIsDone(const Trail &trail) constSatPropagatorinline
propagator_id_SatPropagatorprotected
PropagatorId() constSatPropagatorinline
Reason(const Trail &trail, int trail_index) constSatPropagatorinlinevirtual
SatPropagator(const std::string &name)SatPropagatorinlineexplicit
SetPropagatorId(int id)SatPropagatorinline
Untrail(const Trail &trail, int trail_index) finalPrecedencesPropagatorvirtual
~SatPropagator()SatPropagatorinlinevirtual