public class Lattice
extends java.lang.Object
Constructor and Description |
---|
Lattice(Node[][] levels,
int numNodes)
Initializes a lattice.
|
Modifier and Type | Method and Description |
---|---|
Node |
getBottom()
Returns the bottom node.
|
Node[][] |
getLevels()
Returns all levels in the lattice.
|
int |
getSize()
Returns the number of nodes in the lattice.
|
Node |
getTop()
Returns the top node.
|
void |
setChecked(Node node,
NodeChecker.Result result)
Sets the properties to the given node.
|
void |
setInformationLoss(Node node,
InformationLoss<?> informationLoss)
Sets the information loss.
|
void |
setListener(ARXListener listener)
Attaches a listener.
|
void |
setLowerBound(Node node,
InformationLoss<?> lowerBound)
Sets the lower bound.
|
void |
setProperty(Node node,
int property)
Sets the property to the given node.
|
void |
setPropertyDownwards(Node node,
boolean include,
int property)
Sets the property to all predecessors of the given node.
|
void |
setPropertyUpwards(Node node,
boolean include,
int property)
Sets the property to all successors of the given node.
|
void |
setTagTrigger(NodeAction trigger)
When this trigger executed, a tagged event will be fired.
|
public Lattice(Node[][] levels, int numNodes)
levels
- the levelsmaxLevels
- the max levelspublic Node getBottom()
public Node[][] getLevels()
public int getSize()
public Node getTop()
public void setChecked(Node node, NodeChecker.Result result)
node
- the noderesult
- the resultpublic void setInformationLoss(Node node, InformationLoss<?> informationLoss)
node
- informationLoss
- public void setListener(ARXListener listener)
listener
- public void setLowerBound(Node node, InformationLoss<?> lowerBound)
node
- lowerBound
- public void setProperty(Node node, int property)
node
- the nodeproperty
- the propertypublic void setPropertyDownwards(Node node, boolean include, int property)
node
- the nodeinclude
- should the property also be set for the starting nodeproperty
- the propertypublic void setPropertyUpwards(Node node, boolean include, int property)
node
- the nodeinclude
- should the property also be set for the starting nodeproperty
- the propertypublic void setTagTrigger(NodeAction trigger)
trigger
-