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() constLiteralWatchersinline
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) constLiteralWatchersinline
LazyDetach(SatClause *clause)LiteralWatchers
literal_size() constLiteralWatchersinline
LiteralWatchers(Model *model)LiteralWatchersexplicit
mutable_clauses_info()LiteralWatchersinline
name_SatPropagatorprotected
NextClauseToMinimize()LiteralWatchersinline
num_clauses() constLiteralWatchersinline
num_inspected_clause_literals() constLiteralWatchersinline
num_inspected_clauses() constLiteralWatchersinline
num_removable_clauses() constLiteralWatchersinline
num_watched_clauses() constLiteralWatchersinline
Propagate(Trail *trail) finalLiteralWatchersvirtual
PropagatePreconditionsAreSatisfied(const Trail &trail) constSatPropagatorinline
propagation_trail_index_SatPropagatorprotected
PropagationIsDone(const Trail &trail) constSatPropagatorinline
propagator_id_SatPropagatorprotected
PropagatorId() constSatPropagatorinline
Reason(const Trail &trail, int trail_index) const finalLiteralWatchersvirtual
ReasonClause(int trail_index) constLiteralWatchers
ResetToMinimizeIndex()LiteralWatchersinline
Resize(int num_variables)LiteralWatchers
SatPropagator(const std::string &name)SatPropagatorinlineexplicit
SetDratProofHandler(DratProofHandler *drat_proof_handler)LiteralWatchersinline
SetPropagatorId(int id)SatPropagatorinline
Untrail(const Trail &trail, int trail_index)SatPropagatorinlinevirtual
WatcherListOnFalse(Literal false_literal) constLiteralWatchersinline
~LiteralWatchers() overrideLiteralWatchers
~SatPropagator()SatPropagatorinlinevirtual