Lines Matching defs:tnode
462 node_t *tnode;
464 tnode = node;
466 while (tnode->expanded)
472 while (tnode->children[i]->proof != tnode->proof)
481 while (tnode->children[i]->disproof != tnode->disproof)
487 tnode = tnode->children[i];
491 make (&tnode->move, 0);
498 return tnode;
950 node_t *tnode, *prevnode;
952 tnode = node;
955 while (tnode != 0)
957 set_proof_and_disproof_numbers (tnode);
959 prevnode = tnode;
961 if (tnode->move.target != 0)
963 unmake (&tnode->move, 0);
966 tnode = tnode->parent;