public static class Library.KTD_EQC
extends java.lang.Object
implements java.lang.Comparable, java.io.Serializable
KTD_EQC
class defines equivalence classes for
KinTermDef
s. Two KTDs are equivalent if they have the same
Signature String (exact) and if they have an identical set of positive
examples.
Instances of KTD_EQC are stored on the Library's ktSigTree
,
indexed by signature strings. They are important for the Active Learning
routines.
Constructor and Description |
---|
Library.KTD_EQC() |
Library.KTD_EQC(java.lang.String sigStr,
KinTermDef proto) |
Library.KTD_EQC(java.lang.String image,
java.lang.String sigStr) |
Modifier and Type | Method and Description |
---|---|
boolean |
canAssimilate(KinTermDef other,
java.util.ArrayList<java.lang.Object> refutation) |
double |
classSimWeight() |
int |
compareTo(java.lang.Object obj)
Provide a method of comparing 2 KTD_Ptrs for use in TreeMaps and
TreeSets.
|
int |
countClauses() |
Library.KTD_Ptr |
getMember(KinTermDef ktd) |
boolean |
hasMember(KinTermDef ktd) |
void |
swapPrototype(Library.KTD_Ptr kPtr) |
java.lang.String |
toString() |
java.lang.String |
toString(java.lang.String sub) |
public Library.KTD_EQC()
public Library.KTD_EQC(java.lang.String sigStr, KinTermDef proto)
public Library.KTD_EQC(java.lang.String image, java.lang.String sigStr) throws JavaSystemException
JavaSystemException
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toString(java.lang.String sub)
public boolean canAssimilate(KinTermDef other, java.util.ArrayList<java.lang.Object> refutation) throws KSParsingErrorException, JavaSystemException, KSInternalErrorException, KSConstraintInconsistency, KSBadHornClauseException, KSNoChainOfRelations2Alter, java.lang.ClassNotFoundException, java.io.FileNotFoundException
KSParsingErrorException
JavaSystemException
KSInternalErrorException
KSConstraintInconsistency
KSBadHornClauseException
KSNoChainOfRelations2Alter
java.lang.ClassNotFoundException
java.io.FileNotFoundException
public boolean hasMember(KinTermDef ktd)
public Library.KTD_Ptr getMember(KinTermDef ktd)
public void swapPrototype(Library.KTD_Ptr kPtr)
public int countClauses() throws KSParsingErrorException, JavaSystemException, KSBadHornClauseException, KSInternalErrorException, KSConstraintInconsistency, java.io.FileNotFoundException
KSParsingErrorException
JavaSystemException
KSBadHornClauseException
KSInternalErrorException
KSConstraintInconsistency
java.io.FileNotFoundException
public double classSimWeight()
public int compareTo(java.lang.Object obj) throws java.lang.ClassCastException
compareTo
in interface java.lang.Comparable
java.lang.ClassCastException