Home
last modified time | relevance | path

Searched refs:ns_children (Results 1 – 5 of 5) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep_rewriter.cpp34 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 Dtheory_sep_rewriter.h33 … 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 Dlibvirt-gconfig-object-private.h115 gboolean ns_children);
H A Dlibvirt-gconfig-domain.c789 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 Dlibvirt-gconfig-object.c967 const char *ns_uri, gboolean ns_children) in gvir_config_object_set_namespace() argument
973 if (!ns_children) { in gvir_config_object_set_namespace()