ETtWeak

gapt.proofs.expansion.ETtWeak
See theETtWeak companion object
case class ETtWeak(instances: Map[Expr, ETt]) extends ETt

Expansion tree term for weak quantifiers instances.

Attributes

Companion
object
Source
terms.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class ETt
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def deep(shallow: Formula, polarity: Polarity): Formula

Attributes

Inherited from:
ETt
Source
terms.scala

Attributes

Inherited from:
ETt
Source
terms.scala
def foreach(f: ETt => Unit): Unit

Attributes

Inherited from:
ETt
Source
terms.scala

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product
def toDoc(implicit sig: BabelSignature): Doc

Attributes

Inherited from:
ETt
Source
terms.scala

Attributes

Inherited from:
ETt
Source
terms.scala
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
ETt -> Any
Inherited from:
ETt
Source
terms.scala

Inherited fields

override val hashCode: Int

Calculate a hash code value for the object.

Calculate a hash code value for the object.

The default hashing algorithm is platform dependent.

Note that it is allowed for two objects to have identical hash codes (o1.hashCode.equals(o2.hashCode)) yet not be equal (o1.equals(o2) returns false). A degenerate implementation could always return 0. However, it is required that if two objects are equal (o1.equals(o2) returns true) that they have identical hash codes (o1.hashCode.equals(o2.hashCode)). Therefore, when overriding this method, be sure to verify that the behavior is consistent with the equals method.

Attributes

Returns

the hash code value for this object.

Inherited from:
ETt
Source
terms.scala