Home
last modified time | relevance | path

Searched refs:SizeOfPart (Results 1 – 3 of 3) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/algorithms/
H A Dfind_graph_symmetries.cc58 if (p1.SizeOfPart(p) != p2.SizeOfPart(p) || in PartitionsAreCompatibleAfterPartIndex()
284 partition->SizeOfPart(parent) == 1) { in DistinguishNodeInPartition()
288 if (partition->SizeOfPart(p) == 1) { in DistinguishNodeInPartition()
777 while (base_partition->SizeOfPart(non_singleton_part) == 1) { in FindOneSuitablePermutation()
822 image_partition->SizeOfPart(part)); in FindOneSuitablePermutation()
914 partition.SizeOfPart(partition.PartOf(*cycle.begin()))) { in PruneOrbitsUnderPermutationsCompatibleWithPartition()
1012 if (base_partition.SizeOfPart(p) != 1 && in ConfirmFullMatchOrFindNextMappingDecision()
1021 base_partition.SizeOfPart(parent) != 1 && in ConfirmFullMatchOrFindNextMappingDecision()
1034 if (base_partition.SizeOfPart(p) != 1) { in ConfirmFullMatchOrFindNextMappingDecision()
H A Ddynamic_partition.h74 int SizeOfPart(int part) const;
291 inline int DynamicPartition::SizeOfPart(int part) const { in SizeOfPart() function
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dvar_domination.cc167 const int part_size = partition_->SizeOfPart(var_part); in Initialize()
212 const int part_size = partition_->SizeOfPart(part); in EndFirstPhase()