Searched refs:transformDisjunction (Results 1 – 3 of 3) sorted by relevance
84 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