Searched refs:d_attr_handle (Results 1 – 2 of 2) sorted by relevance
325 d_attr_handle(), in TheoryEngine()2158 if( d_attr_handle.find( attr )!=d_attr_handle.end() ){ in setUserAttribute()2159 for( size_t i=0; i<d_attr_handle[attr].size(); i++ ){ in setUserAttribute()2160 d_attr_handle[attr][i]->setUserAttribute(attr, n, node_values, str_value); in setUserAttribute()2170 d_attr_handle[ str ].push_back( t ); in handleUserAttribute()
902 std::map< std::string, std::vector< theory::Theory* > > d_attr_handle; variable