Searched refs:RewriteLevel (Results 1 – 6 of 6) sorted by relevance
/dports/math/eprover/eprover-E-2.0/CONTROL/ |
H A D | cco_forward_contraction.h | 56 RewriteLevel level); 65 RewriteLevel level); 69 non_unit_subsumption, RewriteLevel level, 77 non_unit_subsumption, RewriteLevel
|
H A D | cco_forward_contraction.c | 67 RewriteLevel level) in forward_contract_keep() 178 RewriteLevel level) in ForwardModifyClause() 263 RewriteLevel level) in ForwardContractClause() 301 non_unit_subsumption, RewriteLevel level, in ForwardContractSet() 398 non_unit_subsumption, RewriteLevel in ForwardContractSetReweight()
|
/dports/math/eprover/eprover-E-2.0/CLAUSES/ |
H A D | ccl_rewrite.h | 46 RewriteLevel level; 73 RewriteLevel level, 79 RewriteLevel level, bool 84 RewriteLevel level, bool
|
H A D | ccl_rewrite.c | 562 RewriteLevel level, bool in rewrite_with_clause_setlist() 800 RewriteLevel level, bool in rw_desc_cell_alloc() 1032 ClauseSet_p *demodulators, RewriteLevel in TermComputeLINormalform() 1061 RewriteLevel level, bool prefer_general) in ClauseComputeLINormalform() 1133 RewriteLevel level, bool in ClauseSetComputeLINormalform()
|
/dports/math/eprover/eprover-E-2.0/HEURISTICS/ |
H A D | che_hcb.h | 104 RewriteLevel forward_demod;
|
/dports/math/eprover/eprover-E-2.0/TERMS/ |
H A D | cte_termtypes.h | 96 }RewriteLevel; typedef
|