Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/ORDERINGS/
H A Dcto_kbolin.c414 PLocalTaggedStackInit(stack); in mfyvwblhs()
452 PLocalTaggedStackInit(stack); in mfyvwbrhs()
/dports/math/eprover/eprover-E-2.0/BASICS/
H A Dclb_plocalstacks.h68 #define PLocalTaggedStackInit(stack) PLocalStackInit(stack) macro