Test::Int::MiniModelBoolean Namespace Reference

Tests for minimal modelling constraints (Boolean) More...

Classes
class	BoolInstr
	Type for representing a Boolean instruction. More...
class	BoolExprInt
	Test Boolean expressions with integer result More...
class	BoolExprVar
	Test posting Boolean expressions More...
class	Create
	Help class to create and register tests. More...
Enumerations
enum	BoolOpcode {   BO_NOT, BO_AND, BO_OR, BO_IMP,   BO_XOR, BO_EQV, BO_HLT }
	Boolean opcode. More...
Functions
int	eval (const BoolInstr *pc, int reg[])
	Executes Boolean instruction for evaluation (checking).
Gecode::BoolExpr	eval (const BoolInstr *pc, Gecode::BoolExpr reg[])
	Executes Boolean instruction for constructing Boolean expressions.
Variables
const BoolInstr	bi000 []
const BoolInstr	bi001 []
const BoolInstr	bi002 []
const BoolInstr	bi003 []
const BoolInstr	bi004 []
const BoolInstr	bi005 []
const BoolInstr	bi006 []
const BoolInstr	bi007 []
const BoolInstr	bi008 []
const BoolInstr	bi009 []
const BoolInstr	bi010 []
const BoolInstr	bi011 []
const BoolInstr	bi012 []
const BoolInstr	bi013 []
const BoolInstr	bi014 []
const BoolInstr	bi015 []
const BoolInstr	bi016 []
const BoolInstr	bi017 []
const BoolInstr	bi018 []
const BoolInstr	bi019 []
const BoolInstr	bi020 []
const BoolInstr	bi021 []
const BoolInstr	bi022 []
const BoolInstr	bi023 []
const BoolInstr	bi024 []
const BoolInstr	bi025 []
const BoolInstr	bi026 []
const BoolInstr	bi027 []
const BoolInstr	bi028 []
const BoolInstr	bi029 []
const BoolInstr	bi030 []
const BoolInstr	bi031 []
const BoolInstr	bi032 []
const BoolInstr	bi033 []
const BoolInstr	bi034 []
const BoolInstr	bi035 []
const BoolInstr	bi036 []
const BoolInstr	bi037 []
const BoolInstr	bi038 []
const BoolInstr	bi039 []
const BoolInstr	bi040 []
const BoolInstr	bi041 []
const BoolInstr	bi042 []
const BoolInstr	bi043 []
const BoolInstr	bi044 []
const BoolInstr	bi045 []
const BoolInstr	bi046 []
const BoolInstr	bi047 []
const BoolInstr	bi048 []
const BoolInstr	bi049 []
const BoolInstr	bi050 []
const BoolInstr	bi051 []
const BoolInstr	bi052 []
const BoolInstr	bi053 []
const BoolInstr	bi054 []
const BoolInstr	bi055 []
const BoolInstr	bi056 []
const BoolInstr	bi057 []
const BoolInstr	bi058 []
const BoolInstr	bi059 []
const BoolInstr	bi060 []
const BoolInstr	bi061 []
const BoolInstr	bi062 []
const BoolInstr	bi063 []
const BoolInstr	bi064 []
const BoolInstr	bi065 []
const BoolInstr	bi066 []
const BoolInstr	bi067 []
const BoolInstr	bi068 []
const BoolInstr	bi069 []
const BoolInstr	bi070 []
const BoolInstr	bi071 []
const BoolInstr	bi072 []
const BoolInstr	bi073 []
const BoolInstr	bi074 []
const BoolInstr	bi075 []
const BoolInstr	bi076 []
const BoolInstr	bi077 []
const BoolInstr	bi078 []
const BoolInstr	bi079 []
const BoolInstr	bi080 []
const BoolInstr	bi081 []
const BoolInstr	bi082 []
const BoolInstr	bi083 []
const BoolInstr	bi084 []
const BoolInstr	bi085 []
const BoolInstr	bi086 []
const BoolInstr	bi087 []
const BoolInstr	bi088 []
const BoolInstr	bi089 []
const BoolInstr	bi090 []
const BoolInstr	bi091 []
const BoolInstr	bi092 []
const BoolInstr	bi093 []
const BoolInstr	bi094 []
const BoolInstr	bi095 []
const BoolInstr	bi096 []
const BoolInstr	bi097 []
const BoolInstr	bi098 []
const BoolInstr	bi099 []
const BoolInstr	bi100 []
const BoolInstr	bi101 []
const BoolInstr	bi102 []
const BoolInstr	bi103 []
const BoolInstr	bi104 []
const BoolInstr	bi105 []
const BoolInstr	bi106 []
const BoolInstr	bi107 []
const BoolInstr	bi108 []
const BoolInstr	bi109 []
const BoolInstr	bi110 []
const BoolInstr	bi111 []
const BoolInstr	bi112 []
const BoolInstr	bi113 []
const BoolInstr	bi114 []
const BoolInstr	bi115 []
const BoolInstr	bi116 []
const BoolInstr	bi117 []
const BoolInstr	bi118 []
const BoolInstr	bi119 []
const BoolInstr	bi120 []
const BoolInstr	bi121 []
const BoolInstr	bi122 []
const BoolInstr	bi123 []
const BoolInstr	bi124 []
const BoolInstr	bi125 []
const BoolInstr	bi126 []
const BoolInstr	bi127 []
const BoolInstr	bi128 []
const BoolInstr	bi129 []
const BoolInstr	bi130 []
const BoolInstr	bi131 []
const BoolInstr	bi132 []
const BoolInstr	bi133 []
const BoolInstr	bi134 []
const BoolInstr	bi135 []
const BoolInstr	bi136 []
const BoolInstr	bi137 []
const BoolInstr	bi138 []
const BoolInstr	bi139 []
const BoolInstr	bi140 []
const BoolInstr	bi141 []
const BoolInstr	bi142 []
const BoolInstr	bi143 []
const BoolInstr	bi144 []
const BoolInstr	bi145 []
const BoolInstr	bi146 []
const BoolInstr	bi147 []
const BoolInstr	bi148 []
const BoolInstr	bi149 []
const BoolInstr	bi150 []
const BoolInstr	bi151 []
const BoolInstr	bi152 []
const BoolInstr	bi153 []
const BoolInstr	bi154 []
const BoolInstr	bi155 []
const BoolInstr	bi156 []
const BoolInstr	bi157 []
const BoolInstr	bi158 []
const BoolInstr	bi159 []
const BoolInstr	bi160 []
const BoolInstr	bi161 []
const BoolInstr	bi162 []
const BoolInstr	bi163 []
const BoolInstr	bi164 []
const BoolInstr	bi165 []
const BoolInstr	bi166 []
const BoolInstr	bi167 []
const BoolInstr	bi168 []
const BoolInstr	bi169 []
const BoolInstr	bi170 []
const BoolInstr	bi171 []
const BoolInstr	bi172 []
const BoolInstr	bi173 []
const BoolInstr	bi174 []
const BoolInstr	bi175 []
const BoolInstr	bi176 []
const BoolInstr	bi177 []
const BoolInstr	bi178 []
const BoolInstr	bi179 []
const BoolInstr	bi180 []
const BoolInstr	bi181 []
const BoolInstr	bi182 []
const BoolInstr	bi183 []
const BoolInstr	bi184 []
const BoolInstr	bi185 []
const BoolInstr	bi186 []
const BoolInstr	bi187 []
const BoolInstr	bi188 []
const BoolInstr	bi189 []
const BoolInstr	bi190 []
const BoolInstr	bi191 []
const BoolInstr	bi192 []
const BoolInstr	bi193 []
const BoolInstr	bi194 []
const BoolInstr	bi195 []
const BoolInstr	bi196 []
const BoolInstr	bi197 []
const BoolInstr	bi198 []
const BoolInstr	bi199 []
const BoolInstr	bi200 []
const BoolInstr	bi201 []
const BoolInstr	bi202 []
const BoolInstr	bi203 []
const BoolInstr	bi204 []
const BoolInstr	bi205 []
const BoolInstr	bi206 []
const BoolInstr	bi207 []
const BoolInstr	bi208 []
const BoolInstr	bi209 []
const BoolInstr	bi210 []
const BoolInstr	bi211 []
const BoolInstr	bi212 []
const BoolInstr	bi213 []
const BoolInstr	bi214 []
const BoolInstr	bi215 []
const BoolInstr	bi216 []
const BoolInstr	bi217 []
const BoolInstr	bi218 []
const BoolInstr	bi219 []
const BoolInstr	bi220 []
const BoolInstr	bi221 []
const BoolInstr	bi222 []
const BoolInstr	bi223 []
const BoolInstr	bi224 []
const BoolInstr	bi225 []
const BoolInstr	bi226 []
const BoolInstr	bi227 []
const BoolInstr	bi228 []
const BoolInstr	bi229 []
const BoolInstr	bi230 []
const BoolInstr	bi231 []
const BoolInstr	bi232 []
const BoolInstr	bi233 []
const BoolInstr	bi234 []
const BoolInstr	bi235 []
const BoolInstr	bi236 []
const BoolInstr	bi237 []
const BoolInstr	bi238 []
const BoolInstr	bi239 []
const BoolInstr	bi240 []
const BoolInstr	bi241 []
const BoolInstr	bi242 []
const BoolInstr	bi243 []
const BoolInstr	bi244 []
const BoolInstr	bi245 []
const BoolInstr	bi246 []
const BoolInstr	bi247 []
const BoolInstr	bi248 []
const BoolInstr	bi249 []
const BoolInstr	bi250 []
const BoolInstr	bi251 []
const BoolInstr	bi252 []
const BoolInstr	bi253 []
const BoolInstr	bi254 []
const BoolInstr	bi255 []
const BoolInstr	bi256 []
const BoolInstr	bi257 []
const BoolInstr	bi258 []
const BoolInstr	bi259 []
const BoolInstr	bi260 []
const BoolInstr	bi261 []
const BoolInstr	bi262 []
const BoolInstr	bi263 []
const BoolInstr	bi264 []
const BoolInstr	bi265 []
const BoolInstr	bi266 []
const BoolInstr	bi267 []
const BoolInstr	bi268 []
const BoolInstr	bi269 []
const BoolInstr	bi270 []
const BoolInstr	bi271 []
const BoolInstr	bi272 []
const BoolInstr	bi273 []
const BoolInstr	bi274 []
const BoolInstr	bi275 []
const BoolInstr	bi276 []
const BoolInstr	bi277 []
const BoolInstr	bi278 []
const BoolInstr	bi279 []
const BoolInstr	bi280 []
const BoolInstr	bi281 []
const BoolInstr	bi282 []
const BoolInstr	bi283 []
const BoolInstr	bi284 []
const BoolInstr	bi285 []
const BoolInstr	bi286 []
const BoolInstr	bi287 []
const BoolInstr	bi288 []
const BoolInstr	bi289 []
const BoolInstr	bi290 []
const BoolInstr	bi291 []
const BoolInstr	bi292 []
const BoolInstr	bi293 []
const BoolInstr	bi294 []
const BoolInstr	bi295 []
const BoolInstr	bi296 []
const BoolInstr	bi297 []
const BoolInstr	bi298 []
const BoolInstr	bi299 []
const BoolInstr	bi300 []
const BoolInstr	bi301 []
const BoolInstr	bi302 []
const BoolInstr	bi303 []
const BoolInstr	bi304 []
const BoolInstr	bi305 []
const BoolInstr	bi306 []
const BoolInstr	bi307 []
const BoolInstr	bi308 []
const BoolInstr	bi309 []
const BoolInstr	bi310 []
const BoolInstr	bi311 []
const BoolInstr	bi312 []
const BoolInstr	bi313 []
const BoolInstr	bi314 []
const BoolInstr	bi315 []
const BoolInstr	bi316 []
const BoolInstr	bi317 []
const BoolInstr	bi318 []
const BoolInstr	bi319 []
const BoolInstr	bi320 []
const BoolInstr	bi321 []
const BoolInstr	bi322 []
const BoolInstr	bi323 []
const BoolInstr	bi324 []
const BoolInstr	bi325 []
const BoolInstr	bi326 []
const BoolInstr	bi327 []
const BoolInstr	bi328 []
const BoolInstr	bi329 []
const BoolInstr	bi330 []
const BoolInstr	bi331 []
const BoolInstr	bi332 []
const BoolInstr	bi333 []
const BoolInstr	bi334 []
const BoolInstr	bi335 []
const BoolInstr	bi336 []
const BoolInstr	bi337 []
const BoolInstr	bi338 []
const BoolInstr	bi339 []
const BoolInstr	bi340 []
const BoolInstr	bi341 []
const BoolInstr	bi342 []
const BoolInstr	bi343 []
const BoolInstr	bi344 []
const BoolInstr	bi345 []
const BoolInstr	bi346 []
const BoolInstr	bi347 []
const BoolInstr	bi348 []
const BoolInstr	bi349 []
const BoolInstr	bi350 []
const BoolInstr	bi351 []
const BoolInstr	bi352 []
const BoolInstr	bi353 []
const BoolInstr	bi354 []
const BoolInstr	bi355 []
const BoolInstr	bi356 []
const BoolInstr	bi357 []
const BoolInstr	bi358 []
const BoolInstr	bi359 []
const BoolInstr	bi360 []
const BoolInstr	bi361 []
const BoolInstr	bi362 []
const BoolInstr	bi363 []
const BoolInstr	bi364 []
const BoolInstr	bi365 []
const BoolInstr	bi366 []
const BoolInstr	bi367 []
const BoolInstr	bi368 []
const BoolInstr	bi369 []
const BoolInstr	bi370 []
const BoolInstr	bi371 []
const BoolInstr	bi372 []
const BoolInstr	bi373 []
const BoolInstr	bi374 []
const BoolInstr	bi375 []
const BoolInstr	bi376 []
const BoolInstr	bi377 []
const BoolInstr	bi378 []
const BoolInstr	bi379 []
const BoolInstr	bi380 []
const BoolInstr	bi381 []
const BoolInstr	bi382 []
const BoolInstr	bi383 []
const BoolInstr	bi384 []
const BoolInstr	bi385 []
const BoolInstr	bi386 []
const BoolInstr	bi387 []
const BoolInstr	bi388 []
const BoolInstr	bi389 []
const BoolInstr	bi390 []
const BoolInstr	bi391 []
const BoolInstr	bi392 []
const BoolInstr	bi393 []
const BoolInstr	bi394 []
const BoolInstr	bi395 []
const BoolInstr	bi396 []
const BoolInstr	bi397 []
const BoolInstr	bi398 []
const BoolInstr	bi399 []
const BoolInstr	bi400 []
const BoolInstr	bi401 []
const BoolInstr	bi402 []
const BoolInstr	bi403 []
const BoolInstr	bi404 []
const BoolInstr	bi405 []
const BoolInstr	bi406 []
const BoolInstr	bi407 []
const BoolInstr	bi408 []
const BoolInstr	bi409 []
const BoolInstr	bi410 []
const BoolInstr	bi411 []
const BoolInstr	bi412 []
const BoolInstr	bi413 []
const BoolInstr	bi414 []
const BoolInstr	bi415 []
const BoolInstr	bi416 []
const BoolInstr	bi417 []
const BoolInstr	bi418 []
const BoolInstr	bi419 []
const BoolInstr	bi420 []
const BoolInstr	bi421 []
const BoolInstr	bi422 []
const BoolInstr	bi423 []
const BoolInstr	bi424 []
const BoolInstr	bi425 []
const BoolInstr	bi426 []
const BoolInstr	bi427 []
const BoolInstr	bi428 []
const BoolInstr	bi429 []
const BoolInstr	bi430 []
const BoolInstr	bi431 []
const BoolInstr	bi432 []
const BoolInstr	bi433 []
const BoolInstr	bi434 []
const BoolInstr	bi435 []
const BoolInstr	bi436 []
const BoolInstr	bi437 []
const BoolInstr	bi438 []
const BoolInstr	bi439 []
const BoolInstr	bi440 []
const BoolInstr	bi441 []
const BoolInstr	bi442 []
const BoolInstr	bi443 []
const BoolInstr	bi444 []
const BoolInstr	bi445 []
const BoolInstr	bi446 []
const BoolInstr	bi447 []
const BoolInstr	bi448 []
const BoolInstr	bi449 []
const BoolInstr	bi450 []
const BoolInstr	bi451 []
const BoolInstr	bi452 []
const BoolInstr	bi453 []
const BoolInstr	bi454 []
const BoolInstr	bi455 []
const BoolInstr	bi456 []
const BoolInstr	bi457 []
const BoolInstr	bi458 []
const BoolInstr	bi459 []
const BoolInstr	bi460 []
const BoolInstr	bi461 []
const BoolInstr	bi462 []
const BoolInstr	bi463 []
const BoolInstr	bi464 []
const BoolInstr	bi465 []
const BoolInstr	bi466 []
const BoolInstr	bi467 []
const BoolInstr	bi468 []
const BoolInstr	bi469 []
const BoolInstr	bi470 []
const BoolInstr	bi471 []
const BoolInstr	bi472 []
const BoolInstr	bi473 []
const BoolInstr	bi474 []
const BoolInstr	bi475 []
const BoolInstr	bi476 []
const BoolInstr	bi477 []
const BoolInstr	bi478 []
const BoolInstr	bi479 []
const BoolInstr	bi480 []
const BoolInstr	bi481 []
const BoolInstr	bi482 []
const BoolInstr	bi483 []
const BoolInstr	bi484 []
const BoolInstr	bi485 []
const BoolInstr	bi486 []
const BoolInstr	bi487 []
const BoolInstr	bi488 []
const BoolInstr	bi489 []
const BoolInstr	bi490 []
const BoolInstr	bi491 []
const BoolInstr	bi492 []
const BoolInstr	bi493 []
const BoolInstr	bi494 []
const BoolInstr	bi495 []
const BoolInstr	bi496 []
const BoolInstr	bi497 []
const BoolInstr	bi498 []
const BoolInstr	bi499 []
const BoolInstr	bi500 []
const BoolInstr	bi501 []
const BoolInstr	bi502 []
const BoolInstr	bi503 []
const BoolInstr	bi504 []
const BoolInstr	bi505 []
const BoolInstr	bi506 []
const BoolInstr	bi507 []
const BoolInstr	bi508 []
const BoolInstr	bi509 []
const BoolInstr	bi510 []
const BoolInstr	bi511 []
const BoolInstr	bi512 []
const BoolInstr	bi513 []
const BoolInstr	bi514 []
const BoolInstr	bi515 []
const BoolInstr	bi516 []
const BoolInstr	bi517 []
const BoolInstr	bi518 []
const BoolInstr	bi519 []
const BoolInstr	bi520 []
const BoolInstr	bi521 []
const BoolInstr	bi522 []
const BoolInstr	bi523 []
const BoolInstr	bi524 []
const BoolInstr	bi525 []
const BoolInstr	bi526 []
const BoolInstr	bi527 []
const BoolInstr	bi528 []
const BoolInstr	bi529 []
const BoolInstr	bi530 []
const BoolInstr	bi531 []
const BoolInstr	bi532 []
const BoolInstr	bi533 []
const BoolInstr	bi534 []
const BoolInstr	bi535 []
const BoolInstr	bi536 []
const BoolInstr	bi537 []
const BoolInstr	bi538 []
const BoolInstr	bi539 []
const BoolInstr	bi540 []
const BoolInstr	bi541 []
const BoolInstr	bi542 []
const BoolInstr	bi543 []
const BoolInstr	bi544 []
const BoolInstr	bi545 []
const BoolInstr	bi546 []
const BoolInstr	bi547 []
const BoolInstr	bi548 []
const BoolInstr	bi549 []
const BoolInstr	bi550 []
const BoolInstr	bi551 []
const BoolInstr	bi552 []
const BoolInstr	bi553 []
const BoolInstr	bi554 []
const BoolInstr	bi555 []
const BoolInstr	bi556 []
const BoolInstr	bi557 []
const BoolInstr	bi558 []
const BoolInstr	bi559 []
const BoolInstr	bi560 []
const BoolInstr	bi561 []
const BoolInstr	bi562 []
const BoolInstr	bi563 []
const BoolInstr	bi564 []
const BoolInstr	bi565 []
const BoolInstr	bi566 []
const BoolInstr	bi567 []
const BoolInstr	bi568 []
const BoolInstr	bi569 []
const BoolInstr	bi570 []
const BoolInstr	bi571 []
const BoolInstr	bi572 []
const BoolInstr	bi573 []
const BoolInstr	bi574 []
const BoolInstr	bi575 []
const BoolInstr	bi576 []
const BoolInstr	bi577 []
const BoolInstr	bi578 []
const BoolInstr	bi579 []
const BoolInstr	bi580 []
const BoolInstr	bi581 []
const BoolInstr	bi582 []
const BoolInstr	bi583 []
const BoolInstr	bi584 []
const BoolInstr	bi585 []
const BoolInstr	bi586 []
const BoolInstr	bi587 []
const BoolInstr	bi588 []
const BoolInstr	bi589 []
const BoolInstr	bi590 []
const BoolInstr	bi591 []
const BoolInstr	bi592 []
const BoolInstr	bi593 []
const BoolInstr	bi594 []
const BoolInstr	bi595 []
const BoolInstr	bi596 []
const BoolInstr	bi597 []
const BoolInstr	bi598 []
const BoolInstr	bi599 []
const BoolInstr	bi600 []
const BoolInstr	bi601 []
const BoolInstr	bi602 []
const BoolInstr	bi603 []
const BoolInstr	bi604 []
const BoolInstr	bi605 []
const BoolInstr	bi606 []
const BoolInstr	bi607 []
const BoolInstr	bi608 []
const BoolInstr	bi609 []
const BoolInstr	bi610 []
const BoolInstr	bi611 []
const BoolInstr	bi612 []
const BoolInstr	bi613 []
const BoolInstr	bi614 []
const BoolInstr	bi615 []
const BoolInstr	bi616 []
const BoolInstr	bi617 []
const BoolInstr	bi618 []
const BoolInstr	bi619 []
const BoolInstr	bi620 []
const BoolInstr	bi621 []
const BoolInstr	bi622 []
const BoolInstr	bi623 []
const BoolInstr	bi624 []
const BoolInstr	bi625 []
const BoolInstr	bi626 []
const BoolInstr	bi627 []
const BoolInstr	bi628 []
const BoolInstr	bi629 []
const BoolInstr	bi630 []
const BoolInstr	bi631 []
const BoolInstr	bi632 []
const BoolInstr	bi633 []
const BoolInstr	bi634 []
const BoolInstr	bi635 []
const BoolInstr	bi636 []
const BoolInstr	bi637 []
const BoolInstr	bi638 []
const BoolInstr	bi639 []
const BoolInstr	bi640 []
const BoolInstr	bi641 []
const BoolInstr	bi642 []
const BoolInstr	bi643 []
const BoolInstr	bi644 []
const BoolInstr	bi645 []
const BoolInstr	bi646 []
const BoolInstr	bi647 []
const BoolInstr	bi648 []
const BoolInstr	bi649 []
const BoolInstr	bi650 []
const BoolInstr	bi651 []
const BoolInstr	bi652 []
const BoolInstr	bi653 []
const BoolInstr	bi654 []
const BoolInstr	bi655 []
const BoolInstr	bi656 []
const BoolInstr	bi657 []
const BoolInstr	bi658 []
const BoolInstr	bi659 []
const BoolInstr	bi660 []
const BoolInstr	bi661 []
const BoolInstr	bi662 []
const BoolInstr	bi663 []
const BoolInstr	bi664 []
const BoolInstr	bi665 []
const BoolInstr	bi666 []
const BoolInstr	bi667 []
const BoolInstr	bi668 []
const BoolInstr	bi669 []
const BoolInstr	bi670 []
const BoolInstr	bi671 []
const BoolInstr	bi672 []
const BoolInstr	bi673 []
const BoolInstr	bi674 []
const BoolInstr	bi675 []
const BoolInstr	bi676 []
const BoolInstr	bi677 []
const BoolInstr	bi678 []
const BoolInstr	bi679 []
const BoolInstr	bi680 []
const BoolInstr	bi681 []
const BoolInstr	bi682 []
const BoolInstr	bi683 []
const BoolInstr	bi684 []
const BoolInstr	bi685 []
const BoolInstr	bi686 []
const BoolInstr	bi687 []
const BoolInstr	bi688 []
const BoolInstr	bi689 []
const BoolInstr	bi690 []
const BoolInstr	bi691 []
const BoolInstr	bi692 []
const BoolInstr	bi693 []
const BoolInstr	bi694 []
const BoolInstr	bi695 []
const BoolInstr	bi696 []
const BoolInstr	bi697 []
const BoolInstr	bi698 []
const BoolInstr	bi699 []
const BoolInstr	bi700 []
const BoolInstr	bi701 []
const BoolInstr	bi702 []
const BoolInstr	bi703 []
const BoolInstr	bi704 []
const BoolInstr	bi705 []
const BoolInstr	bi706 []
const BoolInstr	bi707 []
const BoolInstr	bi708 []
const BoolInstr	bi709 []
const BoolInstr	bi710 []
const BoolInstr	bi711 []
const BoolInstr	bi712 []
const BoolInstr	bi713 []
const BoolInstr	bi714 []
const BoolInstr	bi715 []
const BoolInstr	bi716 []
const BoolInstr	bi717 []
const BoolInstr	bi718 []
const BoolInstr	bi719 []
const BoolInstr	bi720 []
const BoolInstr	bi721 []
const BoolInstr	bi722 []
const BoolInstr	bi723 []
const BoolInstr	bi724 []
const BoolInstr	bi725 []
const BoolInstr	bi726 []
const BoolInstr	bi727 []
const BoolInstr	bi728 []
const BoolInstr	bi729 []
const BoolInstr	bi730 []
const BoolInstr	bi731 []
const BoolInstr	bi732 []
const BoolInstr	bi733 []
const BoolInstr	bi734 []
const BoolInstr	bi735 []
const BoolInstr	bi736 []
const BoolInstr	bi737 []
const BoolInstr	bi738 []
const BoolInstr	bi739 []
const BoolInstr	bi740 []
const BoolInstr	bi741 []
const BoolInstr	bi742 []
const BoolInstr	bi743 []
const BoolInstr	bi744 []
const BoolInstr	bi745 []
const BoolInstr	bi746 []
const BoolInstr	bi747 []
const BoolInstr	bi748 []
const BoolInstr	bi749 []
const BoolInstr	bi750 []
const BoolInstr	bi751 []
const BoolInstr	bi752 []
const BoolInstr	bi753 []
const BoolInstr	bi754 []
const BoolInstr	bi755 []
const BoolInstr	bi756 []
const BoolInstr	bi757 []
const BoolInstr	bi758 []
const BoolInstr	bi759 []
const BoolInstr	bi760 []
const BoolInstr	bi761 []
const BoolInstr	bi762 []
const BoolInstr	bi763 []
const BoolInstr	bi764 []
const BoolInstr	bi765 []
const BoolInstr	bi766 []
const BoolInstr	bi767 []
const BoolInstr	bi768 []
const BoolInstr	bi769 []
const BoolInstr	bi770 []
const BoolInstr	bi771 []
const BoolInstr	bi772 []
const BoolInstr	bi773 []
const BoolInstr	bi774 []
const BoolInstr	bi775 []
const BoolInstr	bi776 []
const BoolInstr	bi777 []
const BoolInstr	bi778 []
const BoolInstr	bi779 []
const BoolInstr	bi780 []
const BoolInstr	bi781 []
const BoolInstr	bi782 []
const BoolInstr	bi783 []
const BoolInstr	bi784 []
const BoolInstr	bi785 []
const BoolInstr	bi786 []
const BoolInstr	bi787 []
const BoolInstr	bi788 []
const BoolInstr	bi789 []
const BoolInstr	bi790 []
const BoolInstr	bi791 []
const BoolInstr	bi792 []
const BoolInstr	bi793 []
const BoolInstr	bi794 []
const BoolInstr	bi795 []
const BoolInstr	bi796 []
const BoolInstr	bi797 []
const BoolInstr	bi798 []
const BoolInstr	bi799 []
const BoolInstr	bi800 []
const BoolInstr	bi801 []
const BoolInstr	bi802 []
const BoolInstr	bi803 []
const BoolInstr	bi804 []
const BoolInstr	bi805 []
const BoolInstr	bi806 []
const BoolInstr	bi807 []
const BoolInstr	bi808 []
const BoolInstr	bi809 []
const BoolInstr	bi810 []
const BoolInstr	bi811 []
const BoolInstr	bi812 []
const BoolInstr	bi813 []
const BoolInstr	bi814 []
const BoolInstr	bi815 []
const BoolInstr	bi816 []
const BoolInstr	bi817 []
const BoolInstr	bi818 []
const BoolInstr	bi819 []
const BoolInstr	bi820 []
const BoolInstr	bi821 []
const BoolInstr	bi822 []
const BoolInstr	bi823 []
const BoolInstr	bi824 []
const BoolInstr	bi825 []
const BoolInstr	bi826 []
const BoolInstr	bi827 []
const BoolInstr	bi828 []
const BoolInstr	bi829 []
const BoolInstr	bi830 []
const BoolInstr	bi831 []
const BoolInstr	bi832 []
const BoolInstr	bi833 []
const BoolInstr	bi834 []
const BoolInstr	bi835 []
const BoolInstr	bi836 []
const BoolInstr	bi837 []
const BoolInstr	bi838 []
const BoolInstr	bi839 []
const BoolInstr	bi840 []
const BoolInstr	bi841 []
const BoolInstr	bi842 []
const BoolInstr	bi843 []
const BoolInstr	bi844 []
const BoolInstr	bi845 []
const BoolInstr	bi846 []
const BoolInstr	bi847 []
const BoolInstr	bi848 []
const BoolInstr	bi849 []
const BoolInstr	bi850 []
const BoolInstr	bi851 []
const BoolInstr	bi852 []
const BoolInstr	bi853 []
const BoolInstr	bi854 []
const BoolInstr	bi855 []
const BoolInstr	bi856 []
const BoolInstr	bi857 []
const BoolInstr	bi858 []
const BoolInstr	bi859 []
const BoolInstr	bi860 []
const BoolInstr	bi861 []
const BoolInstr	bi862 []
const BoolInstr	bi863 []
const BoolInstr	bi864 []
const BoolInstr	bi865 []
const BoolInstr	bi866 []
const BoolInstr	bi867 []
const BoolInstr	bi868 []
const BoolInstr	bi869 []
const BoolInstr	bi870 []
const BoolInstr	bi871 []
const BoolInstr	bi872 []
const BoolInstr	bi873 []
const BoolInstr	bi874 []
const BoolInstr *	bi []
Create	c

---

Detailed Description

Tests for minimal modelling constraints (Boolean)

---

Enumeration Type Documentation

enum Test::Int::MiniModelBoolean::BoolOpcode

Boolean opcode.

Enumerator:

BO_NOT	Negation.
BO_AND	Conjunction.
BO_OR	Disjunction.
BO_IMP	Implication.
BO_XOR	Exclusive or.
BO_EQV	Equivalence.
BO_HLT	Stop execution.

Definition at line 48 of file mm-bool.cpp.

---

Function Documentation

int Test::Int::MiniModelBoolean::eval	(	const BoolInstr *	pc,
		int	reg[]
	)

Executes Boolean instruction for evaluation (checking).

Definition at line 67 of file mm-bool.cpp.

Gecode::BoolExpr Test::Int::MiniModelBoolean::eval	(	const BoolInstr *	pc,
		Gecode::BoolExpr	reg[]
	)

Executes Boolean instruction for constructing Boolean expressions.

Definition at line 86 of file mm-bool.cpp.