gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.provers/gapt.provers.escargot/gapt.provers.escargot.impl/StandardInferences/ForwardSubsumption

ForwardSubsumption

gapt.provers.escargot.impl.StandardInferences.ForwardSubsumption
object ForwardSubsumption extends RedundancyRule

Attributes

Source
inferences.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Concrete methods

def isRedundant(given: Cls, existing: IndexedClsSet): Option[Set[Int]]

Attributes

Source
inferences.scala

Inherited methods

def apply(given: Cls, existing: IndexedClsSet): (Set[Cls], Set[(Cls, Set[Int])])

Attributes

Inherited from:
RedundancyRule
Source
inferences.scala
def preprocess(newlyInferred: Set[Cls], existing: IndexedClsSet): Set[Cls]

Attributes

Inherited from:
InferenceRule
Source
inferences.scala
Generated with