getConstants() public method

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