Home
last modified time | relevance | path

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

/dports/math/clasp/clasp-3.3.5/src/
H A Dlogic_program_types.cpp84 uint32 transformDisjunction(const Potassco::AtomSpan& r);
129 … + (r.ht == Head_t::Choice ? impl_->transformChoice(r.head) : impl_->transformDisjunction(r.head)); in transform()
158 uint32 RuleTransform::Impl::transformDisjunction(const Potassco::AtomSpan& atoms) { in transformDisjunction() function in Clasp::Asp::RuleTransform::Impl
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dlogic_program_types.cpp84 uint32 transformDisjunction(const Potassco::AtomSpan& r);
129 … + (r.ht == Head_t::Choice ? impl_->transformChoice(r.head) : impl_->transformDisjunction(r.head)); in transform()
158 uint32 RuleTransform::Impl::transformDisjunction(const Potassco::AtomSpan& atoms) { in transformDisjunction() function in Clasp::Asp::RuleTransform::Impl
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dlogic_program_types.cpp84 uint32 transformDisjunction(const Potassco::AtomSpan& r);
129 … + (r.ht == Head_t::Choice ? impl_->transformChoice(r.head) : impl_->transformDisjunction(r.head)); in transform()
158 uint32 RuleTransform::Impl::transformDisjunction(const Potassco::AtomSpan& atoms) { in transformDisjunction() function in Clasp::Asp::RuleTransform::Impl