getFunctions() public méthode

public getFunctions ( ) : List
Résultat List
Exemple #1
0
 public FOLDomain(FOLDomain toCopy) : this(toCopy.getConstants(), toCopy.getFunctions(), toCopy
             .getPredicates())
 {
     
 }
Exemple #2
0
 public FOLDomain(FOLDomain toCopy) : this(toCopy.getConstants(), toCopy.getFunctions(), toCopy
                                           .getPredicates())
 {
 }