Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_rawspecfeatures.c134 limits->func_medium_limit, limits->func_large_limit); in RawSpecFeaturesClassify()
H A Dche_clausesetfeatures.h100 int func_large_limit; member
H A Dche_clausesetfeatures.c103 handle->func_large_limit = FUNC_LARGE_DEFAULT; in SpecLimitsAlloc()
/dports/math/eprover/eprover-E-2.0/CONTROL/
H A Dcco_sine.c262 limits.func_large_limit = 110; in find_auto_sine()
/dports/math/eprover/eprover-E-2.0/PROVER/
H A Dclassify_problem.c1082 limits->func_large_limit = CLStateGetIntArg(handle, arg); in process_options()