Method | Description | |
---|---|---|
FOLDataSetDomain ( |
||
getDataSetTargetName ( ) : String | ||
getDescriptionDataSetNames ( ) : List |
||
getDescriptionPredicateNames ( ) : List |
||
getExampleConstant ( int egNo ) : String | ||
getFOLName ( String dsName ) : String | ||
getGoalPredicateName ( ) : String | ||
getTrueGoalValue ( ) : String | ||
isMultivalued ( String descriptiveDataSetName ) : bool |
Method | Description | |
---|---|---|
constructFOLDomain ( ) : void | ||
isJavaIdentifierStart ( char c ) : bool |
public FOLDataSetDomain ( |
||
dataSetSpecification | ||
trueGoalValue | String | |
return | System |
public getDescriptionPredicateNames ( ) : List |
||
return | List |
public getExampleConstant ( int egNo ) : String | ||
egNo | int | |
return | String |
public isMultivalued ( String descriptiveDataSetName ) : bool | ||
descriptiveDataSetName | String | |
return | bool |