- All Known Implementing Classes:
- NonLatticeCounterExample.GraphExampleType, NonProductLatticeCounterExample.ProductExampleType
- Enclosing class:
- NonLatticeCounterExample
public static interface NonLatticeCounterExample.ExampleType
Marker interface for the counter example type. This allows
us to create other enumerations of counter example types in
subclasses. In particular, this is needed for the ontologies
package classes ptolemy.data.ontologies.lattice.ProductLatticeOntology
ProductLatticeOntology and
ptolemy.data.ontologies.lattice.ProductLatticeCPO ProductLatticeCPO.
When a product lattice is not a lattice, the reason is because one of
its component lattices is not a lattice. This is only relevant for
product lattice ontologies.