Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/PCL2/
H A Dpcl_steps.c136 type = PCLTypeConjecture; in PCLParseExternalType()
255 case PCLTypeConjecture: in PCLPrintExternalType()
354 case PCLTypeConjecture: in PCLPropToTSTPType()
H A Dpcl_steps.h57 PCLTypeConjecture = CPTypeConjecture, /* Formula is Conjecture */ enumerator