gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.formats/gapt.formats.llk/EquationVerifier

EquationVerifier

gapt.formats.llk.EquationVerifier
object EquationVerifier

Attributes

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

Members list

Type members

Classlikes

case object Different extends ReplacementResult

Attributes

Source
equationalRules.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
Different.type
case object Equal extends ReplacementResult

Attributes

Source
equationalRules.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
Equal.type
case class EqualModuloEquality(path: List[Int]) extends ReplacementResult

Attributes

Source
equationalRules.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
abstract class ReplacementResult

Attributes

Source
equationalRules.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Different.type
object Equal.type

Value members

Concrete methods

def apply(s: Expr, t: Expr, e1: Expr, e2: Expr): ReplacementResult

Attributes

Source
equationalRules.scala
def apply(eq: Formula, e1: Formula, e2: Formula): Option[List[Int]]

Attributes

Source
equationalRules.scala
def checkReplacement(s: Expr, t: Expr, e1: Expr, e2: Expr): ReplacementResult

Attributes

Source
equationalRules.scala
Generated with