Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_fcode_featurearrays.c121 ClauseSetAddSymbolDistribution(axioms, dist_array); in FCodeFeatureArrayAlloc()
H A Dche_clausesetfeatures.c579 ClauseSetAddSymbolDistribution(set, dist_array); in ClauseSetCollectArityInformation()
/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_clausesets.h155 void ClauseSetAddSymbolDistribution(ClauseSet_p set, long
H A Dccl_clausesets.c1885 void ClauseSetAddSymbolDistribution(ClauseSet_p set, long *dist_array) in ClauseSetAddSymbolDistribution() function
1975 ClauseSetAddSymbolDistribution(set, dist_array); in ClauseSetFindFreqSymbol()
/dports/math/eprover/eprover-E-2.0/LEARN/
H A Dcle_numfeatures.c224 ClauseSetAddSymbolDistribution(set, symbol_distrib); in ComputeClauseSetNumFeatures()
/dports/math/eprover/eprover-E-2.0/PCL2/
H A Dpcl_proofcheck.c348 ClauseSetAddSymbolDistribution(set, symbol_distrib); in sig_print_dfg()