Searched refs:EXPR_SKOLEM (Results 1 – 3 of 3) sorted by relevance
100 d_mm[EXPR_SKOLEM] = new MemoryManagerChunks(sizeof(ExprSkolem)); in ExprManager()111 d_mm[EXPR_SKOLEM] = new MemoryManagerMalloc(); in ExprManager()
710 size_t getMMIndex() const { return EXPR_SKOLEM;} in getMMIndex()
71 EXPR_SKOLEM, enumerator