gapt
2.19.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.expansion/ETAtom

ETAtom

gapt.proofs.expansion.ETAtom
object ETAtom

Expansion tree for an atom.

Attributes

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

Members list

Value members

Concrete methods

def apply(shallow: Formula, polarity: Polarity): ExpansionTree

Attributes

Source
trees.scala
def unapply(et: ExpansionTree): Option[(Formula, Polarity)]

Attributes

Source
trees.scala
Generated with