.sat4j.csp.xmlparser.2.3.0.source-code.instance_2_0.xsd Maven / Gradle / Ivy
The newest version!
Type of relations. Relations are either represented by
allowed tuples, forbidden tuples or predicates. For the
moment we are representing predicates separately, maybe
we should merge the two tags.
That type is supposed to ensure that tuples are
expressed correctly. The current regular expression may
not be good :-=)
That type describes the attribute nbSolutions for the
instance element. The number of solutions can either be
a "?" or a positive integer.
Type for the values of a domain. It is an enumeration of
allowed values and of interval of values noted by
begin..end. The current regular expression may not be
good :-=)
Type for formal parameters in predicate definition. This
type is a string like "param_name param_type param_name
param_type ..." The current regular expression may not
be good :-=)
Type for expressions describing predicate. Several kinds
of expression will be possible : functional expression,
infix expression, MathML expression. As for the 2006
competition only functional representation is allowed,
the type is restricted to this case too.
Type for functional expressions. Functional expressions
are boolean expressions.
That type describes the attribute reference for the
constraint element. It can be either an IDREF of a
predicate or a relation, or the name of a global
constraint.
That type describes effective parameters for
constraints.