notio
Class ConceptTypeDefinition
java.lang.Object
|
+--notio.ConceptTypeDefinition
- 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-1999 Finnegan Southey