Searched defs:node_set (Results 1 – 2 of 2) sorted by relevance
| /linux/tools/verification/rvgen/rvgen/ |
| H A D | ltl2ba.py | 83 def expand(self, node_set): argument
120 def expand(self, node, node_set): argument
170 def expand(n: ASTNode, node: GraphNode, node_set) -> set[GraphNode]: argument
186 def expand(n: ASTNode, node: GraphNode, node_set) -> set[GraphNode]: argument
210 expand(n: ASTNode, node: GraphNode, node_set) global() argument
236 expand(n: ASTNode, node: GraphNode, node_set) global() argument
258 expand(n: ASTNode, node: GraphNode, node_set) global() argument
346 expand(n: ASTNode, node: GraphNode, node_set) global() argument
367 expand(n: ASTNode, node: GraphNode, node_set) global() argument
395 expand(n: ASTNode, node: GraphNode, node_set) global() argument
428 expand(n: ASTNode, node: GraphNode, node_set) global() argument
[all...] |
| /linux/include/linux/ |
| H A D | nodemask.h | 124 #define node_set(node, dst) __node_set((node), &(dst)) macro
|