Home
last modified time | relevance | path

Searched refs:PCLPropToTSTPType (Results 1 – 3 of 3) sorted by relevance

/dports/math/eprover/eprover-E-2.0/PCL2/
H A Dpcl_steps.c350 char * PCLPropToTSTPType(PCLStepProperties props) in PCLPropToTSTPType() function
401 fputs(PCLPropToTSTPType(step->properties), out); in PCLStepPrintTSTP()
416 fputs(PCLPropToTSTPType(step->properties), out); in PCLStepPrintTSTP()
473 fputs(PCLPropToTSTPType(step->properties), out); in PCLStepPrintTPTP()
H A Dpcl_ministeps.c210 PCLPropToTSTPType(step->properties)); in PCLMiniStepPrintTSTP()
222 PCLPropToTSTPType(step->properties)); in PCLMiniStepPrintTSTP()
H A Dpcl_steps.h127 char * PCLPropToTSTPType(PCLStepProperties props);