Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/TERMS/
H A Dcte_acterms.c245 if(SigQueryFuncProp(sig, term->f_code, FPIsAC)) in ACTermNormalize()
H A Dcte_signature.h49 FPIsAC = FPAssociative|FPCommutative, enumerator
H A Dcte_signature.c711 if(SigQueryFuncProp(sig, i, FPIsAC)) in SigPrintACStatus()