public class NonLatticeCounterExample
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static interface |
NonLatticeCounterExample.ExampleType
Marker interface for the counter example type.
|
static class |
NonLatticeCounterExample.GraphExampleType
An enumeration type to represent the types of counterexamples
that can be found when checking to see if a graph is a lattice.
|
Constructor and Description |
---|
NonLatticeCounterExample(CPO.BoundType bound,
java.lang.Object node1,
java.lang.Object node2)
Construct a NonLatticeCounterExample object for a pair of nodes that
have either no least upper or greatest lower bound.
|
NonLatticeCounterExample(NonLatticeCounterExample.ExampleType exampleType)
Construct a NonLatticeCounterExample object with the given example
type.
|
NonLatticeCounterExample(NonLatticeCounterExample.ExampleType exampleType,
java.util.List nodeList)
Construct a NonLatticeCounterExample object with the given example
type and list of nodes in the graph.
|
NonLatticeCounterExample(java.lang.Object node)
Construct a NonLatticeCounterExample object for a graph with a cycle.
|
Modifier and Type | Method and Description |
---|---|
NonLatticeCounterExample.ExampleType |
getExampleType()
Return the example type for this NonLatticeCounterExample.
|
java.util.List |
getNodeList()
Return the list of node weights in the graph associated with this
counter example.
|
public NonLatticeCounterExample(NonLatticeCounterExample.ExampleType exampleType)
exampleType
- The given example type for this counterexample.public NonLatticeCounterExample(NonLatticeCounterExample.ExampleType exampleType, java.util.List nodeList)
exampleType
- The given example type for this counterexample.nodeList
- The list of node weights for this counterexample.public NonLatticeCounterExample(java.lang.Object node)
node
- The weight of one of the nodes in the graph that is on the
cycle path.public NonLatticeCounterExample(CPO.BoundType bound, java.lang.Object node1, java.lang.Object node2)
bound
- The bound type for this counter example.node1
- The first node weight.node2
- The second node weight.public NonLatticeCounterExample.ExampleType getExampleType()
public java.util.List getNodeList()