public class FOLDataSetDomain extends FOLDomain
Constructor and Description |
---|
FOLDataSetDomain(DataSetSpecification dataSetSpecification,
java.lang.String trueGoalValue) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDataSetTargetName() |
java.util.List<java.lang.String> |
getDescriptionDataSetNames() |
java.util.List<java.lang.String> |
getDescriptionPredicateNames() |
java.lang.String |
getExampleConstant(int egNo) |
java.lang.String |
getFOLName(java.lang.String dsName) |
java.lang.String |
getGoalPredicateName() |
java.lang.String |
getTrueGoalValue() |
boolean |
isMultivalued(java.lang.String descriptiveDataSetName) |
addAnswerLiteral, addConstant, addFOLDomainListener, addFunction, addPredicate, addSkolemConstant, addSkolemFunction, getConstants, getFunctions, getPredicates, removeFOLDomainListener
public FOLDataSetDomain(DataSetSpecification dataSetSpecification, java.lang.String trueGoalValue)
public java.lang.String getDataSetTargetName()
public java.lang.String getGoalPredicateName()
public java.lang.String getTrueGoalValue()
public java.util.List<java.lang.String> getDescriptionPredicateNames()
public java.util.List<java.lang.String> getDescriptionDataSetNames()
public boolean isMultivalued(java.lang.String descriptiveDataSetName)
public java.lang.String getExampleConstant(int egNo)
public java.lang.String getFOLName(java.lang.String dsName)