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]
72