Searched refs:d_spatial_assertions (Results 1 – 2 of 2) sorted by relevance
50 d_spatial_assertions(c) in TheorySep()508 d_spatial_assertions.push_back( fact ); in check()550 …for( NodeList::const_iterator i = d_spatial_assertions.begin(); i != d_spatial_assertions.end(); +… in check()587 …for( NodeList::const_iterator i = d_spatial_assertions.begin(); i != d_spatial_assertions.end(); +… in check()594 …for( NodeList::const_iterator i = d_spatial_assertions.begin(); i != d_spatial_assertions.end(); +… in check()607 …for( NodeList::const_iterator i = d_spatial_assertions.begin(); i != d_spatial_assertions.end(); +… in check()643 …for( NodeList::const_iterator i = d_spatial_assertions.begin(); i != d_spatial_assertions.end(); +… in check()666 …for( NodeList::const_iterator i = d_spatial_assertions.begin(); i != d_spatial_assertions.end(); +… in check()1602 …for( NodeList::const_iterator i = d_spatial_assertions.begin(); i != d_spatial_assertions.end(); +… in validatePto()
227 NodeList d_spatial_assertions; variable