Searched refs:getCardinalityTerm (Results 1 – 2 of 2) sorted by relevance
324 Node getCardinalityTerm() { return d_cardinality_term; } in getCardinalityTerm() function
1460 Node ct = d_rep_model[tn]->getCardinalityTerm(); in assertNode()