gapt.proofs.lk.Attributes.AddAttributeUpdate
Attributes
- Source
-
Attributes.scala
- Graph
-
- Supertypes
-
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Members list
Applies the modifications of this update to ctx.
Applies the modifications of this update to ctx.
Throws an exception if the modifications are invalid (for example if we would redefine a constant).
Attributes
- Definition Classes
-
- Source
-
Attributes.scala
An iterator over the names of all the elements of this product.
An iterator over the names of all the elements of this product.
Attributes
- Inherited from:
-
Product
- Source
-
Product.scala
An iterator over all the elements of this product.
An iterator over all the elements of this product.
Attributes
- Returns
-
in the default implementation, an Iterator[Any]
- Inherited from:
-
Product
- Source
-
Product.scala