A predicate which is true iff s2 is subsumed by s1.
A predicate which is true iff s2 is subsumed by s1.
s1
a clause
s2
a clause
returns
true iff s1 subsumes s2
Concrete Value Members
final def!=(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def##(): Int
Definition Classes
AnyRef → Any
def+(other: String): String
Implicit information
This member is added by an implicit conversion from SubsumptionAlgorithm to
any2stringadd[SubsumptionAlgorithm] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from SubsumptionAlgorithm to
StringFormat[SubsumptionAlgorithm] performed by method StringFormat in scala.Predef.