Home
last modified time | relevance | path

Searched refs:RegionNodeInfo (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dtheory_uf_strong_solver.h66 class RegionNodeInfo {
100 RegionNodeInfo( context::Context* c ) in RegionNodeInfo() function
105 ~RegionNodeInfo(){} in ~RegionNodeInfo()
148 std::map< Node, RegionNodeInfo* > d_nodes;
157 typedef std::map< Node, RegionNodeInfo* >::iterator iterator;
166 RegionNodeInfo* getRegionInfo(Node n) { in getRegionInfo()
H A Dtheory_uf_strong_solver.cpp41 typedef Region::RegionNodeInfo RegionNodeInfo; typedef
42 typedef RegionNodeInfo::DiseqList DiseqList;
57 RegionNodeInfo* regionNodeInfo = (*i).second; in ~Region()
73 RegionNodeInfo* rni = r->d_nodes[n]; in takeNode()
110 RegionNodeInfo* rni = it->second; in combine()
112 RegionNodeInfo::DiseqList* del = rni->get(t); in combine()
239 RegionNodeInfo* rni = it->second; in getMustCombine()
315 for( std::map< Node, RegionNodeInfo* >::iterator in check()
384 RegionNodeInfo* rni = it->second; in getNumExternalDisequalities()
399 RegionNodeInfo* rni = it->second; in debugPrint()
[all …]