Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_rawspecfeatures.c121 limits->ax_some_limit, limits->ax_many_limit); in RawSpecFeaturesClassify()
H A Dche_clausesetfeatures.c86 handle->ax_many_limit = AX_MANY_DEFAULT ; in SpecLimitsAlloc()
1112 else if(features->clauses < limits->ax_many_limit) in SpecFeaturesAddEval()
1639 limits->ax_many_limit = 100000; in CreateDefaultSpecLimits()
H A Dche_heuristics.c261 limits->ax_many_limit = 205; in HCBCASCAutoModeCreate()
H A Dche_clausesetfeatures.h84 long ax_many_limit; member
H A Dche_to_autoselect.c162 limits->ax_many_limit = 205; in generate_autocasc_ordering()
/dports/math/eprover/eprover-E-2.0/CONTROL/
H A Dcco_sine.c251 limits.ax_many_limit = 10396; in find_auto_sine()
/dports/math/eprover/eprover-E-2.0/PROVER/
H A Dclassify_problem.c1034 limits->ax_many_limit = CLStateGetIntArg(handle, arg); in process_options()