kofre
API
Generated with
kofre/kofre/kofre.datatypes/kofre.datatypes.experiments/AuctionInterface/AuctionData/bottom

bottom

kofre.datatypes.experiments.AuctionInterface.AuctionData.bottom
object bottom extends Bottom[AuctionData]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
bottom.type

Members list

Value members

Concrete methods

override def empty: AuctionData

Attributes

Definition Classes

Extensions

Inherited extensions

extension (value: AuctionData)
def isEmpty: Boolean

Tests if the state is an identity of Lattice.merge, i.e., forall a with isEmpty(a) we require that a merge b == b. See Bottom for cases when an empty element can be generated.

Tests if the state is an identity of Lattice.merge, i.e., forall a with isEmpty(a) we require that a merge b == b. See Bottom for cases when an empty element can be generated.

Attributes

Inherited from:
Bottom
Generated with