Minimal modelling constraints (Set constraints)
[Testing finite sets]
Variable Documentation
const SetInstr Test::Int::MiniModelSet::si000[] |
{ {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 305 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si001[] |
{ {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 309 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si002[] |
{ {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 313 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si003[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 317 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si004[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 322 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si005[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 327 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si006[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 332 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si007[] |
{ {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 337 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si008[] |
{ {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 341 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si009[] |
{ {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 345 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si010[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 349 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si011[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 354 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si012[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 359 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si013[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 364 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si014[] |
{ {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 369 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si015[] |
{ {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 373 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si016[] |
{ {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 377 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si017[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 381 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si018[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 386 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si019[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 391 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si020[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 396 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si021[] |
{ {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 401 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si022[] |
{ {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 405 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si023[] |
{ {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 409 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si024[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 413 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si025[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 418 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si026[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 423 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si027[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 428 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si028[] |
{ {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 433 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si029[] |
{ {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 437 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si030[] |
{ {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 441 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si031[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 445 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si032[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 450 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si033[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 455 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si034[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 460 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si035[] |
{ {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 465 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si036[] |
{ {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 469 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si037[] |
{ {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 473 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si038[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 477 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si039[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 482 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si040[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 487 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si041[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 492 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si042[] |
{ {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 497 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si043[] |
{ {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 501 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si044[] |
{ {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 505 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si045[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 509 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si046[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 514 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si047[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 519 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si048[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 524 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si049[] |
{ {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 529 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si050[] |
{ {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 533 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si051[] |
{ {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 537 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si052[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 541 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si053[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 546 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si054[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 551 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si055[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 556 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si056[] |
{ {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 561 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si057[] |
{ {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 565 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si058[] |
{ {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 569 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si059[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 573 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si060[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 578 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si061[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 583 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si062[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 588 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si063[] |
{ {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 593 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si064[] |
{ {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 597 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si065[] |
{ {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 601 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si066[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 605 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si067[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 610 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si068[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 615 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si069[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 620 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si070[] |
{ {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 625 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si071[] |
{ {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 629 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si072[] |
{ {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 633 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si073[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 637 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si074[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 642 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si075[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 647 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si076[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 652 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si077[] |
{ {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 657 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si078[] |
{ {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 661 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si079[] |
{ {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 665 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si080[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 669 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si081[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 674 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si082[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 679 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si083[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 684 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si084[] |
{ {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 689 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si085[] |
{ {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 693 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si086[] |
{ {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 697 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si087[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 701 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si088[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 706 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si089[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 711 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si090[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 716 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si091[] |
{ {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 721 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si092[] |
{ {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 725 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si093[] |
{ {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 729 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si094[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 733 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si095[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 738 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si096[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 743 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si097[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 748 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si098[] |
{ {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 753 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si099[] |
{ {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 757 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si100[] |
{ {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 761 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si101[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 765 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si102[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 770 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si103[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 775 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si104[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 780 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si105[] |
{ {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 785 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si106[] |
{ {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 789 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si107[] |
{ {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 793 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si108[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 797 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si109[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 802 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si110[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 807 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si111[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 812 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si112[] |
{ {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 817 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si113[] |
{ {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 821 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si114[] |
{ {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 825 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si115[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 829 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si116[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 834 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si117[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 839 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si118[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 844 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si119[] |
{ {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 849 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si120[] |
{ {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 853 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si121[] |
{ {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 857 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si122[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 861 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si123[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 866 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si124[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 871 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si125[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 876 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si126[] |
{ {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 881 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si127[] |
{ {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 885 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si128[] |
{ {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 889 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si129[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 893 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si130[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 898 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si131[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 903 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si132[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 908 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si133[] |
{ {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 913 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si134[] |
{ {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 917 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si135[] |
{ {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 921 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si136[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 925 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si137[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 930 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si138[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 935 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si139[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 940 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si140[] |
{ {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 945 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si141[] |
{ {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 949 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si142[] |
{ {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 953 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si143[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 957 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si144[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 962 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si145[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 967 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si146[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 972 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si147[] |
{ {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 977 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si148[] |
{ {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 981 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si149[] |
{ {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 985 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si150[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 989 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si151[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 994 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si152[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 999 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si153[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1004 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si154[] |
{ {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1009 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si155[] |
{ {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1013 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si156[] |
{ {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1017 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si157[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1021 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si158[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1026 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si159[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1031 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si160[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1036 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si161[] |
{ {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1041 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si162[] |
{ {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1045 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si163[] |
{ {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1049 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si164[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1053 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si165[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1058 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si166[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1063 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si167[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1068 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si168[] |
{ {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1073 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si169[] |
{ {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1077 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si170[] |
{ {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1081 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si171[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1085 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si172[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1090 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si173[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1095 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si174[] |
{ {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1100 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si175[] |
{ {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1105 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si176[] |
{ {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1109 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si177[] |
{ {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1113 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si178[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1117 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si179[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1122 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si180[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1127 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si181[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1132 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si182[] |
{ {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1137 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si183[] |
{ {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1141 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si184[] |
{ {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1145 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si185[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1149 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si186[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1154 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si187[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1159 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si188[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1164 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si189[] |
{ {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1169 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si190[] |
{ {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1173 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si191[] |
{ {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1177 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si192[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1181 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si193[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1186 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si194[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1191 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si195[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1196 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si196[] |
{ {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1201 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si197[] |
{ {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1205 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si198[] |
{ {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1209 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si199[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1213 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si200[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1218 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si201[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1223 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si202[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1228 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si203[] |
{ {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1233 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si204[] |
{ {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1237 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si205[] |
{ {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1241 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si206[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1245 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si207[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1250 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si208[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1255 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si209[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1260 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si210[] |
{ {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1265 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si211[] |
{ {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1269 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si212[] |
{ {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1273 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si213[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1277 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si214[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1282 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si215[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1287 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si216[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1292 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si217[] |
{ {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1297 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si218[] |
{ {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1301 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si219[] |
{ {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1305 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si220[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1309 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si221[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1314 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si222[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1319 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si223[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1324 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si224[] |
{ {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1329 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si225[] |
{ {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1333 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si226[] |
{ {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1337 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si227[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1341 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si228[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1346 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si229[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1351 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si230[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1356 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si231[] |
{ {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1361 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si232[] |
{ {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1365 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si233[] |
{ {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1369 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si234[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1373 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si235[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1378 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si236[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1383 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si237[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1388 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si238[] |
{ {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1393 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si239[] |
{ {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1397 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si240[] |
{ {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1401 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si241[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1405 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si242[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1410 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si243[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1415 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si244[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1420 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si245[] |
{ {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1425 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si246[] |
{ {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1429 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si247[] |
{ {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1433 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si248[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1437 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si249[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1442 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si250[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1447 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si251[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1452 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si252[] |
{ {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1457 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si253[] |
{ {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1461 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si254[] |
{ {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1465 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si255[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1469 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si256[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1474 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si257[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1479 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si258[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1484 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si259[] |
{ {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1489 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si260[] |
{ {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1493 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si261[] |
{ {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1497 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si262[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1501 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si263[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1506 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si264[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1511 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si265[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1516 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si266[] |
{ {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1521 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si267[] |
{ {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1525 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si268[] |
{ {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1529 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si269[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1533 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si270[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1538 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si271[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1543 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si272[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1548 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si273[] |
{ {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1553 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si274[] |
{ {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1557 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si275[] |
{ {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1561 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si276[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1565 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si277[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1570 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si278[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1575 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si279[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1580 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si280[] |
{ {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1585 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si281[] |
{ {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1589 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si282[] |
{ {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1593 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si283[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1597 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si284[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1602 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si285[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1607 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si286[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1612 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si287[] |
{ {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1617 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si288[] |
{ {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1621 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si289[] |
{ {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1625 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si290[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1629 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si291[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1634 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si292[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1639 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si293[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1644 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si294[] |
{ {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1649 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si295[] |
{ {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1653 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si296[] |
{ {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1657 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si297[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1661 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si298[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1666 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si299[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1671 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si300[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1676 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si301[] |
{ {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1681 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si302[] |
{ {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1685 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si303[] |
{ {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1689 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si304[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1693 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si305[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1698 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si306[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1703 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si307[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1708 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si308[] |
{ {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1713 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si309[] |
{ {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1717 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si310[] |
{ {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1721 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si311[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1725 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si312[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1730 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si313[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1735 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si314[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1740 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si315[] |
{ {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1745 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si316[] |
{ {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1749 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si317[] |
{ {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1753 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si318[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1757 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si319[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1762 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si320[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1767 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si321[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1772 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si322[] |
{ {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1777 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si323[] |
{ {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1781 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si324[] |
{ {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1785 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si325[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1789 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si326[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1794 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si327[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1799 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si328[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1804 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si329[] |
{ {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1809 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si330[] |
{ {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1813 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si331[] |
{ {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1817 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si332[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1821 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si333[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1826 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si334[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1831 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si335[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1836 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si336[] |
{ {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1841 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si337[] |
{ {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1845 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si338[] |
{ {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1849 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si339[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1853 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si340[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1858 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si341[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1863 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si342[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1868 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si343[] |
{ {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1873 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si344[] |
{ {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1877 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si345[] |
{ {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1881 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si346[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1885 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si347[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1890 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si348[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1895 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si349[] |
{ {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1900 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si350[] |
{ {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1905 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si351[] |
{ {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1909 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si352[] |
{ {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1913 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si353[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1917 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si354[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1922 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si355[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1927 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si356[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1932 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si357[] |
{ {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1937 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si358[] |
{ {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1941 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si359[] |
{ {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1945 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si360[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1949 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si361[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1954 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si362[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1959 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si363[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1964 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si364[] |
{ {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1969 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si365[] |
{ {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 1973 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si366[] |
{ {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1977 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si367[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1981 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si368[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1986 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si369[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 1991 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si370[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 1996 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si371[] |
{ {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2001 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si372[] |
{ {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2005 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si373[] |
{ {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2009 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si374[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2013 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si375[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2018 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si376[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2023 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si377[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2028 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si378[] |
{ {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2033 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si379[] |
{ {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2037 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si380[] |
{ {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2041 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si381[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2045 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si382[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2050 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si383[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2055 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si384[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2060 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si385[] |
{ {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2065 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si386[] |
{ {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2069 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si387[] |
{ {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2073 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si388[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2077 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si389[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2082 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si390[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2087 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si391[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2092 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si392[] |
{ {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2097 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si393[] |
{ {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2101 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si394[] |
{ {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2105 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si395[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2109 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si396[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2114 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si397[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2119 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si398[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2124 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si399[] |
{ {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2129 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si400[] |
{ {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2133 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si401[] |
{ {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2137 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si402[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2141 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si403[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2146 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si404[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2151 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si405[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2156 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si406[] |
{ {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2161 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si407[] |
{ {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2165 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si408[] |
{ {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2169 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si409[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2173 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si410[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2178 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si411[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2183 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si412[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2188 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si413[] |
{ {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2193 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si414[] |
{ {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2197 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si415[] |
{ {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2201 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si416[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2205 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si417[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2210 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si418[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2215 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si419[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2220 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si420[] |
{ {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2225 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si421[] |
{ {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2229 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si422[] |
{ {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2233 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si423[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2237 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si424[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2242 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si425[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2247 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si426[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2252 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si427[] |
{ {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2257 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si428[] |
{ {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2261 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si429[] |
{ {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2265 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si430[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2269 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si431[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2274 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si432[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2279 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si433[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2284 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si434[] |
{ {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2289 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si435[] |
{ {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2293 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si436[] |
{ {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2297 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si437[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2301 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si438[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2306 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si439[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2311 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si440[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2316 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si441[] |
{ {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2321 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si442[] |
{ {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2325 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si443[] |
{ {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2329 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si444[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2333 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si445[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2338 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si446[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2343 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si447[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2348 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si448[] |
{ {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2353 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si449[] |
{ {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2357 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si450[] |
{ {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2361 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si451[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2365 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si452[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2370 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si453[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2375 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si454[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2380 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si455[] |
{ {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2385 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si456[] |
{ {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2389 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si457[] |
{ {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2393 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si458[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2397 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si459[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2402 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si460[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2407 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si461[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2412 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si462[] |
{ {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2417 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si463[] |
{ {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2421 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si464[] |
{ {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2425 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si465[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2429 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si466[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2434 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si467[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2439 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si468[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2444 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si469[] |
{ {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2449 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si470[] |
{ {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2453 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si471[] |
{ {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2457 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si472[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2461 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si473[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2466 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si474[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2471 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si475[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2476 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si476[] |
{ {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2481 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si477[] |
{ {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2485 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si478[] |
{ {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2489 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si479[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2493 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si480[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2498 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si481[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2503 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si482[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2508 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si483[] |
{ {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2513 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si484[] |
{ {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2517 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si485[] |
{ {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2521 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si486[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2525 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si487[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2530 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si488[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2535 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si489[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2540 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si490[] |
{ {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2545 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si491[] |
{ {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2549 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si492[] |
{ {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2553 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si493[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2557 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si494[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2562 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si495[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2567 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si496[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2572 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si497[] |
{ {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2577 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si498[] |
{ {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2581 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si499[] |
{ {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2585 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si500[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2589 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si501[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2594 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si502[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2599 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si503[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2604 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si504[] |
{ {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2609 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si505[] |
{ {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2613 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si506[] |
{ {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2617 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si507[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2621 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si508[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2626 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si509[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2631 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si510[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2636 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si511[] |
{ {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2641 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si512[] |
{ {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2645 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si513[] |
{ {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2649 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si514[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2653 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si515[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2658 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si516[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2663 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si517[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2668 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si518[] |
{ {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2673 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si519[] |
{ {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2677 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si520[] |
{ {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2681 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si521[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2685 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si522[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2690 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si523[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2695 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si524[] |
{ {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2700 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si525[] |
{ {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2705 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si526[] |
{ {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2709 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si527[] |
{ {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2713 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si528[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2717 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si529[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2722 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si530[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2727 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si531[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2732 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si532[] |
{ {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2737 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si533[] |
{ {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2741 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si534[] |
{ {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2745 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si535[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2749 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si536[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2754 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si537[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2759 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si538[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2764 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si539[] |
{ {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2769 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si540[] |
{ {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2773 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si541[] |
{ {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2777 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si542[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2781 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si543[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2786 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si544[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2791 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si545[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2796 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si546[] |
{ {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2801 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si547[] |
{ {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2805 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si548[] |
{ {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2809 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si549[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2813 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si550[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2818 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si551[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2823 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si552[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2828 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si553[] |
{ {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2833 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si554[] |
{ {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2837 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si555[] |
{ {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2841 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si556[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2845 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si557[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2850 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si558[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2855 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si559[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2860 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si560[] |
{ {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2865 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si561[] |
{ {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2869 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si562[] |
{ {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2873 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si563[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2877 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si564[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2882 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si565[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2887 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si566[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2892 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si567[] |
{ {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2897 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si568[] |
{ {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2901 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si569[] |
{ {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2905 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si570[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2909 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si571[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2914 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si572[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2919 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si573[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2924 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si574[] |
{ {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2929 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si575[] |
{ {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2933 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si576[] |
{ {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2937 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si577[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2941 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si578[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2946 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si579[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2951 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si580[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2956 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si581[] |
{ {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2961 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si582[] |
{ {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2965 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si583[] |
{ {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2969 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si584[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2973 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si585[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2978 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si586[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2983 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si587[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 2988 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si588[] |
{ {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 2993 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si589[] |
{ {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 2997 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si590[] |
{ {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3001 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si591[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3005 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si592[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3010 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si593[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3015 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si594[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3020 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si595[] |
{ {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3025 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si596[] |
{ {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3029 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si597[] |
{ {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3033 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si598[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3037 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si599[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3042 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si600[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3047 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si601[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3052 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si602[] |
{ {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3057 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si603[] |
{ {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3061 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si604[] |
{ {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3065 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si605[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3069 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si606[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3074 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si607[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3079 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si608[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3084 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si609[] |
{ {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3089 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si610[] |
{ {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3093 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si611[] |
{ {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3097 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si612[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3101 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si613[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3106 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si614[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3111 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si615[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3116 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si616[] |
{ {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3121 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si617[] |
{ {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3125 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si618[] |
{ {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3129 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si619[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3133 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si620[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3138 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si621[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3143 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si622[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3148 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si623[] |
{ {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3153 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si624[] |
{ {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3157 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si625[] |
{ {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3161 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si626[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3165 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si627[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3170 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si628[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3175 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si629[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3180 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si630[] |
{ {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3185 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si631[] |
{ {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3189 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si632[] |
{ {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3193 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si633[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3197 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si634[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3202 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si635[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3207 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si636[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3212 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si637[] |
{ {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3217 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si638[] |
{ {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3221 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si639[] |
{ {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3225 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si640[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3229 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si641[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3234 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si642[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3239 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si643[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3244 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si644[] |
{ {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3249 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si645[] |
{ {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3253 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si646[] |
{ {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3257 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si647[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3261 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si648[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3266 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si649[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3271 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si650[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3276 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si651[] |
{ {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3281 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si652[] |
{ {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3285 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si653[] |
{ {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3289 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si654[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3293 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si655[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3298 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si656[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3303 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si657[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3308 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si658[] |
{ {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3313 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si659[] |
{ {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3317 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si660[] |
{ {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3321 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si661[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3325 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si662[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3330 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si663[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3335 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si664[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3340 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si665[] |
{ {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3345 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si666[] |
{ {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3349 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si667[] |
{ {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3353 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si668[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3357 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si669[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3362 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si670[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3367 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si671[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3372 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si672[] |
{ {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3377 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si673[] |
{ {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3381 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si674[] |
{ {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3385 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si675[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3389 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si676[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3394 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si677[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3399 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si678[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3404 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si679[] |
{ {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3409 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si680[] |
{ {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3413 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si681[] |
{ {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3417 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si682[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3421 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si683[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3426 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si684[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3431 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si685[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3436 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si686[] |
{ {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3441 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si687[] |
{ {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3445 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si688[] |
{ {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3449 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si689[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3453 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si690[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3458 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si691[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3463 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si692[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3468 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si693[] |
{ {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3473 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si694[] |
{ {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3477 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si695[] |
{ {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3481 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si696[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3485 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si697[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3490 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si698[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3495 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si699[] |
{ {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3500 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si700[] |
{ {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3505 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si701[] |
{ {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3509 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si702[] |
{ {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3513 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si703[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3517 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si704[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3522 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si705[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3527 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si706[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3532 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si707[] |
{ {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3537 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si708[] |
{ {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3541 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si709[] |
{ {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3545 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si710[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3549 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si711[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3554 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si712[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3559 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si713[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3564 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si714[] |
{ {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3569 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si715[] |
{ {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3573 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si716[] |
{ {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3577 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si717[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3581 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si718[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3586 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si719[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3591 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si720[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3596 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si721[] |
{ {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3601 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si722[] |
{ {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3605 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si723[] |
{ {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3609 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si724[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3613 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si725[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3618 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si726[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3623 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si727[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3628 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si728[] |
{ {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3633 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si729[] |
{ {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3637 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si730[] |
{ {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3641 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si731[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3645 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si732[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3650 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si733[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3655 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si734[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3660 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si735[] |
{ {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3665 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si736[] |
{ {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3669 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si737[] |
{ {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3673 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si738[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3677 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si739[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3682 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si740[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3687 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si741[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3692 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si742[] |
{ {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3697 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si743[] |
{ {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3701 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si744[] |
{ {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3705 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si745[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3709 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si746[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3714 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si747[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3719 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si748[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3724 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si749[] |
{ {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3729 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si750[] |
{ {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3733 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si751[] |
{ {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3737 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si752[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3741 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si753[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3746 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si754[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3751 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si755[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3756 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si756[] |
{ {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3761 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si757[] |
{ {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3765 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si758[] |
{ {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3769 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si759[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3773 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si760[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3778 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si761[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3783 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si762[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3788 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si763[] |
{ {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3793 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si764[] |
{ {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3797 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si765[] |
{ {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3801 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si766[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3805 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si767[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3810 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si768[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3815 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si769[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3820 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si770[] |
{ {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3825 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si771[] |
{ {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3829 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si772[] |
{ {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3833 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si773[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3837 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si774[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3842 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si775[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3847 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si776[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3852 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si777[] |
{ {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3857 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si778[] |
{ {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3861 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si779[] |
{ {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3865 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si780[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3869 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si781[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3874 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si782[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3879 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si783[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3884 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si784[] |
{ {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3889 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si785[] |
{ {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3893 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si786[] |
{ {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3897 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si787[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3901 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si788[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3906 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si789[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3911 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si790[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3916 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si791[] |
{ {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3921 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si792[] |
{ {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3925 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si793[] |
{ {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3929 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si794[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3933 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si795[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3938 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si796[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3943 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si797[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3948 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si798[] |
{ {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3953 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si799[] |
{ {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3957 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si800[] |
{ {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3961 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si801[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3965 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si802[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3970 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si803[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3975 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si804[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 3980 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si805[] |
{ {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3985 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si806[] |
{ {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 3989 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si807[] |
{ {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3993 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si808[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 3997 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si809[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4002 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si810[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4007 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si811[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 4012 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si812[] |
{ {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4017 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si813[] |
{ {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 4021 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si814[] |
{ {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4025 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si815[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4029 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si816[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4034 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si817[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4039 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si818[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 4044 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si819[] |
{ {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4049 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si820[] |
{ {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 4053 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si821[] |
{ {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4057 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si822[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4061 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si823[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4066 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si824[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4071 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si825[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 4076 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si826[] |
{ {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4081 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si827[] |
{ {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 4085 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si828[] |
{ {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4089 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si829[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4093 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si830[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4098 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si831[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4103 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si832[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 4108 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si833[] |
{ {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4113 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si834[] |
{ {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 4117 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si835[] |
{ {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4121 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si836[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4125 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si837[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4130 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si838[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4135 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si839[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 4140 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si840[] |
{ {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4145 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si841[] |
{ {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 4149 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si842[] |
{ {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4153 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si843[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4157 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si844[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4162 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si845[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4167 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si846[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 4172 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si847[] |
{ {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4177 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si848[] |
{ {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 4181 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si849[] |
{ {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4185 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si850[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4189 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si851[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4194 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si852[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4199 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si853[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 4204 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si854[] |
{ {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4209 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si855[] |
{ {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 4213 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si856[] |
{ {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4217 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si857[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4221 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si858[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4226 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si859[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4231 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si860[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 4236 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si861[] |
{ {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4241 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si862[] |
{ {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 4245 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si863[] |
{ {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4249 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si864[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4253 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si865[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4258 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si866[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4263 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si867[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 4268 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si868[] |
{ {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4273 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si869[] |
{ {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }
Definition at line 4277 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si870[] |
{ {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4281 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si871[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4285 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si872[] |
{ {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4290 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si873[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4295 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si874[] |
{ {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 4300 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si875[] |
{ {SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }
Definition at line 4305 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si876[] |
{ {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4309 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si877[] |
{ {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4313 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si878[] |
{ {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4317 of file mm-set.cpp.
const SetInstr Test::Int::MiniModelSet::si879[] |
{ {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }
Definition at line 4321 of file mm-set.cpp.
const SetInstr* Test::Int::MiniModelSet::si[] |
Definition at line 4328 of file mm-set.cpp.
Create Test::Int::MiniModelSet::c |
Definition at line 4526 of file mm-set.cpp.