OR-Tools  8.2
BinaryImplicationGraph Member List

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

AddAtMostOne(absl::Span< const Literal > at_most_one)BinaryImplicationGraph
AddBinaryClause(Literal a, Literal b)BinaryImplicationGraph
AddBinaryClauseDuringSearch(Literal a, Literal b)BinaryImplicationGraph
AddImplication(Literal a, Literal b)BinaryImplicationGraphinline
BinaryImplicationGraph(Model *model)BinaryImplicationGraphinlineexplicit
ChangeReason(int trail_index, Literal new_reason)BinaryImplicationGraphinline
CleanupAllRemovedVariables()BinaryImplicationGraph
ComputeTransitiveReduction(bool log_info=false)BinaryImplicationGraph
DetectEquivalences(bool log_info=false)BinaryImplicationGraph
DirectImplications(Literal literal)BinaryImplicationGraph
DirectImplicationsEstimatedSize(Literal literal) constBinaryImplicationGraphinline
ExtractAllBinaryClauses(Output *out) constBinaryImplicationGraphinline
FindFailedLiteralAroundVar(BooleanVariable var, bool *is_unsat)BinaryImplicationGraph
GenerateAtMostOnesWithLargeWeight(const std::vector< Literal > &literals, const std::vector< double > &lp_values)BinaryImplicationGraph
Implications(Literal l) constBinaryImplicationGraphinline
IsDag() constBinaryImplicationGraphinline
IsEmpty()BinaryImplicationGraphinline
IsRedundant(Literal l) constBinaryImplicationGraphinline
IsRemoved(Literal l) constBinaryImplicationGraphinline
literal_size() constBinaryImplicationGraphinline
MinimizeConflictExperimental(const Trail &trail, std::vector< Literal > *c)BinaryImplicationGraph
MinimizeConflictFirst(const Trail &trail, std::vector< Literal > *c, SparseBitset< BooleanVariable > *marked)BinaryImplicationGraph
MinimizeConflictFirstWithTransitiveReduction(const Trail &trail, std::vector< Literal > *c, SparseBitset< BooleanVariable > *marked, absl::BitGenRef random)BinaryImplicationGraph
MinimizeConflictWithReachability(std::vector< Literal > *c)BinaryImplicationGraph
name_SatPropagatorprotected
num_implications() constBinaryImplicationGraphinline
num_inspections() constBinaryImplicationGraphinline
num_literals_removed() constBinaryImplicationGraphinline
num_minimization() constBinaryImplicationGraphinline
num_propagations() constBinaryImplicationGraphinline
num_redundant_implications() constBinaryImplicationGraphinline
num_redundant_literals() constBinaryImplicationGraphinline
NumImplicationOnVariableRemoval(BooleanVariable var)BinaryImplicationGraph
Propagate(Trail *trail) finalBinaryImplicationGraphvirtual
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 finalBinaryImplicationGraphvirtual
RemoveBooleanVariable(BooleanVariable var, std::deque< std::vector< Literal >> *postsolve_clauses)BinaryImplicationGraph
RemoveFixedVariables()BinaryImplicationGraph
RepresentativeOf(Literal l) constBinaryImplicationGraphinline
Resize(int num_variables)BinaryImplicationGraph
ReverseTopologicalOrder() constBinaryImplicationGraphinline
SatPropagator(const std::string &name)SatPropagatorinlineexplicit
SetDratProofHandler(DratProofHandler *drat_proof_handler)BinaryImplicationGraphinline
SetPropagatorId(int id)SatPropagatorinline
TransformIntoMaxCliques(std::vector< std::vector< Literal >> *at_most_ones, int64 max_num_explored_nodes=1e8)BinaryImplicationGraph
Untrail(const Trail &trail, int trail_index)SatPropagatorinlinevirtual
~BinaryImplicationGraph() overrideBinaryImplicationGraphinline
~SatPropagator()SatPropagatorinlinevirtual