Searched refs:CPTypeNegConjecture (Results 1 – 9 of 9) sorted by relevance
279 type = CPTypeNegConjecture; in WFormulaTPTPParse()329 case CPTypeNegConjecture: in WFormulaTPTPPrint()485 case CPTypeNegConjecture: in WFormulaTSTPPrint()
75 ((FormulaQueryType(form)==CPTypeNegConjecture) || \
1340 case CPTypeNegConjecture: in ClausePrintTPTPFormat()1384 (ClauseQueryTPTPType(clause) == CPTypeNegConjecture) )&& in ClausePrintLOPFormat()1562 case CPTypeNegConjecture: in ClauseTSTPPrint()1670 res = CPTypeNegConjecture; in ClauseTypeParse()1735 type = CPTypeNegConjecture; /* Old TPTP syntax lies ;-) */ in ClauseParse()1806 type = CPTypeNegConjecture; in ClauseParse()
78 CPTypeNegConjecture = CPType1|CPType3, /* Clause is an negated enumerator246 ((ClauseQueryTPTPType(clause)==CPTypeNegConjecture) ||\
1402 case CPTypeNegConjecture: in DerivedDotNodeColour()1415 case CPTypeNegConjecture: in DerivedDotNodeColour()
256 FormulaSetType(wform, CPTypeNegConjecture); in WFormulaConjectureNegate()
73 case CPTypeNegConjecture: in PCLTypeStr()
59 PCLTypeNegConjecture = CPTypeNegConjecture, /* Formula is NegConjecture */
77 if(ClauseQueryTPTPType(handle)==CPTypeNegConjecture) in init_conj_vector()