notio
Class ConceptTypeDefinition

java.lang.Object
  |
  +--notio.ConceptTypeDefinition
All Implemented Interfaces:
java.io.Serializable

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

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

See Also:
Serialized Form

Constructor Summary
ConceptTypeDefinition(Concept newParameter, Graph newDifferentia)
          Constructs a new concept type definition using the differentia graph and the concept in that graph that acts as a formal parameter for this definition.
ConceptTypeDefinition(ConceptType newSignature)
          Constructs a new concept type definition using the specified signature.
 
Method Summary
 Graph getDifferentia()
          Returns the differentia graph for this definition or null if no differentia graph has been specified.
 Concept getFormalParameter()
          Returns the formal parameter concept or null if no differentia graph has been specified.
 ConceptType getSignature()
          Returns the signature of this definition.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConceptTypeDefinition

public ConceptTypeDefinition(Concept newParameter,
                             Graph newDifferentia)
Constructs a new concept type definition using the differentia graph and the concept in that graph that acts as a formal parameter for this definition. The parameter concept must have a null referent. The signature of this definition is derived from the formal parameter.
Parameters:
newParameter - the single concept that is the formal parameter used in this definition.
newDifferentia - the differentia graph for this definition.

ConceptTypeDefinition

public ConceptTypeDefinition(ConceptType newSignature)
Constructs a new concept type definition using the specified signature.
Parameters:
newSignature - the single concept type that forms the signature used in this definition.
Method Detail

getDifferentia

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

getFormalParameter

public Concept getFormalParameter()
Returns the formal parameter concept or null if no differentia graph has been specified.
Returns:
the formal parameter concept.

getSignature

public ConceptType getSignature()
Returns the signature of this definition.
Returns:
the signature of this definition.


Copyright 1998-2001 Finnegan Southey