getFunctions() public method

public getFunctions ( ) : List
return List
Esempio n. 1
0
 public FOLDomain(FOLDomain toCopy) : this(toCopy.getConstants(), toCopy.getFunctions(), toCopy
             .getPredicates())
 {
     
 }
Esempio n. 2
0
 public FOLDomain(FOLDomain toCopy) : this(toCopy.getConstants(), toCopy.getFunctions(), toCopy
                                           .getPredicates())
 {
 }