Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_fcvindexing.c83 static FVIndex_p insert_empty_node(FVIndex_p node, FVIAnchor_p anchor, long key) in insert_empty_node() function
334 newnode = insert_empty_node(handle, in FVIndexInsert()
/dports/devel/anjuta/anjuta-3.34.0/plugins/project-manager/
H A Dproject-model.c64 static void insert_empty_node (GbfProjectModel *model);
211 insert_empty_node (model); in gbf_project_model_instance_init()
742 insert_empty_node (GbfProjectModel *model) in insert_empty_node() function
772 insert_empty_node (model); in unload_project()