this repo has no description
dekker.one
1#
2# Main authors:
3# Christian Schulte <schulte@gecode.org>
4#
5# Copyright:
6# Christian Schulte, 2006
7#
8# This file is part of Gecode, the generic constraint
9# development environment:
10# http://www.gecode.org
11#
12# Permission is hereby granted, free of charge, to any person obtaining
13# a copy of this software and associated documentation files (the
14# "Software"), to deal in the Software without restriction, including
15# without limitation the rights to use, copy, modify, merge, publish,
16# distribute, sublicense, and/or sell copies of the Software, and to
17# permit persons to whom the Software is furnished to do so, subject to
18# the following conditions:
19#
20# The above copyright notice and this permission notice shall be
21# included in all copies or substantial portions of the Software.
22#
23# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
24# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
25# MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
26# NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
27# LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
28# OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
29# WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
30#
31
32[General]
33Name: Bool
34Namespace: Gecode::Int
35Ifdef: GECODE_HAS_INT_VARS
36Bits: 2
37Dispose: false
38[ModEventHeader]
39 /**
40 * \defgroup TaskActorIntMEPC Integer modification events and propagation conditions
41 * \ingroup TaskActorInt
42 */
43 //@{
44[ModEvent]
45Name: FAILED=FAILED
46 /// Domain operation has resulted in failure
47[ModEvent]
48Name: NONE=NONE
49 /// Domain operation has not changed domain
50[ModEvent]
51Name: VAL=ASSIGNED
52Combine: VAL=VAL
53 /// Domain operation has resulted in a value (assigned variable)
54[ModEventFooter]
55[PropCondHeader]
56[PropCond]
57Name: NONE=NONE
58 /// Propagation condition to be ignored (convenience)
59[PropCond]
60Name: VAL=ASSIGNED
61ScheduledBy: VAL
62 /**
63 * \brief Propagate when a view becomes assigned (single value)
64 *
65 * If a propagator \a p depends on a view \a x with propagation
66 * condition PC_BOOL_VAL, then \a p is propagated when a domain
67 * update operation on \a x returns the modification event ME_BOOL_VAL.
68 */
69[PropCondFooter]
70 //@}
71[End]