Searched refs:FPOpFlag (Results 1 – 3 of 3) sorted by relevance
| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_formula_wrapper.c | 694 if(!SigQueryFuncProp(sig, t->f_code, FPOpFlag)) in WFormulaReturnFCodes()
696 SigSetFuncProp(sig, t->f_code, FPOpFlag); in WFormulaReturnFCodes()
708 SigDelFuncProp(sig, f, FPOpFlag); in WFormulaReturnFCodes()
|
| H A D | ccl_clauses.c | 2609 if(!SigQueryFuncProp(sig, t->f_code, FPOpFlag)) in ClauseReturnFCodes()
2611 SigSetFuncProp(sig, t->f_code, FPOpFlag); in ClauseReturnFCodes()
2623 SigDelFuncProp(sig, f, FPOpFlag); in ClauseReturnFCodes()
|
| /dports/math/eprover/eprover-E-2.0/TERMS/ |
| H A D | cte_signature.h | 57 FPOpFlag = 2048, /* Used for temporary oerations, by enumerator
|