Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_freqvectors.h138 #define FVCollectCellFree(junk) SizeFree(junk, sizeof(FVCollectCell)) macro
H A Dccl_freqvectors.c651 FVCollectCellFree(junk); in FVCollectFree()