Searched defs:eq_justification (Results 1 – 4 of 4) sorted by relevance
41 explicit eq_justification(): in eq_justification() function49 explicit eq_justification(bool commutativity): in eq_justification() function53 explicit eq_justification(literal l): in eq_justification() function57 explicit eq_justification(justification * js): in eq_justification() function
33 eq_justification(std::initializer_list<lpci> cs) { in eq_justification() function