Searched refs:d_virtual_enum (Results 1 – 2 of 2) sorted by relevance
448 if (d_virtual_enum.isNull()) in mkLiteral()469 d_virtual_enum = nm->mkSkolem("_ve", vtn); in mkLiteral()471 d_virtual_enum, Node::null(), d_parent, ROLE_ENUM_CONSTRAINED); in mkLiteral()480 Node size_ve = nm->mkNode(DT_SIZE, d_virtual_enum); in mkLiteral()
160 Node d_virtual_enum; variable