Searched refs:d_skolemIndex (Results 1 – 2 of 2) sorted by relevance
413 context::CDO<unsigned> d_skolemIndex; variable
105 d_skolemIndex(c, 0), in TheoryArrays()1294 d_skolemIndex = d_skolemIndex + 1; in getSkolem()