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

VariableEqualityResolution

gapt.provers.escargot.impl.StandardInferences.VariableEqualityResolution
object VariableEqualityResolution extends SimplificationRule

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Definition Classes
Source
inferences.scala

Inherited methods

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

Attributes

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

Attributes

Inherited from:
InferenceRule
Source
inferences.scala
Generated with