1 package org.sat4j.csp.xml;
2
3 interface TagNames {
4
5 String SCOPE = "scope";
6 String REFERENCE = "reference";
7 String ARITY = "arity";
8 String NAME = "name";
9
10
11 String NB_CONSTRAINTS = "nbConstraints";
12
13
14 String NB_DOMAINS = "nbDomains";
15
16
17 String SUPPORT = "supports";
18 String CONFLICT = "conflicts";
19 String SEMANTICS = "semantics";
20 String NB_TUPLES = "nbTuples";
21 String TUPLE_SEPARATOR = "\\|";
22
23
24 String NB_RELATIONS = "nbRelations";
25
26
27 String DOMAIN = "domain";
28
29
30 String NB_VARIABLES = "nbVariables";
31 }