replication/lofi_acl/lofi_acl.access/PermissionTree/bottom

bottom

lofi_acl.access.PermissionTree.bottom

object bottom extends Bottom[PermissionTree]

Attributes

Graph
Supertypes: trait Bottom[PermissionTree]

class Object

trait Matchable

class Any
Self type: bottom.type

Members list

Value members

Concrete fields

Extensions

Inherited extensions

extension (value: PermissionTree)

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

In this article

Generated with