Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/BASICS/
H A Dclb_plocalstacks.h35 #define PLocalStackFree(junk) SizeFree(junk##_##data, junk##_##size * sizeof(void*)); macro
69 #define PLocalTaggedStackFree(junk) PLocalStackFree(junk)
/dports/math/eprover/eprover-E-2.0/TERMS/
H A Dcte_match_mgu_1-1.c184 PLocalStackFree(jobs); in SubstComputeMatch()
H A Dcte_subst.c175 PLocalStackFree(stack); in SubstNormTerm()
H A Dcte_termfunc.c1836 PLocalStackFree(stack); in TermIsUntyped()