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