Searched refs:d_sym_break_index (Results 1 – 2 of 2) sorted by relevance
56 std::map< Node, int > d_sym_break_index; variable
1081 if( d_sym_break_index.find(n)!=d_sym_break_index.end() ){ in addTotalityAxiom()1082 use_cardinality = d_sym_break_index[n]; in addTotalityAxiom()1086 d_sym_break_index[n] = use_cardinality; in addTotalityAxiom()