Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_clausesetfeatures.c563 int max_f_arity = 0, in ClauseSetCollectArityInformation() local
600 max_f_arity = MAX(arity, max_f_arity); in ClauseSetCollectArityInformation()
613 *max_fun_arity = max_f_arity; in ClauseSetCollectArityInformation()