Uses of Interface
ptolemy.graph.InequalityTerm

Packages that use InequalityTerm

Package	Description
ptolemy.actor	Executable entities.
ptolemy.actor.util	Actor utilities.
ptolemy.data.expr	The Ptolemy II Expression Language.
ptolemy.data.type	The type system.
ptolemy.domains.modal.kernel	The ptolemy.domains.modal.kernel package.
ptolemy.graph	Algorithms for manipulation and analyzing mathematical graphs.
ptolemy.graph.test	The ptolemy.graph.test package.

Uses of InequalityTerm in ptolemy.actor

Methods in ptolemy.actor that return InequalityTerm

Modifier and Type	Method and Description
InequalityTerm	TypedIOPort.getTypeTerm() Return an InequalityTerm encapsulating the type of this port.

Methods in ptolemy.actor with parameters of type InequalityTerm

Modifier and Type	Method and Description
void	TypedIOPort.setTypeAtLeast(InequalityTerm typeTerm) Constrain the type of this port to be equal to or greater than the type represented by the specified InequalityTerm.

Uses of InequalityTerm in ptolemy.actor.util

Classes in ptolemy.actor.util that implement InequalityTerm

Modifier and Type	Class and Description
class	ArrayElementTypeFunction This class implements a monotonic function that returns the element type of its argument, if the argument is an array type.
class	ArrayOfTypesFunction This class implements a monotonic function that returns an array type with the element type equal to its argument.
class	ConstructAssociativeType A function that, given a list of ports, returns a StructuredType of which the fields names and field types correspond with the given ports.
class	ExtractFieldType A partial monotonic function of the given port that returns a type associated with the given field name, to be found in the type definition of the port.
class	GLBFunction This class implements a monotonic function that returns the greatest lower bound (GLB) of its arguments.

Fields in ptolemy.actor.util declared as InequalityTerm

Modifier and Type	Field and Description
protected InequalityTerm[]	GLBFunction._cachedTerms The types terms found in destination ports.

Methods in ptolemy.actor.util that return InequalityTerm

Modifier and Type	Method and Description
static InequalityTerm	ActorTypeUtil.arrayOf(Typeable typeable, Variable length) Return a type constraint that can be used to constrain another typeable object to have a type related to an array whose element type is the type of the specified typeable.
InequalityTerm[]	ArrayOfTypesFunction.getVariables() Return the type variables for this function, which is the type term of the specified typeable, unless it has a constant type, in which case return an empty array.
InequalityTerm[]	ExtractFieldType.getVariables() Return the type variables in this inequality term.
InequalityTerm[]	GLBFunction.getVariables() Return the type variables for this function, which are the type variables for all the destination ports.
InequalityTerm[]	ConstructAssociativeType.getVariables() Return the type variables for this function, which are the type variables for all the ports that do not have declared types.
InequalityTerm[]	ArrayElementTypeFunction.getVariables() Return the type variables for this function, which is the type term of the specified typeable, unless it has a constant type, in which case return an empty array.

Uses of InequalityTerm in ptolemy.data.expr

Methods in ptolemy.data.expr that return InequalityTerm

Modifier and Type	Method and Description
InequalityTerm	Variable.getTypeTerm() Return an InequalityTerm whose value is the type of this variable.
InequalityTerm	ParserScope.getTypeTerm(java.lang.String name) Look up and return the type term for the specified name in the scope.
InequalityTerm	ExplicitScope.getTypeTerm(java.lang.String name) Look up and return the type term for the specified name in the scope.
InequalityTerm	NestedScope.getTypeTerm(java.lang.String name) Look up and return the type term for the specified name in the scope.
InequalityTerm	NamedConstantsScope.getTypeTerm(java.lang.String name) Look up and return the type term for the specified name in the scope.
InequalityTerm	Variable.VariableScope.getTypeTerm(java.lang.String name) Look up and return the type term for the specified name in the scope.

Methods in ptolemy.data.expr with parameters of type InequalityTerm

Modifier and Type	Method and Description
void	Variable.setTypeAtLeast(InequalityTerm typeTerm) Constrain the type of this variable to be equal to or greater than the type represented by the specified InequalityTerm.

Uses of InequalityTerm in ptolemy.data.type

Classes in ptolemy.data.type that implement InequalityTerm

Modifier and Type	Class and Description
class	MonotonicFunction Actors often need to implement monotonic functions as part of the declaration of type constraints.
class	TypeConstant An InequalityTerm that encapsulates a constant type.

Fields in ptolemy.data.type declared as InequalityTerm

Modifier and Type	Field and Description
static InequalityTerm	ArrayType.ARRAY_BOTTOM A term to use when declaring the type of some parameter or port to be an array.
static InequalityTerm	ArrayType.ARRAY_UNSIZED_BOTTOM A term to use when declaring the type of some parameter or port to be an array, with unknown length.

Methods in ptolemy.data.type that return InequalityTerm

Modifier and Type	Method and Description
static InequalityTerm	ArrayType.arrayOf(Typeable typeable) Return a type constraint that can be used to constrain another typeable object to have a type related to an array whose element type is the type of the specified typeable.
static InequalityTerm	ArrayType.arrayOf(Typeable typeable, int length) Return a type constraint that can be used to constrain another typeable object to have a type related to an array whose element type is the type of the specified typeable.
static InequalityTerm	ArrayType.elementType(Typeable typeable) Return a type constraint that can be used to constrain another typeable object to have a type related to the element type of the specified typeable.
InequalityTerm	ArrayType.getElementTypeTerm() Return the InequalityTerm representing the element type.
InequalityTerm	Typeable.getTypeTerm() Return an InequalityTerm representing this object.
InequalityTerm	UnionType.getTypeTerm(java.lang.String label) Return the InequalityTerm representing the type of the specified label.
InequalityTerm	RecordType.getTypeTerm(java.lang.String label) Return the InequalityTerm representing the type of the specified label.
InequalityTerm[]	TypeConstant.getVariables() Return an array of size zero.
abstract InequalityTerm[]	MonotonicFunction.getVariables() Return the type variables in this inequality term.

Methods in ptolemy.data.type with parameters of type InequalityTerm

Modifier and Type	Method and Description
void	Typeable.setTypeAtLeast(InequalityTerm typeTerm) Constrain the type of this object to be equal to or greater than the type represented by the specified InequalityTerm.

Uses of InequalityTerm in ptolemy.domains.modal.kernel

Methods in ptolemy.domains.modal.kernel that return InequalityTerm

Modifier and Type	Method and Description
InequalityTerm	FSMActor.PortScope.getTypeTerm(java.lang.String name) Look up and return the type term for the specified name in the scope.

Uses of InequalityTerm in ptolemy.graph

Methods in ptolemy.graph that return InequalityTerm

Modifier and Type	Method and Description
InequalityTerm	Inequality.getGreaterTerm() Return the greater term of this inequality.
InequalityTerm	Inequality.getLesserTerm() Return the lesser term of this inequality.
InequalityTerm[]	InequalityTerm.getVariables() Return an array of variables contained in this term.

Constructors in ptolemy.graph with parameters of type InequalityTerm

Constructor and Description
Inequality(InequalityTerm lesserTerm, InequalityTerm greaterTerm) Construct an inequality.

Uses of InequalityTerm in ptolemy.graph.test

Classes in ptolemy.graph.test that implement InequalityTerm

Modifier and Type	Class and Description
class	TestConstant A constant InequalityTerm.
class	TestVariable A variable InequalityTerm.

Methods in ptolemy.graph.test that return InequalityTerm

Modifier and Type	Method and Description
InequalityTerm[]	TestConstant.getVariables() Return an array of size zero.
InequalityTerm[]	TestVariable.getVariables() Return an array of size one.