ReportOntologyLatticeStatus

java.lang.Object
- ptolemy.vergil.ontologies.ReportOntologyLatticeStatus

```
public class ReportOntologyLatticeStatus
extends java.lang.Object
```
A static class that provides a method to display a message and highlight concepts in an ontology model based on whether the ontology is a lattice.

Since:

Ptolemy II 10.0

Version:

$Id$

Author:

Charles Shelton

Pt.AcceptedRating:

Red (cshelton)

Pt.ProposedRating:

Red (cshelton)

Constructor Summary

Constructors
Constructor Description

ReportOntologyLatticeStatus()

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static void`	`showStatusAndHighlightCounterExample(Ontology ontologyModel, OntologyGraphController modelGraphController)`	Show a status message depending on whether the given ontology model is a valid lattice, and if the isAcceptable parameters form acceptance criteria.

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

- Constructor Detail
  - ReportOntologyLatticeStatus
```
public ReportOntologyLatticeStatus()
```
- Method Detail
  - showStatusAndHighlightCounterExample
```
public static void showStatusAndHighlightCounterExample(Ontology ontologyModel,
                                                        OntologyGraphController modelGraphController)
```
    Show a status message depending on whether the given ontology model is a valid lattice, and if the isAcceptable parameters form acceptance criteria. Also highlight the concepts in the ontology that demonstrate the counterexample if the ontology is not a lattice, or the non-acceptable concepts do not form acceptance criteria.
    
    Parameters:
    
    ontologyModel - The specified ontology model.
    
    modelGraphController - The graph controller for the ontology model.