Expansion tree term for weak quantifiers instances.
Attributes
- Companion
- object
- Source
- terms.scala
- Graph
-
- Supertypes
Members list
Value members
Inherited methods
Attributes
- Inherited from:
- ETt
- Source
- terms.scala
Attributes
- Inherited from:
- ETt
- Source
- terms.scala
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- ETt
- Source
- terms.scala
Attributes
- Inherited from:
- ETt
- Source
- terms.scala
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
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