UCT local_tree_pseqroot: Remove unused setting
[pachi/t.git] / uct / 
tree9ba59b1bbc346bbcc0eeba5ba3e8589d217ca60f
drwxr-xr-x   ..
-rw-r--r-- 197 Makefile
-rw-r--r-- 15811 dynkomi.c
-rw-r--r-- 2421 dynkomi.h
-rw-r--r-- 4292 internal.h
-rw-r--r-- 3383 plugin.h
drwxr-xr-x - plugin
-rw-r--r-- 2069 plugins.c
-rw-r--r-- 584 plugins.h
drwxr-xr-x - policy
-rw-r--r-- 7901 prior.c
-rw-r--r-- 1202 prior.h
-rw-r--r-- 16038 search.c
-rw-r--r-- 2312 search.h
-rw-r--r-- 19459 slave.c
-rw-r--r-- 513 slave.h
-rw-r--r-- 24998 tree.c
-rw-r--r-- 6417 tree.h
-rw-r--r-- 34264 uct.c
-rw-r--r-- 610 uct.h
-rw-r--r-- 15498 walk.c
-rw-r--r-- 402 walk.h