Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/PCL2/
H A Dpcl_steps.h49 PCLIsShellStep = 128, enumerator
117 #define PCLStepIsShell(step) PCLStepQueryProp((step), PCLIsShellStep)
H A Dpcl_ministeps.c118 PCLStepSetProp(handle, PCLIsShellStep); in PCLMiniStepParse()
H A Dpcl_steps.c194 PCLStepSetProp(handle, PCLIsShellStep); in PCLStepParse()