| /dports/math/ltl2ba/ltl2ba-1.3/ |
| H A D | rewrt.c | 189 marknode(int tok, Node *m) in marknode() function
222 { marknode(AND, m); in Canonical()
241 { marknode(AND, p); in Canonical()
245 { marknode(AND, p); in Canonical()
250 { marknode(AND, p); in Canonical()
258 { marknode(OR, m); in Canonical()
277 { marknode(OR, p); in Canonical()
281 { marknode(OR, p); in Canonical()
287 { marknode(OR, p); in Canonical()
|
| /dports/devel/spin/Spin-version-6.5.0/Src/ |
| H A D | tl_rewrt.c | 184 marknode(int tok, Node *m) in marknode() function
217 { marknode(AND, m); in Canonical()
236 { marknode(AND, p); in Canonical()
240 { marknode(AND, p); in Canonical()
248 { marknode(OR, m); in Canonical()
267 { marknode(OR, p); in Canonical()
271 { marknode(OR, p); in Canonical()
|
| /dports/cad/gmsh/gmsh-4.9.2-source/contrib/blossom/concorde97/XSTUFF/ |
| H A D | Xflow.c | 20 marknode (Xnode *n, int v);
39 marknode ();
341 marknode (start, G->magicnum);
354 marknode (ep->cends[1], G->magicnum);
360 marknode (ep->cends[0], G->magicnum);
369 static void marknode (Xnode *n, int v) in marknode() function
371 static void marknode (n, v) in marknode()
512 marknode (start, G->magicnum);
528 marknode (n1, G->magicnum);
|
| H A D | Xshrink.c | 23 marknode (Xnode *n, int v),
36 marknode (),
303 marknode (e->cends[0], G->magicnum);
304 marknode (e->cends[1], G->magicnum);
308 static void marknode (Xnode *n, int v) in marknode() function
310 static void marknode (n, v) in marknode()
|
| H A D | Xblossom.c | 31 marknode (Xnode *n, int v),
65 marknode (),
590 marknode (np->this, v);
753 static void marknode (Xnode *n, int v) in marknode() function
755 static void marknode (n, v) in marknode()
|
| /dports/games/powwow/powwow-1.2.17/ |
| H A D | list.c | 206 marknode **p, *new = (marknode*)malloc(sizeof(marknode)); in __P4()
496 marknode **lookup_marker __P2 (char *,pattern, char,mbeg) in __P2()
498 marknode **p = &markers; in __P2()
599 void delete_marknode __P1 (marknode **,base) in __P1() argument
601 marknode *p = *base; in __P1()
|
| H A D | list.h | 33 marknode **lookup_marker __P ((char *pattern, char mbeg));
41 void delete_marknode __P ((marknode **base));
|
| H A D | defines.h | 277 typedef struct marknode { struct
278 struct marknode *next; argument
284 } marknode; argument
|
| H A D | main.h | 65 extern marknode *markers;
|
| H A D | utils.c | 328 static int match_mark __P2 (marknode *,mp, char *,src) in __P2() argument
437 marknode *mp, *mfirst; in __P3()
1052 marknode *mp; in __P0()
|
| H A D | cmd2.c | 879 marknode *p; in __P0()
895 marknode **np, *n; in __P1()
|
| H A D | main.c | 163 marknode *markers; /* head of mark list */
|