Home
last modified time | relevance | path

Searched refs:SpecAxiomsAreHorn (Results 1 – 4 of 4) sorted by relevance

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_X_____auto_pp_opt_080.c799 SpecAxiomsAreHorn(spec)&&
931 SpecAxiomsAreHorn(spec)&&
943 SpecAxiomsAreHorn(spec)&&
970 SpecAxiomsAreHorn(spec)&&
982 SpecAxiomsAreHorn(spec)&&
1011 SpecAxiomsAreHorn(spec)&&
1086 SpecAxiomsAreHorn(spec)&&
1168 SpecAxiomsAreHorn(spec)&&
1229 SpecAxiomsAreHorn(spec)&&
1314 SpecAxiomsAreHorn(spec)&&
[all …]
H A Dche_X_____auto_pp_opt_071.c840 SpecAxiomsAreHorn(spec)&&
852 SpecAxiomsAreHorn(spec)&&
864 SpecAxiomsAreHorn(spec)&&
891 SpecAxiomsAreHorn(spec)&&
918 SpecAxiomsAreHorn(spec)&&
970 SpecAxiomsAreHorn(spec)&&
1025 SpecAxiomsAreHorn(spec)&&
1076 SpecAxiomsAreHorn(spec)&&
1103 SpecAxiomsAreHorn(spec)&&
1126 SpecAxiomsAreHorn(spec)&&
[all …]
H A Dche_X_____auto_pp_opt_dev.c838 SpecAxiomsAreHorn(spec)&&
850 SpecAxiomsAreHorn(spec)&&
862 SpecAxiomsAreHorn(spec)&&
936 SpecAxiomsAreHorn(spec)&&
965 SpecAxiomsAreHorn(spec)&&
993 SpecAxiomsAreHorn(spec)&&
1065 SpecAxiomsAreHorn(spec)&&
1109 SpecAxiomsAreHorn(spec)&&
1211 SpecAxiomsAreHorn(spec)&&
1223 SpecAxiomsAreHorn(spec)&&
[all …]
H A Dche_clausesetfeatures.h217 #define SpecAxiomsAreHorn(spec) ((spec)->axioms == (spec)->hornaxioms) macro
218 #define SpecAxiomsAreNonUnitHorn(spec) (SpecAxiomsAreHorn(spec)&&\