Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_proofstate.c679 ClauseSetPropDocQuote(GlobalOut, level, prop, in ProofStatePropDocQuote()
681 ClauseSetPropDocQuote(GlobalOut, level, prop, in ProofStatePropDocQuote()
683 ClauseSetPropDocQuote(GlobalOut, level, prop, in ProofStatePropDocQuote()
685 ClauseSetPropDocQuote(GlobalOut, level, prop, in ProofStatePropDocQuote()
687 ClauseSetPropDocQuote(GlobalOut, level, prop, in ProofStatePropDocQuote()
H A Dccl_clausesets.h139 void ClauseSetPropDocQuote(FILE* out, long level,
143 ClauseSetPropDocQuote((out), (level),CPIgnoreProps, (set), (comment))
H A Dccl_clausesets.c1662 void ClauseSetPropDocQuote(FILE* out, long level, FormulaProperties prop, in ClauseSetPropDocQuote() function