operations_research::sat::PrecedencesPropagator Member List

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

AddConditionalPrecedence(IntegerVariable i1, IntegerVariable i2, Literal l)	operations_research::sat::PrecedencesPropagator	inline
AddConditionalPrecedenceWithOffset(IntegerVariable i1, IntegerVariable i2, IntegerValue offset, Literal l)	operations_research::sat::PrecedencesPropagator	inline
AddPrecedence(IntegerVariable i1, IntegerVariable i2)	operations_research::sat::PrecedencesPropagator	inline
AddPrecedenceWithAllOptions(IntegerVariable i1, IntegerVariable i2, IntegerValue offset, IntegerVariable offset_var, absl::Span< const Literal > presence_literals)	operations_research::sat::PrecedencesPropagator	inline
AddPrecedenceWithOffset(IntegerVariable i1, IntegerVariable i2, IntegerValue offset)	operations_research::sat::PrecedencesPropagator	inline
AddPrecedenceWithOffsetIfNew(IntegerVariable i1, IntegerVariable i2, IntegerValue offset)	operations_research::sat::PrecedencesPropagator
AddPrecedenceWithVariableOffset(IntegerVariable i1, IntegerVariable i2, IntegerVariable offset_var)	operations_research::sat::PrecedencesPropagator	inline
IsEmpty() const	operations_research::sat::SatPropagator	inlinevirtual
name_	operations_research::sat::SatPropagator	protected
operator=(const PrecedencesPropagator &)=delete	operations_research::sat::PrecedencesPropagator
operations_research::sat::SatPropagator::operator=(const SatPropagator &)=delete	operations_research::sat::SatPropagator
PrecedencesPropagator(Model *model)	operations_research::sat::PrecedencesPropagator	inlineexplicit
PrecedencesPropagator(const PrecedencesPropagator &)=delete	operations_research::sat::PrecedencesPropagator
Propagate() final	operations_research::sat::PrecedencesPropagator	virtual
Propagate(Trail *trail) final	operations_research::sat::PrecedencesPropagator	virtual
PropagateOutgoingArcs(IntegerVariable var)	operations_research::sat::PrecedencesPropagator
PropagatePreconditionsAreSatisfied(const Trail &trail) const	operations_research::sat::SatPropagator	inline
propagation_trail_index_	operations_research::sat::SatPropagator	protected
PropagationIsDone(const Trail &trail) const	operations_research::sat::SatPropagator	inline
propagator_id_	operations_research::sat::SatPropagator	protected
PropagatorId() const	operations_research::sat::SatPropagator	inline
Reason(const Trail &, int, int64_t) const	operations_research::sat::SatPropagator	inlinevirtual
SatPropagator(const std::string &name)	operations_research::sat::SatPropagator	inlineexplicit
SatPropagator(const SatPropagator &)=delete	operations_research::sat::SatPropagator
SetPropagatorId(int id)	operations_research::sat::SatPropagator	inline
Untrail(const Trail &trail, int trail_index) final	operations_research::sat::PrecedencesPropagator	virtual
~PrecedencesPropagator() override	operations_research::sat::PrecedencesPropagator
~SatPropagator()=default	operations_research::sat::SatPropagator	virtual