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

OrderedResolution

gapt.provers.escargot.impl.StandardInferences.OrderedResolution
object OrderedResolution extends InferenceRule

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Source
inferences.scala
def apply(c1: Cls, i1: SequentIndex, c2: Cls, i2: SequentIndex): Option[Cls]

Attributes

Source
inferences.scala

Inherited methods

def preprocess(newlyInferred: Set[Cls], existing: IndexedClsSet): Set[Cls]

Attributes

Inherited from:
InferenceRule
Source
inferences.scala
Generated with