Searched refs:SpecAxiomsAreHorn (Results 1 – 4 of 4) sorted by relevance
799 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 …]
840 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 …]
838 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 …]
217 #define SpecAxiomsAreHorn(spec) ((spec)->axioms == (spec)->hornaxioms) macro218 #define SpecAxiomsAreNonUnitHorn(spec) (SpecAxiomsAreHorn(spec)&&\