parser.absconparseur
Class InstanceTokens

java.lang.Object
  extended by parser.absconparseur.InstanceTokens

public class InstanceTokens
extends Object


Field Summary
static String ALL_DIFFERENT
           
static String ARITY
           
static String BRACKETS
           
static String CONFLICTS
           
static String CONSTRAINT
           
static String CONSTRAINT_PREFIX
           
static String CONSTRAINTS
           
static String COST_SEPARATOR
           
static String CSP
           
static String CST
           
static String CUMULATIVE
           
static String DEFAULT_COST
           
static String DESCRIPTION
           
static String DISCRETE_INTERVAL_END
           
static String DISCRETE_INTERVAL_SEPARATOR
           
static String DISCRETE_INTERVAL_START
           
static String DISJUNCTIVE
           
static String DOMAIN
           
static String DOMAIN_PREFIX
           
static String DOMAINS
           
static String ELEMENT
           
static String EXPRESSION
           
static String FORMAT
           
static String FUNCTION
           
static String FUNCTION_PREFIX
           
static String FUNCTIONAL
           
static String FUNCTIONS
           
static String GLOBALCARDINALITY
           
static String INFINITY
           
static String INITIAL_COST
           
static String INSTANCE
           
static String INSTANCE_SCHEMA_1_1
           
static String INSTANCE_SCHEMA_2_0
           
static String INSTANCE_STYLESHEET_1_1
           
static String INSTANCE_STYLESHEET_2_0
           
static String INSTANCE_STYLESHEET_2_1
           
static String LEXLESS
           
static String LEXLESSEQ
           
static String LIST
           
static String MAX_CONSTRAINT_ARITY
           
static String MAXIMAL_COST
           
static String MIN_VIOLATED_CONSTRAINTS
           
static String NAME
          Used as an attribute to identify domains, variables, relations, predicates and constraints.
static String NB_CONFLICTS
           
static String NB_CONSTRAINTS
           
static String NB_DOMAINS
           
static String NB_FUNCTIONS
           
static String NB_PREDICATES
           
static String NB_RELATIONS
           
static String NB_SOLUTIONS
           
static String NB_SUPPORTS
           
static String NB_TUPLES
           
static String NB_VALUES
           
static String NB_VARIABLES
           
static String NIL
           
static String NVALUE
           
static String PARAMETER_PREFIX
           
static String PARAMETERS
           
static String POSTFIX_EXPRESSION
           
static String PREDICATE
           
static String PREDICATE_PREFIX
           
static String PREDICATES
           
static String PREFIX_GLOBAL
           
static String PRESENTATION
           
static String QCSP
           
static String QCSP_PLUS
           
static String REFERENCE
           
static String RELATION
           
static String RELATION_PREFIX
           
static String RELATIONS
           
static String SAT
           
static String SCOPE
           
static String SEMANTICS
           
static String SOFT
           
static String SOL
           
static String SOLUTION
           
static String SUPPORTS
           
static String TUPLES_SEPARATOR
           
static String TYPE
           
static String UNSAT
           
static String VALUE
           
static String VALUE_SEPARATOR
           
static String VALUES
           
static String VAR
           
static String VARIABLE
           
static String VARIABLE_PREFIX
           
static String VARIABLES
           
static String W3C_XML_SCHEMA
           
static String WCSP
           
static String WEIGHTED_SUM
           
static String WHITE_SPACE
           
static String XCSP
           
static String XCSP_2_0
           
static String XCSP_2_1
           
 
Constructor Summary
InstanceTokens()
           
 
Method Summary
static String getConstraintNameFor(int id)
           
static String getDomainNameFor(int id)
           
static String getFunctionNameFor(int id)
           
static String getGlobalNameOf(String s)
           
static String getLowerCaseGlobalNameOf(String s)
           
static String getParameterNameFor(int id)
           
static String getPredicateNameFor(int id)
           
static String getRelationNameFor(int id)
           
static String getVariableNameFor(int id)
           
static boolean isCanonicalName(String prefix, String name)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

W3C_XML_SCHEMA

public static final String W3C_XML_SCHEMA
See Also:
Constant Field Values

INSTANCE_SCHEMA_1_1

public static final String INSTANCE_SCHEMA_1_1
See Also:
Constant Field Values

INSTANCE_SCHEMA_2_0

public static final String INSTANCE_SCHEMA_2_0
See Also:
Constant Field Values

INSTANCE_STYLESHEET_1_1

public static final String INSTANCE_STYLESHEET_1_1
See Also:
Constant Field Values

INSTANCE_STYLESHEET_2_0

public static final String INSTANCE_STYLESHEET_2_0
See Also:
Constant Field Values

INSTANCE_STYLESHEET_2_1

public static final String INSTANCE_STYLESHEET_2_1
See Also:
Constant Field Values

SAT

public static final String SAT
See Also:
Constant Field Values

UNSAT

public static final String UNSAT
See Also:
Constant Field Values

SOL

public static final String SOL
See Also:
Constant Field Values

INSTANCE

public static final String INSTANCE
See Also:
Constant Field Values

WHITE_SPACE

public static final String WHITE_SPACE
See Also:
Constant Field Values

BRACKETS

public static final String BRACKETS
See Also:
Constant Field Values

NAME

public static final String NAME
Used as an attribute to identify domains, variables, relations, predicates and constraints.

See Also:
Constant Field Values

DESCRIPTION

public static final String DESCRIPTION
See Also:
Constant Field Values

PRESENTATION

public static final String PRESENTATION
See Also:
Constant Field Values

MAX_CONSTRAINT_ARITY

public static final String MAX_CONSTRAINT_ARITY
See Also:
Constant Field Values

MIN_VIOLATED_CONSTRAINTS

public static final String MIN_VIOLATED_CONSTRAINTS
See Also:
Constant Field Values

SOLUTION

public static final String SOLUTION
See Also:
Constant Field Values

NB_SOLUTIONS

public static final String NB_SOLUTIONS
See Also:
Constant Field Values

FORMAT

public static final String FORMAT
See Also:
Constant Field Values

XCSP

public static final String XCSP
See Also:
Constant Field Values

XCSP_2_0

public static final String XCSP_2_0
See Also:
Constant Field Values

XCSP_2_1

public static final String XCSP_2_1
See Also:
Constant Field Values

TYPE

public static final String TYPE
See Also:
Constant Field Values

CSP

public static final String CSP
See Also:
Constant Field Values

WCSP

public static final String WCSP
See Also:
Constant Field Values

QCSP

public static final String QCSP
See Also:
Constant Field Values

QCSP_PLUS

public static final String QCSP_PLUS
See Also:
Constant Field Values

DOMAINS

public static final String DOMAINS
See Also:
Constant Field Values

NB_DOMAINS

public static final String NB_DOMAINS
See Also:
Constant Field Values

DOMAIN

public static final String DOMAIN
See Also:
Constant Field Values

NB_VALUES

public static final String NB_VALUES
See Also:
Constant Field Values

VALUES

public static final String VALUES
See Also:
Constant Field Values

VALUE_SEPARATOR

public static final String VALUE_SEPARATOR
See Also:
Constant Field Values

DISCRETE_INTERVAL_START

public static final String DISCRETE_INTERVAL_START
See Also:
Constant Field Values

DISCRETE_INTERVAL_SEPARATOR

public static final String DISCRETE_INTERVAL_SEPARATOR
See Also:
Constant Field Values

DISCRETE_INTERVAL_END

public static final String DISCRETE_INTERVAL_END
See Also:
Constant Field Values

VARIABLES

public static final String VARIABLES
See Also:
Constant Field Values

NB_VARIABLES

public static final String NB_VARIABLES
See Also:
Constant Field Values

VARIABLE

public static final String VARIABLE
See Also:
Constant Field Values

RELATIONS

public static final String RELATIONS
See Also:
Constant Field Values

NB_RELATIONS

public static final String NB_RELATIONS
See Also:
Constant Field Values

RELATION

public static final String RELATION
See Also:
Constant Field Values

SUPPORTS

public static final String SUPPORTS
See Also:
Constant Field Values

NB_SUPPORTS

public static final String NB_SUPPORTS
See Also:
Constant Field Values

CONFLICTS

public static final String CONFLICTS
See Also:
Constant Field Values

TUPLES_SEPARATOR

public static final String TUPLES_SEPARATOR
See Also:
Constant Field Values

SOFT

public static final String SOFT
See Also:
Constant Field Values

INFINITY

public static final String INFINITY
See Also:
Constant Field Values

DEFAULT_COST

public static final String DEFAULT_COST
See Also:
Constant Field Values

COST_SEPARATOR

public static final String COST_SEPARATOR
See Also:
Constant Field Values

NB_CONFLICTS

public static final String NB_CONFLICTS
See Also:
Constant Field Values

ARITY

public static final String ARITY
See Also:
Constant Field Values

NB_TUPLES

public static final String NB_TUPLES
See Also:
Constant Field Values

SEMANTICS

public static final String SEMANTICS
See Also:
Constant Field Values

FUNCTIONS

public static final String FUNCTIONS
See Also:
Constant Field Values

NB_FUNCTIONS

public static final String NB_FUNCTIONS
See Also:
Constant Field Values

FUNCTION

public static final String FUNCTION
See Also:
Constant Field Values

PREDICATES

public static final String PREDICATES
See Also:
Constant Field Values

NB_PREDICATES

public static final String NB_PREDICATES
See Also:
Constant Field Values

PREDICATE

public static final String PREDICATE
See Also:
Constant Field Values

EXPRESSION

public static final String EXPRESSION
See Also:
Constant Field Values

FUNCTIONAL

public static final String FUNCTIONAL
See Also:
Constant Field Values

POSTFIX_EXPRESSION

public static final String POSTFIX_EXPRESSION
See Also:
Constant Field Values

PARAMETERS

public static final String PARAMETERS
See Also:
Constant Field Values

LIST

public static final String LIST
See Also:
Constant Field Values

PREFIX_GLOBAL

public static final String PREFIX_GLOBAL
See Also:
Constant Field Values

ALL_DIFFERENT

public static final String ALL_DIFFERENT
See Also:
Constant Field Values

WEIGHTED_SUM

public static final String WEIGHTED_SUM
See Also:
Constant Field Values

CUMULATIVE

public static final String CUMULATIVE
See Also:
Constant Field Values

ELEMENT

public static final String ELEMENT
See Also:
Constant Field Values

DISJUNCTIVE

public static final String DISJUNCTIVE
See Also:
Constant Field Values

LEXLESS

public static final String LEXLESS
See Also:
Constant Field Values

LEXLESSEQ

public static final String LEXLESSEQ
See Also:
Constant Field Values

NVALUE

public static final String NVALUE
See Also:
Constant Field Values

GLOBALCARDINALITY

public static final String GLOBALCARDINALITY
See Also:
Constant Field Values

NIL

public static final String NIL
See Also:
Constant Field Values

CONSTRAINTS

public static final String CONSTRAINTS
See Also:
Constant Field Values

NB_CONSTRAINTS

public static final String NB_CONSTRAINTS
See Also:
Constant Field Values

INITIAL_COST

public static final String INITIAL_COST
See Also:
Constant Field Values

MAXIMAL_COST

public static final String MAXIMAL_COST
See Also:
Constant Field Values

CONSTRAINT

public static final String CONSTRAINT
See Also:
Constant Field Values

SCOPE

public static final String SCOPE
See Also:
Constant Field Values

REFERENCE

public static final String REFERENCE
See Also:
Constant Field Values

CST

public static final String CST
See Also:
Constant Field Values

VAR

public static final String VAR
See Also:
Constant Field Values

VALUE

public static final String VALUE
See Also:
Constant Field Values

DOMAIN_PREFIX

public static final String DOMAIN_PREFIX
See Also:
Constant Field Values

VARIABLE_PREFIX

public static final String VARIABLE_PREFIX
See Also:
Constant Field Values

RELATION_PREFIX

public static final String RELATION_PREFIX
See Also:
Constant Field Values

FUNCTION_PREFIX

public static final String FUNCTION_PREFIX
See Also:
Constant Field Values

PREDICATE_PREFIX

public static final String PREDICATE_PREFIX
See Also:
Constant Field Values

CONSTRAINT_PREFIX

public static final String CONSTRAINT_PREFIX
See Also:
Constant Field Values

PARAMETER_PREFIX

public static final String PARAMETER_PREFIX
See Also:
Constant Field Values
Constructor Detail

InstanceTokens

public InstanceTokens()
Method Detail

getGlobalNameOf

public static String getGlobalNameOf(String s)

getLowerCaseGlobalNameOf

public static String getLowerCaseGlobalNameOf(String s)

getDomainNameFor

public static String getDomainNameFor(int id)

getVariableNameFor

public static String getVariableNameFor(int id)

getRelationNameFor

public static String getRelationNameFor(int id)

getFunctionNameFor

public static String getFunctionNameFor(int id)

getPredicateNameFor

public static String getPredicateNameFor(int id)

getConstraintNameFor

public static String getConstraintNameFor(int id)

getParameterNameFor

public static String getParameterNameFor(int id)

isCanonicalName

public static boolean isCanonicalName(String prefix,
                                      String name)


Copyright © 2012. All Rights Reserved.