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

const BoolInstr Test::Int::MiniModelBoolean::bi000[]

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 168 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi001[]

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 172 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi002[]

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 176 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi003[]

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 180 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi004[]

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 185 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi005[]

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 190 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi006[]

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 195 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi007[]

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 200 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi008[]

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 204 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi009[]

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 208 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi010[]

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 212 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi011[]

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 217 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi012[]

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 222 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi013[]

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 227 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi014[]

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 232 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi015[]

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 236 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi016[]

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 240 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi017[]

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 244 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi018[]

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 249 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi019[]

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 254 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi020[]

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 259 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi021[]

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 264 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi022[]

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 268 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi023[]

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 272 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi024[]

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 276 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi025[]

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 281 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi026[]

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 286 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi027[]

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 291 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi028[]

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 296 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi029[]

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 300 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi030[]

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 304 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi031[]

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 308 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi032[]

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 313 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi033[]

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 318 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi034[]

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 323 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi035[]

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 328 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi036[]

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 332 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi037[]

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 336 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi038[]

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 340 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi039[]

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 345 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi040[]

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 350 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi041[]

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 355 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi042[]

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 360 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi043[]

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 364 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi044[]

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 368 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi045[]

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 372 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi046[]

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 377 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi047[]

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 382 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi048[]

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 387 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi049[]

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 392 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi050[]

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 396 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi051[]

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 400 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi052[]

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 404 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi053[]

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 409 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi054[]

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 414 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi055[]

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 419 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi056[]

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 424 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi057[]

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 428 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi058[]

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 432 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi059[]

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 436 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi060[]

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 441 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi061[]

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 446 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi062[]

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 451 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi063[]

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 456 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi064[]

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 460 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi065[]

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 464 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi066[]

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 468 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi067[]

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 473 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi068[]

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 478 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi069[]

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 483 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi070[]

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 488 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi071[]

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 492 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi072[]

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 496 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi073[]

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 500 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi074[]

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 505 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi075[]

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 510 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi076[]

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 515 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi077[]

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 520 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi078[]

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 524 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi079[]

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 528 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi080[]

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 532 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi081[]

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 537 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi082[]

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 542 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi083[]

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 547 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi084[]

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 552 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi085[]

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 556 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi086[]

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 560 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi087[]

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 564 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi088[]

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 569 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi089[]

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 574 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi090[]

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 579 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi091[]

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 584 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi092[]

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 588 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi093[]

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 592 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi094[]

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 596 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi095[]

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 601 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi096[]

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 606 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi097[]

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 611 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi098[]

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 616 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi099[]

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 620 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi100[]

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 624 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi101[]

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 628 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi102[]

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 633 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi103[]

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 638 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi104[]

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 643 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi105[]

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 648 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi106[]

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 652 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi107[]

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 656 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi108[]

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 660 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi109[]

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 665 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi110[]

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 670 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi111[]

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 675 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi112[]

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 680 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi113[]

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 684 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi114[]

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 688 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi115[]

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 692 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi116[]

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 697 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi117[]

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 702 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi118[]

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 707 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi119[]

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 712 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi120[]

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 716 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi121[]

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 720 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi122[]

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 724 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi123[]

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 729 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi124[]

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 734 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi125[]

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 739 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi126[]

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 744 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi127[]

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 748 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi128[]

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 752 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi129[]

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 756 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi130[]

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 761 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi131[]

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 766 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi132[]

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 771 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi133[]

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 776 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi134[]

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 780 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi135[]

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 784 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi136[]

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 788 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi137[]

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 793 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi138[]

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 798 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi139[]

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 803 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi140[]

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 808 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi141[]

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 812 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi142[]

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 816 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi143[]

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 820 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi144[]

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 825 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi145[]

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 830 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi146[]

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 835 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi147[]

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 840 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi148[]

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 844 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi149[]

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 848 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi150[]

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 852 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi151[]

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 857 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi152[]

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 862 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi153[]

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 867 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi154[]

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 872 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi155[]

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 876 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi156[]

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 880 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi157[]

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 884 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi158[]

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 889 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi159[]

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 894 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi160[]

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 899 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi161[]

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 904 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi162[]

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 908 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi163[]

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 912 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi164[]

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 916 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi165[]

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 921 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi166[]

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 926 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi167[]

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 931 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi168[]

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 936 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi169[]

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 940 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi170[]

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 944 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi171[]

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 948 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi172[]

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 953 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi173[]

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 958 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi174[]

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 963 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi175[]

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 968 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi176[]

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 972 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi177[]

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 976 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi178[]

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 980 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi179[]

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 985 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi180[]

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 990 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi181[]

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 995 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi182[]

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 1000 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi183[]

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 1004 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi184[]

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 1008 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi185[]

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 1012 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi186[]

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 1017 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi187[]

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 1022 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi188[]

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 1027 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi189[]

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 1032 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi190[]

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 1036 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi191[]

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 1040 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi192[]

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 1044 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi193[]

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 1049 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi194[]

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 1054 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi195[]

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 1059 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi196[]

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 1064 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi197[]

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 1068 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi198[]

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 1072 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi199[]

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 1076 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi200[]

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 1081 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi201[]

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 1086 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi202[]

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 1091 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi203[]

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 1096 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi204[]

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 1100 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi205[]

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 1104 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi206[]

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 1108 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi207[]

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 1113 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi208[]

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 1118 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi209[]

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 1123 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi210[]

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 1128 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi211[]

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 1132 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi212[]

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 1136 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi213[]

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 1140 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi214[]

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 1145 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi215[]

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 1150 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi216[]

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 1155 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi217[]

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 1160 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi218[]

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 1164 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi219[]

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 1168 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi220[]

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 1172 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi221[]

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 1177 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi222[]

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 1182 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi223[]

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 1187 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi224[]

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 1192 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi225[]

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 1196 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi226[]

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 1200 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi227[]

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 1204 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi228[]

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 1209 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi229[]

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 1214 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi230[]

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 1219 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi231[]

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 1224 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi232[]

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 1228 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi233[]

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 1232 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi234[]

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 1236 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi235[]

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 1241 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi236[]

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 1246 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi237[]

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 1251 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi238[]

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 1256 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi239[]

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 1260 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi240[]

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 1264 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi241[]

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 1268 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi242[]

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 1273 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi243[]

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 1278 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi244[]

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 1283 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi245[]

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 1288 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi246[]

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 1292 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi247[]

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 1296 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi248[]

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 1300 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi249[]

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 1305 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi250[]

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 1310 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi251[]

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 1315 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi252[]

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 1320 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi253[]

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 1324 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi254[]

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 1328 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi255[]

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 1332 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi256[]

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 1337 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi257[]

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 1342 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi258[]

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 1347 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi259[]

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 1352 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi260[]

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 1356 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi261[]

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 1360 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi262[]

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 1364 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi263[]

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 1369 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi264[]

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 1374 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi265[]

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 1379 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi266[]

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 1384 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi267[]

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 1388 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi268[]

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 1392 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi269[]

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 1396 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi270[]

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 1401 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi271[]

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 1406 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi272[]

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 1411 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi273[]

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 1416 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi274[]

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 1420 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi275[]

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 1424 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi276[]

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 1428 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi277[]

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 1433 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi278[]

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 1438 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi279[]

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 1443 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi280[]

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 1448 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi281[]

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 1452 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi282[]

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 1456 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi283[]

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 1460 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi284[]

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 1465 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi285[]

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 1470 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi286[]

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 1475 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi287[]

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 1480 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi288[]

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 1484 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi289[]

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 1488 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi290[]

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 1492 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi291[]

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 1497 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi292[]

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 1502 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi293[]

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 1507 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi294[]

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 1512 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi295[]

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 1516 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi296[]

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 1520 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi297[]

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 1524 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi298[]

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 1529 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi299[]

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 1534 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi300[]

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 1539 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi301[]

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 1544 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi302[]

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 1548 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi303[]

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 1552 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi304[]

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 1556 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi305[]

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 1561 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi306[]

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 1566 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi307[]

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 1571 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi308[]

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 1576 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi309[]

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 1580 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi310[]

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 1584 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi311[]

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 1588 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi312[]

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 1593 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi313[]

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 1598 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi314[]

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 1603 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi315[]

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 1608 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi316[]

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 1612 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi317[]

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 1616 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi318[]

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 1620 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi319[]

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 1625 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi320[]

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 1630 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi321[]

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 1635 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi322[]

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 1640 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi323[]

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 1644 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi324[]

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 1648 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi325[]

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 1652 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi326[]

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 1657 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi327[]

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 1662 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi328[]

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 1667 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi329[]

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 1672 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi330[]

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 1676 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi331[]

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 1680 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi332[]

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 1684 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi333[]

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 1689 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi334[]

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 1694 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi335[]

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 1699 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi336[]

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 1704 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi337[]

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 1708 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi338[]

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 1712 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi339[]

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 1716 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi340[]

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 1721 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi341[]

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 1726 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi342[]

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 1731 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi343[]

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 1736 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi344[]

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 1740 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi345[]

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 1744 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi346[]

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 1748 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi347[]

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 1753 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi348[]

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 1758 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi349[]

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 1763 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi350[]

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 1768 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi351[]

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 1772 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi352[]

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 1776 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi353[]

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 1780 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi354[]

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 1785 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi355[]

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 1790 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi356[]

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 1795 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi357[]

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 1800 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi358[]

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 1804 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi359[]

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 1808 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi360[]

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 1812 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi361[]

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 1817 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi362[]

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 1822 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi363[]

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 1827 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi364[]

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 1832 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi365[]

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 1836 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi366[]

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 1840 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi367[]

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 1844 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi368[]

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 1849 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi369[]

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 1854 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi370[]

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 1859 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi371[]

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 1864 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi372[]

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 1868 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi373[]

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 1872 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi374[]

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 1876 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi375[]

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 1881 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi376[]

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 1886 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi377[]

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 1891 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi378[]

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 1896 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi379[]

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 1900 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi380[]

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 1904 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi381[]

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 1908 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi382[]

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 1913 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi383[]

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 1918 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi384[]

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 1923 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi385[]

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 1928 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi386[]

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 1932 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi387[]

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 1936 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi388[]

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 1940 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi389[]

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 1945 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi390[]

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 1950 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi391[]

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 1955 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi392[]

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 1960 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi393[]

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 1964 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi394[]

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 1968 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi395[]

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 1972 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi396[]

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 1977 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi397[]

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 1982 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi398[]

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 1987 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi399[]

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 1992 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi400[]

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 1996 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi401[]

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 2000 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi402[]

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 2004 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi403[]

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 2009 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi404[]

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 2014 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi405[]

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 2019 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi406[]

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 2024 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi407[]

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 2028 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi408[]

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 2032 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi409[]

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 2036 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi410[]

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 2041 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi411[]

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 2046 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi412[]

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 2051 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi413[]

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 2056 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi414[]

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 2060 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi415[]

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 2064 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi416[]

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 2068 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi417[]

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 2073 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi418[]

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 2078 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi419[]

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 2083 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi420[]

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 2088 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi421[]

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 2092 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi422[]

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 2096 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi423[]

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 2100 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi424[]

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 2105 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi425[]

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 2110 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi426[]

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 2115 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi427[]

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 2120 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi428[]

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 2124 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi429[]

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 2128 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi430[]

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 2132 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi431[]

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 2137 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi432[]

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 2142 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi433[]

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 2147 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi434[]

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 2152 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi435[]

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 2156 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi436[]

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 2160 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi437[]

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 2164 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi438[]

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 2169 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi439[]

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 2174 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi440[]

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 2179 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi441[]

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 2184 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi442[]

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 2188 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi443[]

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 2192 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi444[]

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 2196 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi445[]

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 2201 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi446[]

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 2206 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi447[]

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 2211 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi448[]

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 2216 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi449[]

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 2220 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi450[]

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 2224 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi451[]

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 2228 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi452[]

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 2233 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi453[]

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 2238 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi454[]

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 2243 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi455[]

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 2248 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi456[]

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 2252 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi457[]

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 2256 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi458[]

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 2260 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi459[]

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 2265 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi460[]

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 2270 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi461[]

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 2275 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi462[]

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 2280 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi463[]

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 2284 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi464[]

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 2288 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi465[]

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 2292 of file mm-bool.cpp.

const BoolInstr Test::Int::MiniModelBoolean::bi466[]

Initial value:

 {
      {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO