Searched refs:tn_is_monotonic (Results 1 – 1 of 1) sorted by relevance
1142 bool tn_is_monotonic = true; in getBaseLabel() local1145 tn_is_monotonic = !getLogicInfo().isQuantified(); in getBaseLabel()1147 tn_is_monotonic = tn.getCardinality().isInfinite(); in getBaseLabel()1150 if( options::sepDisequalC() && tn_is_monotonic ){ in getBaseLabel()