public class ComposedDef extends Issue
Constructor and Description |
---|
ComposedDef() |
ComposedDef(java.lang.String localKinTerm,
java.util.ArrayList<java.lang.Object> questns,
java.util.ArrayList<java.lang.Object> octuple) |
Modifier and Type | Method and Description |
---|---|
void |
presentToUser() |
void |
removeChallengedDyads() |
boolean |
sameAs(KinTermDef realDef,
int ignorable,
Learned_DT lrnDT,
DomainTheory sourceDT,
java.lang.String roundLearned) |
void |
scanMisfitsForNoise(java.util.TreeMap pos,
java.util.TreeMap neg,
int ignorable,
java.util.ArrayList<java.lang.Object> coveredKinTypes,
Learned_DT lrnDT,
DomainTheory sourceDT,
java.lang.String roundLearned) |
boolean |
threeTests(KinTermDef subRealDef,
java.util.TreeMap neg) |
void |
toSILKFile(java.io.PrintWriter pw) |
java.lang.String |
toString() |
java.lang.String |
toThyString() |
java.lang.String |
typeString() |
questionsToSILKString, questionsToXML
public ComposedDef()
public ComposedDef(java.lang.String localKinTerm, java.util.ArrayList<java.lang.Object> questns, java.util.ArrayList<java.lang.Object> octuple)
public java.lang.String typeString()
typeString
in class Issue
public boolean sameAs(KinTermDef realDef, int ignorable, Learned_DT lrnDT, DomainTheory sourceDT, java.lang.String roundLearned) throws KSParsingErrorException, JavaSystemException, KSInternalErrorException, KSConstraintInconsistency, KSBadHornClauseException, KSNoChainOfRelations2Alter, java.lang.ClassNotFoundException, java.io.FileNotFoundException, KinshipSystemException, java.lang.ClassNotFoundException
KSParsingErrorException
JavaSystemException
KSInternalErrorException
KSConstraintInconsistency
KSBadHornClauseException
KSNoChainOfRelations2Alter
java.lang.ClassNotFoundException
java.io.FileNotFoundException
KinshipSystemException
public boolean threeTests(KinTermDef subRealDef, java.util.TreeMap neg) throws KSBadHornClauseException, KSNoChainOfRelations2Alter, KSInternalErrorException, KSConstraintInconsistency, java.lang.ClassNotFoundException
KSBadHornClauseException
KSNoChainOfRelations2Alter
KSInternalErrorException
KSConstraintInconsistency
java.lang.ClassNotFoundException
public void scanMisfitsForNoise(java.util.TreeMap pos, java.util.TreeMap neg, int ignorable, java.util.ArrayList<java.lang.Object> coveredKinTypes, Learned_DT lrnDT, DomainTheory sourceDT, java.lang.String roundLearned)
public java.lang.String toThyString()
toThyString
in class Issue
public void toSILKFile(java.io.PrintWriter pw)
toSILKFile
in class Issue
public java.lang.String toString()
toString
in class java.lang.Object
public void removeChallengedDyads()
removeChallengedDyads
in class Issue
public void presentToUser()
presentToUser
in class Issue