imperative#
- traversal
- add2edges
- addaAedge
- addacedge
- addanedge
- addapath
- addavedge
- addaVpath
- check3
- checkable
- checkAedge
- checkApath
- checkbedges
- checkcedge
- checkedge
- checker
- checkerDS
- checkvedge
- childrenedges
- chunks
- cleanedges
- cleanVedges
- cloneempty
- conformanceDS
- del2edges
- del_empty
- delaAedge
- delacedge
- delanedge
- delapath
- delavedge
- delaVpath
- edge_function_idx
- edge_increment_ok
- esig
- forks
- gpurgepath
- gsig
- inorder_check2
- inorder_checks
- invertCDSelement
- isAedge
- isApath
- isCedge
- isedge
- isvedge
- length_d_loopy_paths
- length_d_paths
- longpaths_pick
- make_allforks_and_rest
- make_emptyforks
- make_fullforks
- make_longpaths
- makechains
- makesink
- makesinks
- mask2edges
- maskaAedge
- maskaCedge
- maskanedge
- maskapath
- maskavedge
- maskaVpath
- memo_no_return
- ok2add2edges
- ok2addaAedge
- ok2addacedge
- ok2addanedge
- ok2addanedge1
- ok2addanedge2
- ok2addapath
- ok2addavedge
- ok2addaVpath
- prune_sort_CDS
- prunepaths_1D
- purgepath
- selfloops
- signature
- single_nodes
- supergraphs_in_eq
- threedges_pick
- try_till_d_path
- try_till_path
- twoedges_pick
- v2g22g1
- vedgelist
- unknownrate
- add2set_
- add2set_loop
- allsloops
- bconflictor
- build_loop_step
- cacheconflicts
- conflictor
- conflictor_set
- conflictors
- confpairs
- del_loop
- delAloop
- e2num
- ekey2e
- forward_loop_match
- gen_loops
- iteqclass
- lconflictors
- lconfpairs
- le2num
- liteqclass
- loop2graph
- main
- matchAloop
- perm_circular
- prune_conflicts
- prune_loops
- reverse
- reverse_edge_match
- reverse_loop_match
- skip_conflict
- skip_conflictors
- start_progress_bar