Generated on Tue Apr 18 10:22:52 2017 for Gecode by doxygen 1.6.3

Minimal modelling constraints (Boolean constraints)
[Testing finite domain integers]

Classes

class  Test::Int::MiniModelBoolean::BoolExprInt
 Test Boolean expressions with integer result More...
class  Test::Int::MiniModelBoolean::BoolExprVar
 Test posting Boolean expressions More...
class  Test::Int::MiniModelBoolean::BoolElement
 Test for Boolean element (regression) More...
class  Test::Int::MiniModelBoolean::Create
 Help class to create and register tests. More...

Variables

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

Variable Documentation

Initial value:
 {
      {BO_AND,0,1,0},{BO_AND,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_AND,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_AND,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_AND,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_AND,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_AND,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_AND,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_AND,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_AND,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_AND,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_AND,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_AND,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_AND,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_AND,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_AND,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_AND,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_AND,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_AND,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_AND,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_AND,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_AND,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_AND,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_AND,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_AND,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_AND,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_OR ,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_OR ,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_OR ,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_OR ,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_OR ,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_OR ,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_OR ,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_OR ,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_OR ,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_OR ,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_OR ,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_OR ,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_OR ,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_OR ,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_OR ,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_OR ,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_OR ,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_OR ,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_OR ,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_OR ,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_OR ,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_OR ,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_OR ,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_OR ,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_OR ,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_IMP,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_IMP,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_IMP,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_IMP,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_IMP,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_IMP,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_IMP,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_IMP,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_IMP,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_IMP,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_IMP,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_IMP,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_IMP,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_IMP,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_IMP,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_IMP,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_IMP,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_IMP,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_IMP,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_IMP,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_IMP,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_IMP,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_IMP,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_IMP,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_IMP,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_XOR,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_XOR,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_XOR,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_XOR,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_XOR,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_XOR,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_XOR,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_XOR,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_XOR,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_XOR,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_XOR,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_XOR,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_XOR,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_XOR,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_XOR,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_XOR,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_XOR,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_XOR,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_XOR,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_XOR,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_XOR,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_XOR,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_XOR,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_XOR,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_XOR,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_EQV,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_EQV,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_EQV,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_EQV,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_EQV,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_EQV,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_EQV,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_EQV,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_EQV,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_EQV,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_EQV,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_EQV,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_EQV,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_EQV,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_EQV,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_EQV,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_EQV,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_EQV,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_EQV,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_EQV,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_EQV,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_EQV,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,2,3,2},{BO_EQV,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_EQV,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
      {BO_EQV,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_AND,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_AND,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_AND,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_AND,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_AND,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_AND,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_AND,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_AND,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_AND,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_AND,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_AND,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_AND,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_AND,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_AND,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_AND,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_AND,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_AND,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_AND,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_AND,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_AND,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_AND,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_AND,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_AND,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_AND,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_AND,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_OR ,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_OR ,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_OR ,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_OR ,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_OR ,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_OR ,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_OR ,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_OR ,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_OR ,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_OR ,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_OR ,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_OR ,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_OR ,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_OR ,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_OR ,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_OR ,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_OR ,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_OR ,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_OR ,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_OR ,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_OR ,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_OR ,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_OR ,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_OR ,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_OR ,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_IMP,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_IMP,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_IMP,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_IMP,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_IMP,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_IMP,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_IMP,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_IMP,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_IMP,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_IMP,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_IMP,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_IMP,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_IMP,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_IMP,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_IMP,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_IMP,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_IMP,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_IMP,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_IMP,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_IMP,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_IMP,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_IMP,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_IMP,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_IMP,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_IMP,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_XOR,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_XOR,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_XOR,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_XOR,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_XOR,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_XOR,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_XOR,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_XOR,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_XOR,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_XOR,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_XOR,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_XOR,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_XOR,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_XOR,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_XOR,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_XOR,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_XOR,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_XOR,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_XOR,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_XOR,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_XOR,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_XOR,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_XOR,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_XOR,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_XOR,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_EQV,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_EQV,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_EQV,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_EQV,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_EQV,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_EQV,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_EQV,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_EQV,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_EQV,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_EQV,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_EQV,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_EQV,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_EQV,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_EQV,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_EQV,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_EQV,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_EQV,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_EQV,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_EQV,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_EQV,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_EQV,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_EQV,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,2,3,2},{BO_EQV,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_EQV,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
      {BO_EQV,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_AND,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_AND,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_AND,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_AND,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_AND,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_AND,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_AND,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_AND,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_AND,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_AND,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_AND,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_AND,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_AND,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_AND,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_AND,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_AND,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_AND,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_AND,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_AND,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_AND,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_AND,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_AND,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_AND,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_AND,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_AND,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_OR ,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_OR ,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_OR ,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_OR ,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_OR ,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_OR ,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_OR ,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_OR ,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_OR ,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_OR ,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_OR ,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_OR ,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_OR ,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_OR ,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_OR ,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_OR ,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_OR ,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_OR ,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_OR ,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_OR ,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_OR ,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_OR ,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_OR ,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_OR ,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_OR ,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_IMP,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_IMP,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_IMP,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_IMP,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_IMP,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_IMP,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_IMP,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_IMP,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_IMP,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_IMP,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_OR ,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_IMP,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_IMP,0,2,0},{BO_IMP,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_IMP,1,2,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_IMP,2,3,1},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_IMP,2,3,1},{BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_IMP,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_IMP,0,2,0},{BO_XOR,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_IMP,1,2,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_IMP,2,3,1},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_IMP,2,3,1},{BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_XOR,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_IMP,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_IMP,0,2,0},{BO_EQV,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_IMP,1,2,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_IMP,2,3,1},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_IMP,2,3,1},{BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
      {BO_EQV,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_XOR,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_XOR,0,2,0},{BO_AND,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_XOR,1,2,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_XOR,2,3,1},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
      {BO_XOR,2,3,1},{BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
      {BO_AND,0,1,0},{BO_NOT,0,0,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_XOR,2,3,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,0,1,0},{BO_XOR,0,2,0},{BO_OR ,0,3,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_IMP,2,3,2},{BO_XOR,1,2,1},{BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_XOR,2,3,1},
      {BO_OR ,0,1,0},
      {BO_HLT,0,0,0}
    }

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

Initial value:
 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0}