gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.provers/gapt.provers.simp/AtomSimpLemma

AtomSimpLemma

gapt.provers.simp.AtomSimpLemma
case class AtomSimpLemma(proj: SimpLemmaProjection) extends SimpProc

Attributes

Source
simplifier.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait SimpProc
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def freeVars: Set[Var]

Attributes

Definition Classes
Source
simplifier.scala
override def simpIff(target: Formula, polarity: Polarity)(implicit simp: Simplifier): SimpIffResult

Attributes

Definition Classes
Source
simplifier.scala

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def simpEq(target: Expr)(implicit simp: Simplifier): SimpEqResult

Attributes

Inherited from:
SimpProc
Source
simplifier.scala
Generated with