operations_research::sat::SccGraph Class Reference

Detailed Description

Definition at line 1582 of file clause.cc.

Public Types
using	SccFinder

Public Member Functions
	SccGraph (SccFinder *finder, util_intops::StrongVector< LiteralIndex, LiteralsOrOffsets > *implications_and_offsets, std::vector< Literal > *at_most_one_buffer, util_intops::StrongVector< LiteralIndex, LiteralIndex > *parents, std::vector< Literal > *to_fix, std::vector< Literal > *parent_of_to_fix)
const std::vector< int32_t > &	operator[] (int32_t node) const

Public Attributes
int64_t	work_done_ = 0

Member Typedef Documentation

SccFinder

using operations_research::sat::SccGraph::SccFinder

Initial value:

 
      StronglyConnectedComponentsFinder<int32_t, SccGraph,
                                        CompactVectorVector<int32_t, int32_t>>

Definition at line 1584 of file clause.cc.

Constructor & Destructor Documentation

SccGraph()

operations_research::sat::SccGraph::SccGraph ( SccFinder * finder, util_intops::StrongVector< LiteralIndex, LiteralsOrOffsets > * implications_and_offsets, std::vector< Literal > * at_most_one_buffer, util_intops::StrongVector< LiteralIndex, LiteralIndex > * parents, std::vector< Literal > * to_fix, std::vector< Literal > * parent_of_to_fix )

inlineexplicit

Definition at line 1588 of file clause.cc.

Member Function Documentation

operator[]()

const std::vector< int32_t > & operations_research::sat::SccGraph::operator[] ( int32_t node ) const

inline

Definition at line 1609 of file clause.cc.

Member Data Documentation

work_done_

int64_t operations_research::sat::SccGraph::work_done_ = 0

mutable

Definition at line 1694 of file clause.cc.

---

The documentation for this class was generated from the following file:

• ortools/sat/clause.cc