View Javadoc

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