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