Package ptolemy.data.ontologies.lattice

The ptolemy.data.ontologies.lattice package.

Since:

Ptolemy II 8.1

Interface Summary

Interface	Description
ConceptTermFactory	Interface for a concept term factory.

Class Summary

Class	Description
ActorConstraintsDefinitionAdapter	A class that creates a lattice-based ontology adapter from a model-based actor constraints definition attribute.
ActorConstraintsDefinitionAttribute	Attribute that defines the lattice ontology solver constraints for an actor.
ActorProductLatticeConstraintsDefinitionAdapter	A class that creates a product lattice-based ontology adapter from a model-based actor constraints definition attribute.
AddConceptFunctionDefinition	Concept function definition attribute specifically for arithmetic addition.
ApplyBinaryFunctionToMultipleArguments	A concept function that applies a binary concept function to multiple arguments in sequence.
BinaryOperationMonotonicFunctionDefinition	Concept function definition attribute for any binary operation.
CollectLatticeOntologySolverDetails	Model attribute that collects the details of the lattice ontology solver resolution on the constraints collected and produces string outputs.
ConceptTermManager	A class representing a property term manager.
ConstraintManager	A class that collects and manages all the inequality constraints for an OntologySolver.
DeltaConstraintSolver	An implementation of PropertyConstraintSolver that tries to minimize error cases.
DivideConceptFunctionDefinition	Concept function definition attribute specifically for arithmetic division.
InequalityConceptFunctionDefinition	Concept function definition attribute specifically for inequality or equality comparisons.
LatticeOntologyAdapter	The base class for a lattice-based ontology adapter.
LatticeOntologyASTNodeAdapter	A base class representing a property constraint adapter.
LatticeOntologyCompositeAdapter	Code generator adapter for composite actor.
LatticeOntologyModalFSMAdapter	An adapter class for ptolemy.domains.modal.kernel.FSMActor.
LatticeOntologySolver	An instance of this solver contains an ontology, which itself contains a ConceptGraph and default constraints.
LogicOpConceptFunctionDefinition	Concept function definition attribute specifically for boolean logic operations.
MultiplyConceptFunctionDefinition	Concept function definition attribute specifically for arithmetic multiplication.
NonProductLatticeCounterExample	A data structure that provides counterexample information when a product lattice ontology CPO is tested to see if it is a lattice.
ParseTreeConstraintAnnotationEvaluator	This class visits parse trees and infers a property for each node in the parse tree.
ProductLatticeConcept	A concept in a product lattice-based ontology.
ProductLatticeCPO	A complete partial order for product lattice-based ontologies.
ProductLatticeDerivedConceptFunction	A concept function that returns a derived concept from a given input concept for a product lattice ontology to be used for constraints generated from an ontology that is a component of the product lattice ontology.
ProductLatticeOntology	A product lattice-based ontologies.
ProductLatticeOntologyAdapter	A product lattice-based ontology adapter whose constraints are derived from the component ontology solvers.
ProductLatticeOntologyASTNodeAdapter	A product lattice-based ontology adapter for Ptolemy expression language AST nodes whose constraints are derived from the component ontology solvers.
ProductLatticeOntologyCompositeAdapter	A product lattice-based ontology adapter for composite actors whose constraints are derived from the component ontology solvers.
ProductLatticeOntologySolver	A solver for product lattice-based ontologies.
ProductLatticeWrapperConceptFunction	A wrapper concept function to create a new derived concept function for a product lattice ontology from one of its component ontologies.
SubtractConceptFunctionDefinition	Concept function definition attribute specifically for arithmetic subtraction.
UnaryOperationMonotonicFunctionDefinition	Concept function definition attribute for any unary operation.

Enum Summary

Enum	Description
LatticeOntologySolver.ConstraintType	An enumeration type to represent the types of constraints for default constraint settings for actor inputs and outputs, connections and finite state machine transitions.
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.