public class ProposedDef extends Issue
Issue
and inherits its methods.Constructor and Description |
---|
ProposedDef() |
ProposedDef(java.lang.String localKinTerm,
java.lang.String type,
java.util.ArrayList<java.lang.Object> questions,
Library.KTD_EQC equivClass) |
Modifier and Type | Method and Description |
---|---|
void |
presentToUser() |
void |
refute(java.util.ArrayList<java.lang.Object> egoBag,
DomainTheory sourceDT,
Learned_DT lrnDT) |
void |
removeChallengedDyads() |
boolean |
sameAs(KinTermDef realDef)
True if realDef is logically equivalent to ANY ktd in eqc.members.
|
void |
toSILKFile(java.io.PrintWriter pw) |
java.lang.String |
toString() |
java.lang.String |
toThyString() |
java.lang.String |
typeString() |
questionsToSILKString, questionsToXML
public ProposedDef()
public ProposedDef(java.lang.String localKinTerm, java.lang.String type, java.util.ArrayList<java.lang.Object> questions, Library.KTD_EQC equivClass) throws KSParsingErrorException, JavaSystemException, KSInternalErrorException, KSConstraintInconsistency
public java.lang.String typeString()
typeString
in class Issue
public boolean sameAs(KinTermDef realDef) throws KSParsingErrorException, JavaSystemException, KSInternalErrorException, KSConstraintInconsistency, KSBadHornClauseException, KSNoChainOfRelations2Alter, java.lang.ClassNotFoundException, java.io.FileNotFoundException
realDef
- a KTD to be compared to this proposed kin term def.KSParsingErrorException
JavaSystemException
KSInternalErrorException
KSConstraintInconsistency
KSBadHornClauseException
KSNoChainOfRelations2Alter
java.lang.ClassNotFoundException
java.io.FileNotFoundException
public void refute(java.util.ArrayList<java.lang.Object> egoBag, DomainTheory sourceDT, Learned_DT lrnDT) throws KSBadHornClauseException, KSInternalErrorException, KSConstraintInconsistency, java.lang.ClassNotFoundException, KinshipSystemException, KSNoChainOfRelations2Alter, KSParsingErrorException, JavaSystemException, java.lang.ClassNotFoundException
KSBadHornClauseException
KSInternalErrorException
KSConstraintInconsistency
java.lang.ClassNotFoundException
KinshipSystemException
KSNoChainOfRelations2Alter
KSParsingErrorException
JavaSystemException
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() throws KSParsingErrorException, JavaSystemException, KSInternalErrorException, KSConstraintInconsistency
presentToUser
in class Issue
KSParsingErrorException
JavaSystemException
KSInternalErrorException
KSConstraintInconsistency