OR-Tools
8.2
LiteralWatchers Member List
This is the complete list of members for
LiteralWatchers
, including all inherited members.
AddClause
(absl::Span< const Literal > literals, Trail *trail)
LiteralWatchers
AddClause
(absl::Span< const Literal > literals)
LiteralWatchers
AddRemovableClause
(const std::vector< Literal > &literals, Trail *trail)
LiteralWatchers
AllClausesInCreationOrder
() const
LiteralWatchers
inline
Attach
(SatClause *clause, Trail *trail)
LiteralWatchers
AttachAllClauses
()
LiteralWatchers
CleanUpWatchers
()
LiteralWatchers
DeleteRemovedClauses
()
LiteralWatchers
Detach
(SatClause *clause)
LiteralWatchers
DetachAllClauses
()
LiteralWatchers
InprocessingAddClause
(absl::Span< const Literal > new_clause)
LiteralWatchers
InprocessingFixLiteral
(Literal true_literal)
LiteralWatchers
InprocessingRemoveClause
(SatClause *clause)
LiteralWatchers
InprocessingRewriteClause
(SatClause *clause, absl::Span< const Literal > new_clause)
LiteralWatchers
IsRemovable
(SatClause *const clause) const
LiteralWatchers
inline
LazyDetach
(SatClause *clause)
LiteralWatchers
literal_size
() const
LiteralWatchers
inline
LiteralWatchers
(Model *model)
LiteralWatchers
explicit
mutable_clauses_info
()
LiteralWatchers
inline
name_
SatPropagator
protected
NextClauseToMinimize
()
LiteralWatchers
inline
num_clauses
() const
LiteralWatchers
inline
num_inspected_clause_literals
() const
LiteralWatchers
inline
num_inspected_clauses
() const
LiteralWatchers
inline
num_removable_clauses
() const
LiteralWatchers
inline
num_watched_clauses
() const
LiteralWatchers
inline
Propagate
(Trail *trail) final
LiteralWatchers
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
LiteralWatchers
virtual
ReasonClause
(int trail_index) const
LiteralWatchers
ResetToMinimizeIndex
()
LiteralWatchers
inline
Resize
(int num_variables)
LiteralWatchers
SatPropagator
(const std::string &name)
SatPropagator
inline
explicit
SetDratProofHandler
(DratProofHandler *drat_proof_handler)
LiteralWatchers
inline
SetPropagatorId
(int id)
SatPropagator
inline
Untrail
(const Trail &trail, int trail_index)
SatPropagator
inline
virtual
WatcherListOnFalse
(Literal false_literal) const
LiteralWatchers
inline
~LiteralWatchers
() override
LiteralWatchers
~SatPropagator
()
SatPropagator
inline
virtual
Generated by
1.9.4