Searched defs:theory_id (Results 1 – 15 of 15) sorted by relevance
41 typedef family_id theory_id; typedef
40 typedef family_id theory_id; typedef
38 for (size_t j_index = i_index + 1; j_index < m->size(); ++j_index) {
186 theory::TheoryId theory_id = theory::Theory::theoryOf(term); in registerTerm() local285 theory::TheoryId theory_id = theory::Theory::theoryOf(term); in printTheoryTerm() local694 theory::TheoryId theory_id = getTheoryForLemma(clause); in printTheoryLemmas() local744 theory::TheoryId theory_id = currentStep->getTheory(); in printTheoryLemmas() local1116 theory::TheoryId theory_id = theory::Theory::theoryOf(n); in printsAsBool() local
214 int n, b, e, theory_id; in next() local
244 int n, b, e, theory_id; in next() local
31 typedef euf::theory_id theory_id; typedef
43 typedef euf::theory_id theory_id; typedef
32 typedef euf::theory_id theory_id; typedef
40 typedef int theory_id; typedef