ptolemy.data.ontologies.lattice

Class 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 and 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 and Description
NonProductLatticeCounterExample(Ontology subOntology) Construct a NonProductLatticeCounterExample object that indicates that the specified sub ontology is not a lattice.

Method Summary

Modifier and Type	Method and 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.