public class SecurityLattice
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
class |
SecurityLattice.SecurityDomain
The kind of elements to the security lattice.
|
Constructor and Description |
---|
SecurityLattice()
Creates a two-element lattice.
|
Modifier and Type | Method and Description |
---|---|
SecurityLattice.SecurityDomain |
bottom() |
boolean |
contains(SecurityLattice.SecurityDomain d) |
SecurityLattice.SecurityDomain |
top() |
public SecurityLattice.SecurityDomain top()
public SecurityLattice.SecurityDomain bottom()
public boolean contains(SecurityLattice.SecurityDomain d)
Copyright © 2003-2019 The KeY-Project.