Home
last modified time | relevance | path

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

/dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/sat-solver/
H A Dsat-encoder.cpp748 std::vector<PositionConnector*> last_left_in_e1, first_left_in_e2; in generate_conjunct_order_constraints() local
752 leading_connectors(w, e2, '-', dfs_position_e2, first_left_in_e2); in generate_conjunct_order_constraints()
754 if (!last_left_in_e1.empty() && !first_left_in_e2.empty()) { in generate_conjunct_order_constraints()
759 for (j = first_left_in_e2.begin(); j != first_left_in_e2.end(); j++) { in generate_conjunct_order_constraints()