Searched defs:make_graph (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/l4v/tools/autocorres/tests/examples/
H A Dschorr_waite.c66 void make_graph(unsigned size, unsigned graph[size][2], struct node n[size]) function
/seL4-l4v-master/graph-refine/
H A Dproblem.py593 def make_graph (nodes, cols, node_tags = {}, entries = []): function

Completed in 88 milliseconds