Home
last modified time | relevance | path

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

/dports/math/clasp/clasp-3.3.5/libpotassco/src/
H A Dsmodels.cpp39 ClaspIncrement = 90, ClaspAssignExt = 91, ClaspReleaseExt = 92 enumerator
170 case ClaspReleaseExt: in readRules()
352 startRule(ClaspReleaseExt).add(a).endRule(); in external()
/dports/math/clingo/clingo-5.5.1/clasp/libpotassco/src/
H A Dsmodels.cpp39 ClaspIncrement = 90, ClaspAssignExt = 91, ClaspReleaseExt = 92 enumerator
170 case ClaspReleaseExt: in readRules()
352 startRule(ClaspReleaseExt).add(a).endRule(); in external()
/dports/math/clasp/clasp-3.3.5/libpotassco/tests/
H A Dtest_smodels.cpp51 ClaspAssignExt = 91, ClaspReleaseExt = 92 enumerator
105 rules[Rule_t::ClaspReleaseExt].push_back(RawRule{static_cast<int>(a)}); in external()
230 REQUIRE(observer.rules[Rule_t::ClaspReleaseExt].size() == 1);
232 REQUIRE(observer.rules[Rule_t::ClaspReleaseExt][0] == RawRule({2}));
481 REQUIRE(observer.rules[Rule_t::ClaspReleaseExt].size() == 1);
/dports/math/clingo/clingo-5.5.1/clasp/libpotassco/tests/
H A Dtest_smodels.cpp51 ClaspAssignExt = 91, ClaspReleaseExt = 92 enumerator
105 rules[Rule_t::ClaspReleaseExt].push_back(RawRule{static_cast<int>(a)}); in external()
230 REQUIRE(observer.rules[Rule_t::ClaspReleaseExt].size() == 1);
232 REQUIRE(observer.rules[Rule_t::ClaspReleaseExt][0] == RawRule({2}));
481 REQUIRE(observer.rules[Rule_t::ClaspReleaseExt].size() == 1);