|
public FOLDomain ( List |
||
| constants | List |
|
| functions | List |
|
| predicates | List |
|
| return | System | |
public FOLDomain(List<String> constants, List<String> functions,
List<String> predicates)
{
this.constants = new List<String>(constants);
this.functions = new List<String>(functions);
this.predicates = new List<String>(predicates);
}