notio
Class RelationTypeDefinition

java.lang.Object
  |
  +--notio.RelationTypeDefinition

public class RelationTypeDefinition
extends java.lang.Object
implements java.io.Serializable

The relation type definition class. This class provides the functionality of a lambda expression used for describing a relation type.

See Also:
Serialized Form

Constructor Summary
RelationTypeDefinition(Concept[] newParameters, Graph newRelator)
          Constructs a new relation type definition with the specified relator graph and the array of formal parameter concepts.
RelationTypeDefinition(ConceptType[] newSignature)
          Constructs a new relation type definition with the specified signature.
 
Method Summary
 Concept[] getFormalParameters()
          Returns the formal parameter concepts for this definition or null if no formal parameters have been specified.
 Graph getRelator()
          Returns the relator graph for this definition or null if no relator has been specified.
 ConceptType[] getSignature()
          Returns the signature for this definition.
 int getValence()
          Returns the valence (number of formal parameters) for this definition.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RelationTypeDefinition

public RelationTypeDefinition(Concept[] newParameters,
                              Graph newRelator)
Constructs a new relation type definition with the specified relator graph and the array of formal parameter concepts. The formal parameter concepts must be part of the graph and have a null referent. The signature of this definition is derived from the formal parameters.
Parameters:
newParameters - the array of formal parameter concepts used in this definition.
newRelator - the relator graph for this definition.

RelationTypeDefinition

public RelationTypeDefinition(ConceptType[] newSignature)
Constructs a new relation type definition with the specified signature.
Parameters:
newSignature - the array of concept types that form the signature of this definition.
Method Detail

getRelator

public Graph getRelator()
Returns the relator graph for this definition or null if no relator has been specified.
Returns:
the relator graph for this definition.

getFormalParameters

public Concept[] getFormalParameters()
Returns the formal parameter concepts for this definition or null if no formal parameters have been specified.
Returns:
the formal parameter concepts for this definition.

getSignature

public ConceptType[] getSignature()
Returns the signature for this definition. The signature consists of the concept types of the formal parameters. No relator graph need have been specified in order to have a signature.
Returns:
the signature for this definition.

getValence

public int getValence()
Returns the valence (number of formal parameters) for this definition.
Returns:
the valence for this definition.


Copyright 1998-1999 Finnegan Southey