Generated on Fri Oct 19 11:26:34 2018 for Gecode by doxygen 1.6.3

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  BoolElement
 Test for Boolean element (regression) 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 BoolInstrbi []
Create c

Detailed Description

Tests for minimal modelling constraints (Boolean)


Enumeration Type Documentation

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.