Searched refs:lit_mem_map (Results 1 – 1 of 1) sorted by relevance
1181 std::map< unsigned, Node > lit_mem_map; in getBaseLabel() local1183 …lit_mem_map[i] = NodeManager::currentNM()->mkNode( kind::MEMBER, d_type_references_card[tn][i], d_… in getBaseLabel()1188 children.push_back( lit_mem_map[j].negate() ); in getBaseLabel()1192 … sym_lem = NodeManager::currentNM()->mkNode( kind::IMPLIES, lit_mem_map[i].negate(), sym_lem ); in getBaseLabel()