public static class Library.KTD_Ptr
extends java.lang.Object
implements java.lang.Comparable, java.io.Serializable
Constructor and Description |
---|
Library.KTD_Ptr() |
Library.KTD_Ptr(KinTermDef ktd) |
Library.KTD_Ptr(KinTermDef ktd,
java.lang.String langName) |
Library.KTD_Ptr(Library.CB_Ptr cbPtr) |
Library.KTD_Ptr(java.lang.String curlySet) |
Modifier and Type | Method and Description |
---|---|
static void |
clearCacheDTs()
For each DT in the cache, empty its 'theory' TreeMap.
|
int |
compareTo(java.lang.Object obj)
Provide a method of comparing 2 KTD_Ptrs for use in TreeMaps and TreeSets.
|
KinTermDef |
getKTD(java.util.ArrayList<java.lang.Object> cbPtrLst) |
java.lang.String |
toString() |
public Library.KTD_Ptr()
public Library.KTD_Ptr(KinTermDef ktd)
public Library.KTD_Ptr(KinTermDef ktd, java.lang.String langName)
public Library.KTD_Ptr(Library.CB_Ptr cbPtr)
public Library.KTD_Ptr(java.lang.String curlySet)
public java.lang.String toString()
toString
in class java.lang.Object
public KinTermDef getKTD(java.util.ArrayList<java.lang.Object> cbPtrLst) throws KSParsingErrorException, JavaSystemException, KSBadHornClauseException, KSInternalErrorException, KSConstraintInconsistency, java.io.FileNotFoundException
KSParsingErrorException
JavaSystemException
KSBadHornClauseException
KSInternalErrorException
KSConstraintInconsistency
java.io.FileNotFoundException
public static void clearCacheDTs() throws KSInternalErrorException
KSInternalErrorException
public int compareTo(java.lang.Object obj) throws java.lang.ClassCastException
compareTo
in interface java.lang.Comparable
java.lang.ClassCastException