Package ptolemy.graph

Interface NonLatticeCounterExample.ExampleType

  • All Known Implementing Classes:
    NonLatticeCounterExample.GraphExampleType, NonProductLatticeCounterExample.ProductExampleType
    Enclosing class:

    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 ProductLatticeOntology and 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.