Searched refs:PROBABLE (Results 1 – 2 of 2) sorted by relevance
22 node->flags |= PROBABLE; /* make sure it doesn't get deleted */ in graph()56 node->flags |= PROBABLE; in applyrules()138 int vac = !(node->flags&PROBABLE); in vacuous()171 node->flags = node->time? PROBABLE : 0; in newnode()
94 #define PROBABLE 0x0100 macro