コード例 #1
0
ファイル: ebc_constraints.cpp プロジェクト: SoarGroup/Soar
void Explanation_Based_Chunker::cache_constraints_in_cond(condition* c)
{
//    dprint(DT_CONSTRAINTS, "Caching relational constraints in condition: %l\n", c);
    if (c->data.tests.id_test->type == CONJUNCTIVE_TEST) cache_constraints_in_test(c->data.tests.id_test);
    if (c->data.tests.attr_test->type == CONJUNCTIVE_TEST) cache_constraints_in_test(c->data.tests.attr_test);
    if (c->data.tests.value_test->type == CONJUNCTIVE_TEST) cache_constraints_in_test(c->data.tests.value_test);
}
コード例 #2
0
ファイル: ebc_constraints.cpp プロジェクト: emamanto/Soar
void Explanation_Based_Chunker::cache_constraints_in_cond(condition* c)
{
    if (c->data.tests.id_test->type == CONJUNCTIVE_TEST) cache_constraints_in_test(c->data.tests.id_test);
    if (c->data.tests.attr_test->type == CONJUNCTIVE_TEST) cache_constraints_in_test(c->data.tests.attr_test);
    if (c->data.tests.value_test->type == CONJUNCTIVE_TEST) cache_constraints_in_test(c->data.tests.value_test);
}