Searched refs:ns_children (Results 1 – 5 of 5) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
H A D | theory_sep_rewriter.cpp | 34 getStarChildren( n[i], s_children, ns_children ); in getStarChildren() 39 getAndChildren( n[i], temp_s_children, ns_children ); in getStarChildren() 65 getAndChildren( n[i], s_children, ns_children ); in getAndChildren() 74 if( std::find( ns_children.begin(), ns_children.end(), n )==ns_children.end() ){ in getAndChildren() 76 ns_children.push_back( n ); in getAndChildren() 123 std::vector< Node > ns_children; in postRewrite() local 124 getStarChildren( node, s_children, ns_children ); in postRewrite() 132 ns_children.push_back( schild ); in postRewrite() 134 Assert( !ns_children.empty() ); in postRewrite() 135 if( ns_children.size()==1 ){ in postRewrite() [all …]
|
H A D | theory_sep_rewriter.h | 33 … void getStarChildren( Node n, std::vector< Node >& s_children, std::vector< Node >& ns_children ); 34 …c void getAndChildren( Node n, std::vector< Node >& s_children, std::vector< Node >& ns_children );
|
/dports/devel/libvirt-glib/libvirt-glib-4.0.0/libvirt-gconfig/ |
H A D | libvirt-gconfig-object-private.h | 115 gboolean ns_children);
|
H A D | libvirt-gconfig-domain.c | 789 gboolean ns_children, in gvir_config_domain_set_custom_xml_helper() argument 810 gvir_config_object_set_namespace(custom_xml, ns, ns_uri, ns_children); in gvir_config_domain_set_custom_xml_helper()
|
H A D | libvirt-gconfig-object.c | 967 const char *ns_uri, gboolean ns_children) in gvir_config_object_set_namespace() argument 973 if (!ns_children) { in gvir_config_object_set_namespace()
|