See: Description
| Interface | Description |
|---|---|
| ConceptTermFactory |
Interface for a concept term factory.
|
| 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 | 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.
|