Searched refs:d_tn_mono_master (Results 1 – 2 of 2) sorted by relevance
1465 if( tn!=d_tn_mono_master ){ in assertNode()1476 if( d_tn_mono_master.isNull() ){ in assertNode()1478 d_tn_mono_master = tn; in assertNode()1490 if( polarity && tn==d_tn_mono_master ){ in assertNode()1803 conf.push_back( d_rep_model[d_tn_mono_master]->getCardinalityLiteral( mc ) ); in checkCombinedCardinality()
467 TypeNode d_tn_mono_master; variable