H A D | MLMatcher.hpp | 58 LiteralList const* const alts[], 68 … baseLits[], unsigned baseLen, Clause* instance, LiteralList const* const alts[], bool multiset = … in init() argument 70 init(baseLits, baseLen, instance, alts, nullptr, multiset); in init() 73 … void init(Clause* base, Clause* instance, LiteralList const* const alts[], bool multiset = false) in init() argument 75 init(base->literals(), base->length(), instance, alts, multiset); in init() 78 … baseLits[], unsigned baseLen, Clause* instance, LiteralList const* const alts[], Literal* resolve… in init() argument 81 init(baseLits, baseLen, instance, alts, resolvedLit, resolvedLit == nullptr); in init() 84 void init(Clause* base, Clause* instance, LiteralList const* const alts[], Literal* resolvedLit) in init() argument 86 init(base->literals(), base->length(), instance, alts, resolvedLit); in init() 135 …base, Clause* instance, LiteralList const* const alts[], Literal* resolve… in canBeMatched() argument [all …]
|