Test::Int::MiniModelSet Namespace Reference

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

Classes
class	SetInstr
	Type for representing a set instruction. More...
class	SetExprConst
	Test set expressions with constant result More...
class	SetExprExpr
	Test set expressions with expression result More...
class	Create
	Help class to create and register tests. More...
Enumerations
enum	SetOpcode {   SO_CMPL, SO_UNION, SO_DUNION, SO_INTER,   SO_MINUS, SO_HLT }
	Set opcode. More...
Functions
int	eval (const SetInstr *pc, int reg[], bool &failed)
	Executes set instruction for evaluation (checking)
Gecode::SetExpr	eval (const SetInstr *pc, Gecode::SetExpr reg[])
	Executes set instruction for constructing set expressions.
bool	simpleReifiedSemantics (const SetInstr *pc)
Variables
const SetInstr	si000 []
const SetInstr	si001 []
const SetInstr	si002 []
const SetInstr	si003 []
const SetInstr	si004 []
const SetInstr	si005 []
const SetInstr	si006 []
const SetInstr	si007 []
const SetInstr	si008 []
const SetInstr	si009 []
const SetInstr	si010 []
const SetInstr	si011 []
const SetInstr	si012 []
const SetInstr	si013 []
const SetInstr	si014 []
const SetInstr	si015 []
const SetInstr	si016 []
const SetInstr	si017 []
const SetInstr	si018 []
const SetInstr	si019 []
const SetInstr	si020 []
const SetInstr	si021 []
const SetInstr	si022 []
const SetInstr	si023 []
const SetInstr	si024 []
const SetInstr	si025 []
const SetInstr	si026 []
const SetInstr	si027 []
const SetInstr	si028 []
const SetInstr	si029 []
const SetInstr	si030 []
const SetInstr	si031 []
const SetInstr	si032 []
const SetInstr	si033 []
const SetInstr	si034 []
const SetInstr	si035 []
const SetInstr	si036 []
const SetInstr	si037 []
const SetInstr	si038 []
const SetInstr	si039 []
const SetInstr	si040 []
const SetInstr	si041 []
const SetInstr	si042 []
const SetInstr	si043 []
const SetInstr	si044 []
const SetInstr	si045 []
const SetInstr	si046 []
const SetInstr	si047 []
const SetInstr	si048 []
const SetInstr	si049 []
const SetInstr	si050 []
const SetInstr	si051 []
const SetInstr	si052 []
const SetInstr	si053 []
const SetInstr	si054 []
const SetInstr	si055 []
const SetInstr	si056 []
const SetInstr	si057 []
const SetInstr	si058 []
const SetInstr	si059 []
const SetInstr	si060 []
const SetInstr	si061 []
const SetInstr	si062 []
const SetInstr	si063 []
const SetInstr	si064 []
const SetInstr	si065 []
const SetInstr	si066 []
const SetInstr	si067 []
const SetInstr	si068 []
const SetInstr	si069 []
const SetInstr	si070 []
const SetInstr	si071 []
const SetInstr	si072 []
const SetInstr	si073 []
const SetInstr	si074 []
const SetInstr	si075 []
const SetInstr	si076 []
const SetInstr	si077 []
const SetInstr	si078 []
const SetInstr	si079 []
const SetInstr	si080 []
const SetInstr	si081 []
const SetInstr	si082 []
const SetInstr	si083 []
const SetInstr	si084 []
const SetInstr	si085 []
const SetInstr	si086 []
const SetInstr	si087 []
const SetInstr	si088 []
const SetInstr	si089 []
const SetInstr	si090 []
const SetInstr	si091 []
const SetInstr	si092 []
const SetInstr	si093 []
const SetInstr	si094 []
const SetInstr	si095 []
const SetInstr	si096 []
const SetInstr	si097 []
const SetInstr	si098 []
const SetInstr	si099 []
const SetInstr	si100 []
const SetInstr	si101 []
const SetInstr	si102 []
const SetInstr	si103 []
const SetInstr	si104 []
const SetInstr	si105 []
const SetInstr	si106 []
const SetInstr	si107 []
const SetInstr	si108 []
const SetInstr	si109 []
const SetInstr	si110 []
const SetInstr	si111 []
const SetInstr	si112 []
const SetInstr	si113 []
const SetInstr	si114 []
const SetInstr	si115 []
const SetInstr	si116 []
const SetInstr	si117 []
const SetInstr	si118 []
const SetInstr	si119 []
const SetInstr	si120 []
const SetInstr	si121 []
const SetInstr	si122 []
const SetInstr	si123 []
const SetInstr	si124 []
const SetInstr	si125 []
const SetInstr	si126 []
const SetInstr	si127 []
const SetInstr	si128 []
const SetInstr	si129 []
const SetInstr	si130 []
const SetInstr	si131 []
const SetInstr	si132 []
const SetInstr	si133 []
const SetInstr	si134 []
const SetInstr	si135 []
const SetInstr	si136 []
const SetInstr	si137 []
const SetInstr	si138 []
const SetInstr	si139 []
const SetInstr	si140 []
const SetInstr	si141 []
const SetInstr	si142 []
const SetInstr	si143 []
const SetInstr	si144 []
const SetInstr	si145 []
const SetInstr	si146 []
const SetInstr	si147 []
const SetInstr	si148 []
const SetInstr	si149 []
const SetInstr	si150 []
const SetInstr	si151 []
const SetInstr	si152 []
const SetInstr	si153 []
const SetInstr	si154 []
const SetInstr	si155 []
const SetInstr	si156 []
const SetInstr	si157 []
const SetInstr	si158 []
const SetInstr	si159 []
const SetInstr	si160 []
const SetInstr	si161 []
const SetInstr	si162 []
const SetInstr	si163 []
const SetInstr	si164 []
const SetInstr	si165 []
const SetInstr	si166 []
const SetInstr	si167 []
const SetInstr	si168 []
const SetInstr	si169 []
const SetInstr	si170 []
const SetInstr	si171 []
const SetInstr	si172 []
const SetInstr	si173 []
const SetInstr	si174 []
const SetInstr	si175 []
const SetInstr	si176 []
const SetInstr	si177 []
const SetInstr	si178 []
const SetInstr	si179 []
const SetInstr	si180 []
const SetInstr	si181 []
const SetInstr	si182 []
const SetInstr	si183 []
const SetInstr	si184 []
const SetInstr	si185 []
const SetInstr	si186 []
const SetInstr	si187 []
const SetInstr	si188 []
const SetInstr	si189 []
const SetInstr	si190 []
const SetInstr	si191 []
const SetInstr	si192 []
const SetInstr	si193 []
const SetInstr	si194 []
const SetInstr	si195 []
const SetInstr	si196 []
const SetInstr	si197 []
const SetInstr	si198 []
const SetInstr	si199 []
const SetInstr	si200 []
const SetInstr	si201 []
const SetInstr	si202 []
const SetInstr	si203 []
const SetInstr	si204 []
const SetInstr	si205 []
const SetInstr	si206 []
const SetInstr	si207 []
const SetInstr	si208 []
const SetInstr	si209 []
const SetInstr	si210 []
const SetInstr	si211 []
const SetInstr	si212 []
const SetInstr	si213 []
const SetInstr	si214 []
const SetInstr	si215 []
const SetInstr	si216 []
const SetInstr	si217 []
const SetInstr	si218 []
const SetInstr	si219 []
const SetInstr	si220 []
const SetInstr	si221 []
const SetInstr	si222 []
const SetInstr	si223 []
const SetInstr	si224 []
const SetInstr	si225 []
const SetInstr	si226 []
const SetInstr	si227 []
const SetInstr	si228 []
const SetInstr	si229 []
const SetInstr	si230 []
const SetInstr	si231 []
const SetInstr	si232 []
const SetInstr	si233 []
const SetInstr	si234 []
const SetInstr	si235 []
const SetInstr	si236 []
const SetInstr	si237 []
const SetInstr	si238 []
const SetInstr	si239 []
const SetInstr	si240 []
const SetInstr	si241 []
const SetInstr	si242 []
const SetInstr	si243 []
const SetInstr	si244 []
const SetInstr	si245 []
const SetInstr	si246 []
const SetInstr	si247 []
const SetInstr	si248 []
const SetInstr	si249 []
const SetInstr	si250 []
const SetInstr	si251 []
const SetInstr	si252 []
const SetInstr	si253 []
const SetInstr	si254 []
const SetInstr	si255 []
const SetInstr	si256 []
const SetInstr	si257 []
const SetInstr	si258 []
const SetInstr	si259 []
const SetInstr	si260 []
const SetInstr	si261 []
const SetInstr	si262 []
const SetInstr	si263 []
const SetInstr	si264 []
const SetInstr	si265 []
const SetInstr	si266 []
const SetInstr	si267 []
const SetInstr	si268 []
const SetInstr	si269 []
const SetInstr	si270 []
const SetInstr	si271 []
const SetInstr	si272 []
const SetInstr	si273 []
const SetInstr	si274 []
const SetInstr	si275 []
const SetInstr	si276 []
const SetInstr	si277 []
const SetInstr	si278 []
const SetInstr	si279 []
const SetInstr	si280 []
const SetInstr	si281 []
const SetInstr	si282 []
const SetInstr	si283 []
const SetInstr	si284 []
const SetInstr	si285 []
const SetInstr	si286 []
const SetInstr	si287 []
const SetInstr	si288 []
const SetInstr	si289 []
const SetInstr	si290 []
const SetInstr	si291 []
const SetInstr	si292 []
const SetInstr	si293 []
const SetInstr	si294 []
const SetInstr	si295 []
const SetInstr	si296 []
const SetInstr	si297 []
const SetInstr	si298 []
const SetInstr	si299 []
const SetInstr	si300 []
const SetInstr	si301 []
const SetInstr	si302 []
const SetInstr	si303 []
const SetInstr	si304 []
const SetInstr	si305 []
const SetInstr	si306 []
const SetInstr	si307 []
const SetInstr	si308 []
const SetInstr	si309 []
const SetInstr	si310 []
const SetInstr	si311 []
const SetInstr	si312 []
const SetInstr	si313 []
const SetInstr	si314 []
const SetInstr	si315 []
const SetInstr	si316 []
const SetInstr	si317 []
const SetInstr	si318 []
const SetInstr	si319 []
const SetInstr	si320 []
const SetInstr	si321 []
const SetInstr	si322 []
const SetInstr	si323 []
const SetInstr	si324 []
const SetInstr	si325 []
const SetInstr	si326 []
const SetInstr	si327 []
const SetInstr	si328 []
const SetInstr	si329 []
const SetInstr	si330 []
const SetInstr	si331 []
const SetInstr	si332 []
const SetInstr	si333 []
const SetInstr	si334 []
const SetInstr	si335 []
const SetInstr	si336 []
const SetInstr	si337 []
const SetInstr	si338 []
const SetInstr	si339 []
const SetInstr	si340 []
const SetInstr	si341 []
const SetInstr	si342 []
const SetInstr	si343 []
const SetInstr	si344 []
const SetInstr	si345 []
const SetInstr	si346 []
const SetInstr	si347 []
const SetInstr	si348 []
const SetInstr	si349 []
const SetInstr	si350 []
const SetInstr	si351 []
const SetInstr	si352 []
const SetInstr	si353 []
const SetInstr	si354 []
const SetInstr	si355 []
const SetInstr	si356 []
const SetInstr	si357 []
const SetInstr	si358 []
const SetInstr	si359 []
const SetInstr	si360 []
const SetInstr	si361 []
const SetInstr	si362 []
const SetInstr	si363 []
const SetInstr	si364 []
const SetInstr	si365 []
const SetInstr	si366 []
const SetInstr	si367 []
const SetInstr	si368 []
const SetInstr	si369 []
const SetInstr	si370 []
const SetInstr	si371 []
const SetInstr	si372 []
const SetInstr	si373 []
const SetInstr	si374 []
const SetInstr	si375 []
const SetInstr	si376 []
const SetInstr	si377 []
const SetInstr	si378 []
const SetInstr	si379 []
const SetInstr	si380 []
const SetInstr	si381 []
const SetInstr	si382 []
const SetInstr	si383 []
const SetInstr	si384 []
const SetInstr	si385 []
const SetInstr	si386 []
const SetInstr	si387 []
const SetInstr	si388 []
const SetInstr	si389 []
const SetInstr	si390 []
const SetInstr	si391 []
const SetInstr	si392 []
const SetInstr	si393 []
const SetInstr	si394 []
const SetInstr	si395 []
const SetInstr	si396 []
const SetInstr	si397 []
const SetInstr	si398 []
const SetInstr	si399 []
const SetInstr	si400 []
const SetInstr	si401 []
const SetInstr	si402 []
const SetInstr	si403 []
const SetInstr	si404 []
const SetInstr	si405 []
const SetInstr	si406 []
const SetInstr	si407 []
const SetInstr	si408 []
const SetInstr	si409 []
const SetInstr	si410 []
const SetInstr	si411 []
const SetInstr	si412 []
const SetInstr	si413 []
const SetInstr	si414 []
const SetInstr	si415 []
const SetInstr	si416 []
const SetInstr	si417 []
const SetInstr	si418 []
const SetInstr	si419 []
const SetInstr	si420 []
const SetInstr	si421 []
const SetInstr	si422 []
const SetInstr	si423 []
const SetInstr	si424 []
const SetInstr	si425 []
const SetInstr	si426 []
const SetInstr	si427 []
const SetInstr	si428 []
const SetInstr	si429 []
const SetInstr	si430 []
const SetInstr	si431 []
const SetInstr	si432 []
const SetInstr	si433 []
const SetInstr	si434 []
const SetInstr	si435 []
const SetInstr	si436 []
const SetInstr	si437 []
const SetInstr	si438 []
const SetInstr	si439 []
const SetInstr	si440 []
const SetInstr	si441 []
const SetInstr	si442 []
const SetInstr	si443 []
const SetInstr	si444 []
const SetInstr	si445 []
const SetInstr	si446 []
const SetInstr	si447 []
const SetInstr	si448 []
const SetInstr	si449 []
const SetInstr	si450 []
const SetInstr	si451 []
const SetInstr	si452 []
const SetInstr	si453 []
const SetInstr	si454 []
const SetInstr	si455 []
const SetInstr	si456 []
const SetInstr	si457 []
const SetInstr	si458 []
const SetInstr	si459 []
const SetInstr	si460 []
const SetInstr	si461 []
const SetInstr	si462 []
const SetInstr	si463 []
const SetInstr	si464 []
const SetInstr	si465 []
const SetInstr	si466 []
const SetInstr	si467 []
const SetInstr	si468 []
const SetInstr	si469 []
const SetInstr	si470 []
const SetInstr	si471 []
const SetInstr	si472 []
const SetInstr	si473 []
const SetInstr	si474 []
const SetInstr	si475 []
const SetInstr	si476 []
const SetInstr	si477 []
const SetInstr	si478 []
const SetInstr	si479 []
const SetInstr	si480 []
const SetInstr	si481 []
const SetInstr	si482 []
const SetInstr	si483 []
const SetInstr	si484 []
const SetInstr	si485 []
const SetInstr	si486 []
const SetInstr	si487 []
const SetInstr	si488 []
const SetInstr	si489 []
const SetInstr	si490 []
const SetInstr	si491 []
const SetInstr	si492 []
const SetInstr	si493 []
const SetInstr	si494 []
const SetInstr	si495 []
const SetInstr	si496 []
const SetInstr	si497 []
const SetInstr	si498 []
const SetInstr	si499 []
const SetInstr	si500 []
const SetInstr	si501 []
const SetInstr	si502 []
const SetInstr	si503 []
const SetInstr	si504 []
const SetInstr	si505 []
const SetInstr	si506 []
const SetInstr	si507 []
const SetInstr	si508 []
const SetInstr	si509 []
const SetInstr	si510 []
const SetInstr	si511 []
const SetInstr	si512 []
const SetInstr	si513 []
const SetInstr	si514 []
const SetInstr	si515 []
const SetInstr	si516 []
const SetInstr	si517 []
const SetInstr	si518 []
const SetInstr	si519 []
const SetInstr	si520 []
const SetInstr	si521 []
const SetInstr	si522 []
const SetInstr	si523 []
const SetInstr	si524 []
const SetInstr	si525 []
const SetInstr	si526 []
const SetInstr	si527 []
const SetInstr	si528 []
const SetInstr	si529 []
const SetInstr	si530 []
const SetInstr	si531 []
const SetInstr	si532 []
const SetInstr	si533 []
const SetInstr	si534 []
const SetInstr	si535 []
const SetInstr	si536 []
const SetInstr	si537 []
const SetInstr	si538 []
const SetInstr	si539 []
const SetInstr	si540 []
const SetInstr	si541 []
const SetInstr	si542 []
const SetInstr	si543 []
const SetInstr	si544 []
const SetInstr	si545 []
const SetInstr	si546 []
const SetInstr	si547 []
const SetInstr	si548 []
const SetInstr	si549 []
const SetInstr	si550 []
const SetInstr	si551 []
const SetInstr	si552 []
const SetInstr	si553 []
const SetInstr	si554 []
const SetInstr	si555 []
const SetInstr	si556 []
const SetInstr	si557 []
const SetInstr	si558 []
const SetInstr	si559 []
const SetInstr	si560 []
const SetInstr	si561 []
const SetInstr	si562 []
const SetInstr	si563 []
const SetInstr	si564 []
const SetInstr	si565 []
const SetInstr	si566 []
const SetInstr	si567 []
const SetInstr	si568 []
const SetInstr	si569 []
const SetInstr	si570 []
const SetInstr	si571 []
const SetInstr	si572 []
const SetInstr	si573 []
const SetInstr	si574 []
const SetInstr	si575 []
const SetInstr	si576 []
const SetInstr	si577 []
const SetInstr	si578 []
const SetInstr	si579 []
const SetInstr	si580 []
const SetInstr	si581 []
const SetInstr	si582 []
const SetInstr	si583 []
const SetInstr	si584 []
const SetInstr	si585 []
const SetInstr	si586 []
const SetInstr	si587 []
const SetInstr	si588 []
const SetInstr	si589 []
const SetInstr	si590 []
const SetInstr	si591 []
const SetInstr	si592 []
const SetInstr	si593 []
const SetInstr	si594 []
const SetInstr	si595 []
const SetInstr	si596 []
const SetInstr	si597 []
const SetInstr	si598 []
const SetInstr	si599 []
const SetInstr	si600 []
const SetInstr	si601 []
const SetInstr	si602 []
const SetInstr	si603 []
const SetInstr	si604 []
const SetInstr	si605 []
const SetInstr	si606 []
const SetInstr	si607 []
const SetInstr	si608 []
const SetInstr	si609 []
const SetInstr	si610 []
const SetInstr	si611 []
const SetInstr	si612 []
const SetInstr	si613 []
const SetInstr	si614 []
const SetInstr	si615 []
const SetInstr	si616 []
const SetInstr	si617 []
const SetInstr	si618 []
const SetInstr	si619 []
const SetInstr	si620 []
const SetInstr	si621 []
const SetInstr	si622 []
const SetInstr	si623 []
const SetInstr	si624 []
const SetInstr	si625 []
const SetInstr	si626 []
const SetInstr	si627 []
const SetInstr	si628 []
const SetInstr	si629 []
const SetInstr	si630 []
const SetInstr	si631 []
const SetInstr	si632 []
const SetInstr	si633 []
const SetInstr	si634 []
const SetInstr	si635 []
const SetInstr	si636 []
const SetInstr	si637 []
const SetInstr	si638 []
const SetInstr	si639 []
const SetInstr	si640 []
const SetInstr	si641 []
const SetInstr	si642 []
const SetInstr	si643 []
const SetInstr	si644 []
const SetInstr	si645 []
const SetInstr	si646 []
const SetInstr	si647 []
const SetInstr	si648 []
const SetInstr	si649 []
const SetInstr	si650 []
const SetInstr	si651 []
const SetInstr	si652 []
const SetInstr	si653 []
const SetInstr	si654 []
const SetInstr	si655 []
const SetInstr	si656 []
const SetInstr	si657 []
const SetInstr	si658 []
const SetInstr	si659 []
const SetInstr	si660 []
const SetInstr	si661 []
const SetInstr	si662 []
const SetInstr	si663 []
const SetInstr	si664 []
const SetInstr	si665 []
const SetInstr	si666 []
const SetInstr	si667 []
const SetInstr	si668 []
const SetInstr	si669 []
const SetInstr	si670 []
const SetInstr	si671 []
const SetInstr	si672 []
const SetInstr	si673 []
const SetInstr	si674 []
const SetInstr	si675 []
const SetInstr	si676 []
const SetInstr	si677 []
const SetInstr	si678 []
const SetInstr	si679 []
const SetInstr	si680 []
const SetInstr	si681 []
const SetInstr	si682 []
const SetInstr	si683 []
const SetInstr	si684 []
const SetInstr	si685 []
const SetInstr	si686 []
const SetInstr	si687 []
const SetInstr	si688 []
const SetInstr	si689 []
const SetInstr	si690 []
const SetInstr	si691 []
const SetInstr	si692 []
const SetInstr	si693 []
const SetInstr	si694 []
const SetInstr	si695 []
const SetInstr	si696 []
const SetInstr	si697 []
const SetInstr	si698 []
const SetInstr	si699 []
const SetInstr	si700 []
const SetInstr	si701 []
const SetInstr	si702 []
const SetInstr	si703 []
const SetInstr	si704 []
const SetInstr	si705 []
const SetInstr	si706 []
const SetInstr	si707 []
const SetInstr	si708 []
const SetInstr	si709 []
const SetInstr	si710 []
const SetInstr	si711 []
const SetInstr	si712 []
const SetInstr	si713 []
const SetInstr	si714 []
const SetInstr	si715 []
const SetInstr	si716 []
const SetInstr	si717 []
const SetInstr	si718 []
const SetInstr	si719 []
const SetInstr	si720 []
const SetInstr	si721 []
const SetInstr	si722 []
const SetInstr	si723 []
const SetInstr	si724 []
const SetInstr	si725 []
const SetInstr	si726 []
const SetInstr	si727 []
const SetInstr	si728 []
const SetInstr	si729 []
const SetInstr	si730 []
const SetInstr	si731 []
const SetInstr	si732 []
const SetInstr	si733 []
const SetInstr	si734 []
const SetInstr	si735 []
const SetInstr	si736 []
const SetInstr	si737 []
const SetInstr	si738 []
const SetInstr	si739 []
const SetInstr	si740 []
const SetInstr	si741 []
const SetInstr	si742 []
const SetInstr	si743 []
const SetInstr	si744 []
const SetInstr	si745 []
const SetInstr	si746 []
const SetInstr	si747 []
const SetInstr	si748 []
const SetInstr	si749 []
const SetInstr	si750 []
const SetInstr	si751 []
const SetInstr	si752 []
const SetInstr	si753 []
const SetInstr	si754 []
const SetInstr	si755 []
const SetInstr	si756 []
const SetInstr	si757 []
const SetInstr	si758 []
const SetInstr	si759 []
const SetInstr	si760 []
const SetInstr	si761 []
const SetInstr	si762 []
const SetInstr	si763 []
const SetInstr	si764 []
const SetInstr	si765 []
const SetInstr	si766 []
const SetInstr	si767 []
const SetInstr	si768 []
const SetInstr	si769 []
const SetInstr	si770 []
const SetInstr	si771 []
const SetInstr	si772 []
const SetInstr	si773 []
const SetInstr	si774 []
const SetInstr	si775 []
const SetInstr	si776 []
const SetInstr	si777 []
const SetInstr	si778 []
const SetInstr	si779 []
const SetInstr	si780 []
const SetInstr	si781 []
const SetInstr	si782 []
const SetInstr	si783 []
const SetInstr	si784 []
const SetInstr	si785 []
const SetInstr	si786 []
const SetInstr	si787 []
const SetInstr	si788 []
const SetInstr	si789 []
const SetInstr	si790 []
const SetInstr	si791 []
const SetInstr	si792 []
const SetInstr	si793 []
const SetInstr	si794 []
const SetInstr	si795 []
const SetInstr	si796 []
const SetInstr	si797 []
const SetInstr	si798 []
const SetInstr	si799 []
const SetInstr	si800 []
const SetInstr	si801 []
const SetInstr	si802 []
const SetInstr	si803 []
const SetInstr	si804 []
const SetInstr	si805 []
const SetInstr	si806 []
const SetInstr	si807 []
const SetInstr	si808 []
const SetInstr	si809 []
const SetInstr	si810 []
const SetInstr	si811 []
const SetInstr	si812 []
const SetInstr	si813 []
const SetInstr	si814 []
const SetInstr	si815 []
const SetInstr	si816 []
const SetInstr	si817 []
const SetInstr	si818 []
const SetInstr	si819 []
const SetInstr	si820 []
const SetInstr	si821 []
const SetInstr	si822 []
const SetInstr	si823 []
const SetInstr	si824 []
const SetInstr	si825 []
const SetInstr	si826 []
const SetInstr	si827 []
const SetInstr	si828 []
const SetInstr	si829 []
const SetInstr	si830 []
const SetInstr	si831 []
const SetInstr	si832 []
const SetInstr	si833 []
const SetInstr	si834 []
const SetInstr	si835 []
const SetInstr	si836 []
const SetInstr	si837 []
const SetInstr	si838 []
const SetInstr	si839 []
const SetInstr	si840 []
const SetInstr	si841 []
const SetInstr	si842 []
const SetInstr	si843 []
const SetInstr	si844 []
const SetInstr	si845 []
const SetInstr	si846 []
const SetInstr	si847 []
const SetInstr	si848 []
const SetInstr	si849 []
const SetInstr	si850 []
const SetInstr	si851 []
const SetInstr	si852 []
const SetInstr	si853 []
const SetInstr	si854 []
const SetInstr	si855 []
const SetInstr	si856 []
const SetInstr	si857 []
const SetInstr	si858 []
const SetInstr	si859 []
const SetInstr	si860 []
const SetInstr	si861 []
const SetInstr	si862 []
const SetInstr	si863 []
const SetInstr	si864 []
const SetInstr	si865 []
const SetInstr	si866 []
const SetInstr	si867 []
const SetInstr	si868 []
const SetInstr	si869 []
const SetInstr	si870 []
const SetInstr	si871 []
const SetInstr	si872 []
const SetInstr	si873 []
const SetInstr	si874 []
const SetInstr	si875 []
const SetInstr	si876 []
const SetInstr	si877 []
const SetInstr	si878 []
const SetInstr	si879 []
const SetInstr *	si []
Create	c

---

Detailed Description

Tests for minimal modelling constraints (Set)

---

Enumeration Type Documentation

enum Test::Int::MiniModelSet::SetOpcode

Set opcode.

Enumerator:

SO_CMPL	Complement.
SO_UNION	Union.
SO_DUNION	Disjoint union.
SO_INTER	Intersection.
SO_MINUS	Difference.
SO_HLT	Stop execution.

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

---

Function Documentation

int Test::Int::MiniModelSet::eval	(	const SetInstr *	pc,
		int	reg[],
		bool &	failed
	)

Executes set instruction for evaluation (checking)

Definition at line 66 of file mm-set.cpp.

Gecode::SetExpr Test::Int::MiniModelSet::eval	(	const SetInstr *	pc,
		Gecode::SetExpr	reg[]
	)

Executes set instruction for constructing set expressions.

Definition at line 88 of file mm-set.cpp.

bool Test::Int::MiniModelSet::simpleReifiedSemantics

(

const SetInstr *

pc

)

Definition at line 106 of file mm-set.cpp.