Home
last modified time | relevance | path

Searched refs:PDTREE_IGNORE_NF_DATE (Results 1 – 2 of 2) sorted by relevance

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_unit_simplify.c82 PDTreeSearchInit(units->demod_index, t1, PDTREE_IGNORE_NF_DATE, false); in FindTopSimplifyingUnit()
123 PDTreeSearchInit(units->demod_index, t1, PDTREE_IGNORE_NF_DATE, false); in FindSignedTopSimplifyingUnit()
H A Dccl_pdtrees.h123 #define PDTREE_IGNORE_NF_DATE SysDateCreationTime() macro