Generated on Thu Apr 11 14:00:19 2019 for Gecode by doxygen 1.6.3

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 SetInstrsi []
Create c

Detailed Description

Tests for minimal modelling constraints (Set)


Enumeration Type Documentation

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 44 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 62 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 84 of file mm-set.cpp.

bool Test::Int::MiniModelSet::simpleReifiedSemantics ( const SetInstr *  pc  ) 

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