Home
last modified time | relevance | path

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

/dports/misc/otter/otter-3.3f/source/
H A Dcos.h157 LITERALS_WEIGH_ONE, enumerator
H A Doptions.c370 Flags[LITERALS_WEIGH_ONE].name = "literals_weigh_one"; in init_options()
371 Flags[LITERALS_WEIGH_ONE].val = 0; in init_options()
H A Dclause.c2152 if (Flags[LITERALS_WEIGH_ONE].val) in weight_cl()