IntegerTrail Member List

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

AddIntegerVariable(IntegerValue lower_bound, IntegerValue upper_bound)	IntegerTrail
AddIntegerVariable(const Domain &domain)	IntegerTrail
AddIntegerVariable()	IntegerTrail	inline
AppendNewBounds(std::vector< IntegerLiteral > *output) const	IntegerTrail
AppendRelaxedLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, absl::Span< const IntegerVariable > vars, std::vector< IntegerLiteral > *reason) const	IntegerTrail
ConditionalEnqueue(Literal lit, IntegerLiteral i_lit, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason)	IntegerTrail
CurrentBranchHadAnIncompletePropagation()	IntegerTrail
Enqueue(IntegerLiteral i_lit, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)	IntegerTrail
Enqueue(IntegerLiteral i_lit, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason, int trail_index_with_same_reason)	IntegerTrail
Enqueue(IntegerLiteral i_lit, LazyReasonFunction lazy_reason)	IntegerTrail
EnqueueLiteral(Literal literal, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)	IntegerTrail
FindTrailIndexOfVarBefore(IntegerVariable var, int threshold) const	IntegerTrail
FirstUnassignedVariable() const	IntegerTrail
GetOrCreateConstantIntegerVariable(IntegerValue value)	IntegerTrail
HasPendingRootLevelDeduction() const	IntegerTrail	inline
Index() const	IntegerTrail	inline
InitialVariableDomain(IntegerVariable var) const	IntegerTrail
InPropagationLoop() const	IntegerTrail
IntegerLiteralIsFalse(IntegerLiteral l) const	IntegerTrail	inline
IntegerLiteralIsTrue(IntegerLiteral l) const	IntegerTrail	inline
IntegerTrail(Model *model)	IntegerTrail	inlineexplicit
IsCurrentlyIgnored(IntegerVariable i) const	IntegerTrail	inline
IsFixed(IntegerVariable i) const	IntegerTrail	inline
IsFixed(AffineExpression expr) const	IntegerTrail	inline
IsFixedAtLevelZero(IntegerVariable var) const	IntegerTrail	inline
IsIgnoredLiteral(IntegerVariable i) const	IntegerTrail	inline
IsOptional(IntegerVariable i) const	IntegerTrail	inline
LazyReasonFunction typedef	IntegerTrail
LevelZeroLowerBound(IntegerVariable var) const	IntegerTrail	inline
LevelZeroUpperBound(IntegerVariable var) const	IntegerTrail	inline
LowerBound(IntegerVariable i) const	IntegerTrail	inline
LowerBound(AffineExpression expr) const	IntegerTrail	inline
LowerBoundAsLiteral(IntegerVariable i) const	IntegerTrail	inline
MarkIntegerVariableAsOptional(IntegerVariable i, Literal is_considered)	IntegerTrail	inline
MergeReasonInto(absl::Span< const IntegerLiteral > literals, std::vector< Literal > *output) const	IntegerTrail
name_	SatPropagator	protected
NextVariableToBranchOnInPropagationLoop() const	IntegerTrail
num_enqueues() const	IntegerTrail	inline
num_level_zero_enqueues() const	IntegerTrail	inline
NumConstantVariables() const	IntegerTrail
NumIntegerVariables() const	IntegerTrail	inline
OptionalLiteralIndex(IntegerVariable i) const	IntegerTrail	inline
Propagate(Trail *trail) final	IntegerTrail	virtual
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 final	IntegerTrail	virtual
ReasonFor(IntegerLiteral literal) const	IntegerTrail
RegisterReversibleClass(ReversibleInterface *rev)	IntegerTrail	inline
RegisterWatcher(SparseBitset< IntegerVariable > *p)	IntegerTrail	inline
RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< IntegerLiteral > *reason) const	IntegerTrail
RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< int > *trail_indices) const	IntegerTrail
RemoveLevelZeroBounds(std::vector< IntegerLiteral > *reason) const	IntegerTrail
ReportConflict(absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)	IntegerTrail	inline
ReportConflict(absl::Span< const IntegerLiteral > integer_reason)	IntegerTrail	inline
ReserveSpaceForNumVariables(int num_vars)	IntegerTrail
SatPropagator(const std::string &name)	SatPropagator	inlineexplicit
SetPropagatorId(int id)	SatPropagator	inline
timestamp() const	IntegerTrail	inline
Untrail(const Trail &trail, int literal_trail_index) final	IntegerTrail	virtual
UpdateInitialDomain(IntegerVariable var, Domain domain)	IntegerTrail
UpperBound(IntegerVariable i) const	IntegerTrail	inline
UpperBound(AffineExpression expr) const	IntegerTrail	inline
UpperBoundAsLiteral(IntegerVariable i) const	IntegerTrail	inline
VariableLowerBoundIsFromLevelZero(IntegerVariable var) const	IntegerTrail	inline
~IntegerTrail() final	IntegerTrail
~SatPropagator()	SatPropagator	inlinevirtual