Searched refs:opDefs_ (Results 1 – 2 of 2) sorted by relevance
78 auto it = opDefs_.find(def.key()); in addOpDef()79 if (it == opDefs_.end()) { in addOpDef()80 opDefs_.push(std::move(def)); in addOpDef()104 print_comma(out, opDefs_, ","); in print()109 auto ret = opDefs_.find(TheoryOpDef::Key{op, false}); in getPrioAndAssoc()110 if (ret != opDefs_.end()) { in getPrioAndAssoc()119 return opDefs_.find(TheoryOpDef::Key{op, unary}) != opDefs_.end(); in hasOp()123 auto ret = opDefs_.find(TheoryOpDef::Key{op, unary}); in getPrio()124 if (ret != opDefs_.end()) { in getPrio()
98 TheoryOpDefs opDefs_; member in Gringo::TheoryTermDef