Home
last modified time | relevance | path

Searched refs:bestp_info (Results 1 – 4 of 4) sorted by relevance

/dports/math/igraph/igraph-0.9.5/src/isomorphism/bliss/
H A Dgraph.cc1120 PathInfo& bestp_info = best_path_info[current_level]; in search() local
1121 assert(bestp_info.certificate_index == certificate_index); in search()
1122 if(subcertificate_length < bestp_info.subcertificate_length) in search()
1126 else if(subcertificate_length > bestp_info.subcertificate_length) in search()
1130 else if(bestp_info.eqref_hash.cmp(eqref_hash) > 0) in search()
1134 else if(bestp_info.eqref_hash.cmp(eqref_hash) < 0) in search()
/dports/math/gap/gap-4.11.0/pkg/digraphs-1.1.1/extern/bliss-0.73/
H A Dgraph.cc1106 PathInfo& bestp_info = best_path_info[current_level]; in search() local
1107 assert(bestp_info.certificate_index == certificate_index); in search()
1108 if(subcertificate_length < bestp_info.subcertificate_length) in search()
1112 else if(subcertificate_length > bestp_info.subcertificate_length) in search()
1116 else if(bestp_info.eqref_hash.cmp(eqref_hash) > 0) in search()
1120 else if(bestp_info.eqref_hash.cmp(eqref_hash) < 0) in search()
/dports/math/R-cran-igraph/igraph/src/bliss/
H A Dgraph.cc1120 PathInfo& bestp_info = best_path_info[current_level]; in search() local
1121 assert(bestp_info.certificate_index == certificate_index); in search()
1122 if(subcertificate_length < bestp_info.subcertificate_length) in search()
1126 else if(subcertificate_length > bestp_info.subcertificate_length) in search()
1130 else if(bestp_info.eqref_hash.cmp(eqref_hash) > 0) in search()
1134 else if(bestp_info.eqref_hash.cmp(eqref_hash) < 0) in search()
/dports/math/bliss/bliss-0.73/
H A Dgraph.cc1131 PathInfo& bestp_info = best_path_info[current_level]; in search() local
1132 assert(bestp_info.certificate_index == certificate_index); in search()
1133 if(subcertificate_length < bestp_info.subcertificate_length) in search()
1137 else if(subcertificate_length > bestp_info.subcertificate_length) in search()
1141 else if(bestp_info.eqref_hash.cmp(eqref_hash) > 0) in search()
1145 else if(bestp_info.eqref_hash.cmp(eqref_hash) < 0) in search()