operations_research::sat::IntegerTrail Member List

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

AddAllGreaterThanConstantReason(absl::Span< AffineExpression > exprs, IntegerValue target_min, std::vector< int > *indices) const	operations_research::sat::IntegerTrail	inline
AddIntegerVariable(IntegerValue lower_bound, IntegerValue upper_bound)	operations_research::sat::IntegerTrail
AddIntegerVariable(const Domain &domain)	operations_research::sat::IntegerTrail
AddIntegerVariable()	operations_research::sat::IntegerTrail	inline
AppendNewBounds(std::vector< IntegerLiteral > *output) const	operations_research::sat::IntegerTrail
AppendNewBoundsFrom(int base_index, std::vector< IntegerLiteral > *output) const	operations_research::sat::IntegerTrail
AppendRelaxedLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, absl::Span< const IntegerVariable > vars, std::vector< IntegerLiteral > *reason) const	operations_research::sat::IntegerTrail
ConditionalEnqueue(Literal lit, IntegerLiteral i_lit, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason)	operations_research::sat::IntegerTrail
ConditionalLowerBound(Literal l, IntegerVariable i) const	operations_research::sat::IntegerTrail	inline
ConditionalLowerBound(Literal l, AffineExpression expr) const	operations_research::sat::IntegerTrail	inline
ConditionalUpperBound(Literal l, IntegerVariable i) const	operations_research::sat::IntegerTrail	inline
ConditionalUpperBound(Literal l, AffineExpression expr) const	operations_research::sat::IntegerTrail	inline
CurrentBranchHadAnIncompletePropagation()	operations_research::sat::IntegerTrail
Enqueue(IntegerLiteral i_lit)	operations_research::sat::IntegerTrail	inline
Enqueue(IntegerLiteral i_lit, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)	operations_research::sat::IntegerTrail	inline
Enqueue(IntegerLiteral i_lit, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason, int trail_index_with_same_reason)	operations_research::sat::IntegerTrail	inline
EnqueueLiteral(Literal literal, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)	operations_research::sat::IntegerTrail
EnqueueWithLazyReason(IntegerLiteral i_lit, int id, IntegerValue propagation_slack, LazyReasonInterface *explainer)	operations_research::sat::IntegerTrail	inline
FindTrailIndexOfVarBefore(IntegerVariable var, int threshold) const	operations_research::sat::IntegerTrail
FirstUnassignedVariable() const	operations_research::sat::IntegerTrail
FixedValue(IntegerVariable i) const	operations_research::sat::IntegerTrail	inline
FixedValue(AffineExpression expr) const	operations_research::sat::IntegerTrail	inline
GetOrCreateConstantIntegerVariable(IntegerValue value)	operations_research::sat::IntegerTrail
HasPendingRootLevelDeduction() const	operations_research::sat::IntegerTrail	inline
Index() const	operations_research::sat::IntegerTrail	inline
InitialVariableDomain(IntegerVariable var) const	operations_research::sat::IntegerTrail
InPropagationLoop() const	operations_research::sat::IntegerTrail
IntegerLiteralIsFalse(IntegerLiteral l) const	operations_research::sat::IntegerTrail	inline
IntegerLiteralIsTrue(IntegerLiteral l) const	operations_research::sat::IntegerTrail	inline
IntegerTrail(Model *model)	operations_research::sat::IntegerTrail	inlineexplicit
IntegerTrail(const IntegerTrail &)=delete	operations_research::sat::IntegerTrail
IsEmpty() const	operations_research::sat::SatPropagator	inlinevirtual
IsFixed(IntegerVariable i) const	operations_research::sat::IntegerTrail	inline
IsFixed(AffineExpression expr) const	operations_research::sat::IntegerTrail	inline
IsFixedAtLevelZero(IntegerVariable var) const	operations_research::sat::IntegerTrail	inline
IsFixedAtLevelZero(AffineExpression expr) const	operations_research::sat::IntegerTrail	inline
LevelZeroLowerBound(IntegerVariable var) const	operations_research::sat::IntegerTrail	inline
LevelZeroLowerBound(AffineExpression exp) const	operations_research::sat::IntegerTrail	inline
LevelZeroUpperBound(IntegerVariable var) const	operations_research::sat::IntegerTrail	inline
LevelZeroUpperBound(AffineExpression exp) const	operations_research::sat::IntegerTrail	inline
LowerBound(IntegerVariable i) const	operations_research::sat::IntegerTrail	inline
LowerBound(AffineExpression expr) const	operations_research::sat::IntegerTrail	inline
LowerBoundAsLiteral(IntegerVariable i) const	operations_research::sat::IntegerTrail	inline
LowerBoundAsLiteral(AffineExpression expr) const	operations_research::sat::IntegerTrail	inline
LowerBoundsData() const	operations_research::sat::IntegerTrail	inline
MergeReasonInto(absl::Span< const IntegerLiteral > literals, std::vector< Literal > *output) const	operations_research::sat::IntegerTrail
name_	operations_research::sat::SatPropagator	protected
NextVariableToBranchOnInPropagationLoop() const	operations_research::sat::IntegerTrail
NotifyThatPropagationWasAborted()	operations_research::sat::IntegerTrail
num_enqueues() const	operations_research::sat::IntegerTrail	inline
num_level_zero_enqueues() const	operations_research::sat::IntegerTrail	inline
NumConstantVariables() const	operations_research::sat::IntegerTrail
NumIntegerVariables() const	operations_research::sat::IntegerTrail	inline
operator=(const IntegerTrail &)=delete	operations_research::sat::IntegerTrail
operations_research::sat::SatPropagator::operator=(const SatPropagator &)=delete	operations_research::sat::SatPropagator
Propagate(Trail *trail) final	operations_research::sat::IntegerTrail	virtual
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 &trail, int trail_index, int64_t conflict_id) const final	operations_research::sat::IntegerTrail	virtual
ReasonFor(IntegerLiteral literal) const	operations_research::sat::IntegerTrail
RegisterDebugChecker(std::function< bool(absl::Span< const Literal > clause, absl::Span< const IntegerLiteral > integers)> checker)	operations_research::sat::IntegerTrail	inline
RegisterReversibleClass(ReversibleInterface *rev)	operations_research::sat::IntegerTrail	inline
RegisterWatcher(SparseBitset< IntegerVariable > *p)	operations_research::sat::IntegerTrail	inline
RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< IntegerLiteral > *reason) const	operations_research::sat::IntegerTrail
RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< int > *trail_indices) const	operations_research::sat::IntegerTrail
RemoveLevelZeroBounds(std::vector< IntegerLiteral > *reason) const	operations_research::sat::IntegerTrail
ReportConflict(absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)	operations_research::sat::IntegerTrail	inline
ReportConflict(absl::Span< const IntegerLiteral > integer_reason)	operations_research::sat::IntegerTrail	inline
ReserveSpaceForNumVariables(int num_vars)	operations_research::sat::IntegerTrail
RootLevelEnqueue(IntegerLiteral i_lit)	operations_research::sat::IntegerTrail
SafeEnqueue(IntegerLiteral i_lit, absl::Span< const IntegerLiteral > integer_reason)	operations_research::sat::IntegerTrail
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
timestamp() const	operations_research::sat::IntegerTrail	inline
Untrail(const Trail &trail, int literal_trail_index) final	operations_research::sat::IntegerTrail	virtual
UpdateInitialDomain(IntegerVariable var, Domain domain)	operations_research::sat::IntegerTrail
UpperBound(IntegerVariable i) const	operations_research::sat::IntegerTrail	inline
UpperBound(AffineExpression expr) const	operations_research::sat::IntegerTrail	inline
UpperBoundAsLiteral(IntegerVariable i) const	operations_research::sat::IntegerTrail	inline
UpperBoundAsLiteral(AffineExpression expr) const	operations_research::sat::IntegerTrail	inline
VariableLowerBoundIsFromLevelZero(IntegerVariable var) const	operations_research::sat::IntegerTrail	inline
~IntegerTrail() final	operations_research::sat::IntegerTrail
~SatPropagator()=default	operations_research::sat::SatPropagator	virtual