getFunctions() public method

public getFunctions ( ) : List
return List
示例#1
0
 public FOLDomain(FOLDomain toCopy) : this(toCopy.getConstants(), toCopy.getFunctions(), toCopy
             .getPredicates())
 {
     
 }
示例#2
0
 public FOLDomain(FOLDomain toCopy) : this(toCopy.getConstants(), toCopy.getFunctions(), toCopy
                                           .getPredicates())
 {
 }