Searched refs:d_trans_num (Results 1 – 2 of 2) sorted by relevance
403 int d_trans_num; variable
210 d_trans_num=0; in TheoryQuant()3241 d_trans_num++; in setupTriggers()3242 DebugAssert(d_trans_num <= 1, "more than one trans found"); in setupTriggers()