rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.experiments/rdts.datatypes.experiments.protocols/Voting/given_Bottom_Int

given_Bottom_Int

rdts.datatypes.experiments.protocols.Voting.given_Bottom_Int
object given_Bottom_Int extends Bottom[Int]

Attributes

Graph
Supertypes
trait Bottom[Int]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def empty: Int

Extensions

Inherited extensions

extension (value: Int)
def isEmpty: Boolean

Tests if the state is an identity of Lattice.merge, i.e., forall a with isEmpty(a) we require that amergeb == 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 amergeb == b. See Bottom for cases when an empty element can be generated.

Attributes

Inherited from:
Bottom
Generated with