Home
last modified time | relevance | path

Searched refs:GEOMETRIC_REWRITE_BEFORE (Results 1 – 4 of 4) sorted by relevance

/dports/misc/otter/otter-3.3f/source/
H A Dcos.h128 GEOMETRIC_REWRITE_BEFORE, /* RP's inference rule as a rewrite */ enumerator
H A Doptions.c247 Flags[GEOMETRIC_REWRITE_BEFORE].name = "geometric_rewrite_before"; in init_options()
248 Flags[GEOMETRIC_REWRITE_BEFORE].val = 0; in init_options()
H A Dprocess.c366 if (Flags[GEOMETRIC_REWRITE_BEFORE].val) in proc_gen()
/dports/misc/otter/otter-3.3f/
H A DChangelog125 and added GEOMETRIC_REWRITE_BEFORE and GEOMETRIC_REWRITE_AFTER (demod).