Searched refs:set_parent (Results 1 - 4 of 4) sorted by relevance
| /barrelfish-2018-10-04/tools/ |
| H A D | create_mdb_dot.py | 77 def set_parent(self, parentcap): member in class:Capability
106 leftcap.set_parent(cap)
111 rightcap.set_parent(cap)
|
| /barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/ |
| H A D | wake.pl | 40 set_parent/1
|
| H A D | grace.pl | 94 set_parent/1,
342 set_parent(p(label(start, 0), [], LS, LD)),
453 set_parent(M) :-
|
| H A D | prop.pl | 160 set_parent(p(Label, [], LS1, LD1)).
|
Completed in 93 milliseconds