Searched refs:d_abstractValueCount (Results 1 – 2 of 2) sorted by relevance
103 d_abstractValueCount(0), in NodeManager()119 d_abstractValueCount(0), in NodeManager()788 Node n = mkConst(AbstractValue(++d_abstractValueCount)); in mkAbstractValue()
204 unsigned d_abstractValueCount; variable