Home
last modified time | relevance | path

Searched defs:setstack (Results 1 – 1 of 1) sorted by relevance

/dports/math/eprover/eprover-E-2.0/LEARN/
H A Dcle_tsm.c1236 PStack_p setstack; in TSMComputeClassificationLimit() local
1294 PStack_p setstack; in TSMComputeAverageEval() local