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