public List<String> getFunctions() { return functions; }
public FOLDomain(FOLDomain toCopy) : this(toCopy.getConstants(), toCopy.getFunctions(), toCopy .getPredicates()) { }