The ptolemy.data.ontologies.lattice package.
- Ptolemy II 8.1
Interface Summary Interface Description ConceptTermFactoryInterface for a concept term factory.
Class Summary Class Description ActorConstraintsDefinitionAdapterA class that creates a lattice-based ontology adapter from a model-based actor constraints definition attribute. ActorConstraintsDefinitionAttributeAttribute that defines the lattice ontology solver constraints for an actor. ActorProductLatticeConstraintsDefinitionAdapterA class that creates a product lattice-based ontology adapter from a model-based actor constraints definition attribute. AddConceptFunctionDefinitionConcept function definition attribute specifically for arithmetic addition. ApplyBinaryFunctionToMultipleArgumentsA concept function that applies a binary concept function to multiple arguments in sequence. BinaryOperationMonotonicFunctionDefinitionConcept function definition attribute for any binary operation. CollectLatticeOntologySolverDetailsModel attribute that collects the details of the lattice ontology solver resolution on the constraints collected and produces string outputs. ConceptTermManagerA class representing a property term manager. ConstraintManagerA class that collects and manages all the inequality constraints for an OntologySolver. DeltaConstraintSolverAn implementation of PropertyConstraintSolver that tries to minimize error cases. DivideConceptFunctionDefinitionConcept function definition attribute specifically for arithmetic division. InequalityConceptFunctionDefinitionConcept function definition attribute specifically for inequality or equality comparisons. LatticeOntologyAdapterThe base class for a lattice-based ontology adapter. LatticeOntologyASTNodeAdapterA base class representing a property constraint adapter. LatticeOntologyCompositeAdapterCode generator adapter for composite actor. LatticeOntologyModalFSMAdapterAn adapter class for ptolemy.domains.modal.kernel.FSMActor. LatticeOntologySolverAn instance of this solver contains an ontology, which itself contains a ConceptGraph and default constraints. LogicOpConceptFunctionDefinitionConcept function definition attribute specifically for boolean logic operations. MultiplyConceptFunctionDefinitionConcept function definition attribute specifically for arithmetic multiplication. NonProductLatticeCounterExampleA data structure that provides counterexample information when a product lattice ontology CPO is tested to see if it is a lattice. ParseTreeConstraintAnnotationEvaluatorThis class visits parse trees and infers a property for each node in the parse tree. ProductLatticeConceptA concept in a product lattice-based ontology. ProductLatticeCPOA complete partial order for product lattice-based ontologies. ProductLatticeDerivedConceptFunctionA 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. ProductLatticeOntologyA product lattice-based ontologies. ProductLatticeOntologyAdapterA product lattice-based ontology adapter whose constraints are derived from the component ontology solvers. ProductLatticeOntologyASTNodeAdapterA product lattice-based ontology adapter for Ptolemy expression language AST nodes whose constraints are derived from the component ontology solvers. ProductLatticeOntologyCompositeAdapterA product lattice-based ontology adapter for composite actors whose constraints are derived from the component ontology solvers. ProductLatticeOntologySolverA solver for product lattice-based ontologies. ProductLatticeWrapperConceptFunctionA wrapper concept function to create a new derived concept function for a product lattice ontology from one of its component ontologies. SubtractConceptFunctionDefinitionConcept function definition attribute specifically for arithmetic subtraction. UnaryOperationMonotonicFunctionDefinitionConcept function definition attribute for any unary operation.
Enum Summary Enum Description LatticeOntologySolver.ConstraintTypeAn enumeration type to represent the types of constraints for default constraint settings for actor inputs and outputs, connections and finite state machine transitions. NonProductLatticeCounterExample.ProductExampleTypeAn enumeration type to represent the types of counterexamples that can be found when checking to see if product lattice ontology is a lattice.