Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/CONTROL/
H A Dcco_forward_contraction.h56 RewriteLevel level);
65 RewriteLevel level);
69 non_unit_subsumption, RewriteLevel level,
77 non_unit_subsumption, RewriteLevel
H A Dcco_forward_contraction.c67 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 Dccl_rewrite.h46 RewriteLevel level;
73 RewriteLevel level,
79 RewriteLevel level, bool
84 RewriteLevel level, bool
H A Dccl_rewrite.c562 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 Dche_hcb.h104 RewriteLevel forward_demod;
/dports/math/eprover/eprover-E-2.0/TERMS/
H A Dcte_termtypes.h96 }RewriteLevel; typedef