Home
last modified time | relevance | path

Searched refs:TERM_WT_MAX_ARGS (Results 1 – 3 of 3) sorted by relevance

/dports/misc/otter/otter-3.3f/source/
H A Dcos.h108 TERM_WT_MAX_ARGS, /* weight of term is max of weights of arguments */ enumerator
H A Doptions.c124 Flags[TERM_WT_MAX_ARGS].name = "term_wt_max_args"; in init_options()
125 Flags[TERM_WT_MAX_ARGS].val = 0; in init_options()
H A Dweight.c152 max = Flags[TERM_WT_MAX_ARGS].val; in weight()