![]() |
OR-Tools
8.2
|
Public Types | |
using | Implication = absl::StrongVector< LiteralIndex, absl::InlinedVector< Literal, 6 > > |
using | AtMostOne = absl::StrongVector< LiteralIndex, absl::InlinedVector< int32, 6 > > |
using | SccFinder = StronglyConnectedComponentsFinder< int32, SccGraph, std::vector< std::vector< int32 > > > |
Public Member Functions | |
SccGraph (SccFinder *finder, Implication *graph, AtMostOne *at_most_ones, std::vector< Literal > *at_most_one_buffer) | |
const std::vector< int32 > & | operator[] (int32 node) const |
Public Attributes | |
std::vector< Literal > | to_fix_ |
int64 | work_done_ = 0 |
using AtMostOne = absl::StrongVector<LiteralIndex, absl::InlinedVector<int32, 6> > |
using Implication = absl::StrongVector<LiteralIndex, absl::InlinedVector<Literal, 6> > |
using SccFinder = StronglyConnectedComponentsFinder<int32, SccGraph, std::vector<std::vector<int32> >> |
|
inlineexplicit |