NonProductLatticeCounterExample

java.lang.Object
- ptolemy.graph.NonLatticeCounterExample
- - ptolemy.data.ontologies.lattice.NonProductLatticeCounterExample

```
public class NonProductLatticeCounterExample
extends NonLatticeCounterExample
```
A data structure that provides counterexample information when a product lattice ontology CPO is tested to see if it is a lattice. If it is not a lattice, it is because at least one of its component ontologies is not a lattice.

Since:

Ptolemy II 10.0

Version:

$Id$

Author:

Charles Shelton

Pt.AcceptedRating:

Red (cshelton)

Pt.ProposedRating:

Red (cshelton)

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description
`static class`	`NonProductLatticeCounterExample.ProductExampleType`	An enumeration type to represent the types of counterexamples that can be found when checking to see if product lattice ontology is a lattice.

Nested classes/interfaces inherited from class ptolemy.graph.NonLatticeCounterExample
NonLatticeCounterExample.ExampleType, NonLatticeCounterExample.GraphExampleType

Constructor Summary

Constructors
Constructor	Description
`NonProductLatticeCounterExample(Ontology subOntology)`	Construct a NonProductLatticeCounterExample object that indicates that the specified sub ontology is not a lattice.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Ontology`	`getSubOntology()`	Return the sub ontology that is the reason the product lattice ontology is not a lattice.

Methods inherited from class ptolemy.graph.NonLatticeCounterExample
getExampleType, getNodeList

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - NonProductLatticeCounterExample
```
public NonProductLatticeCounterExample(Ontology subOntology)
```
    Construct a NonProductLatticeCounterExample object that indicates that the specified sub ontology is not a lattice.
    
    Parameters:
    
    subOntology - The sub ontology of the product lattice ontology that is the reason that the product lattice ontology is not a lattice.
- Method Detail
  - getSubOntology
```
public Ontology getSubOntology()
```
    Return the sub ontology that is the reason the product lattice ontology is not a lattice.
    
    Returns:
    
    The sub ontology that is not a valid lattice.