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. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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.
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