Test::Int::MiniModelLin Namespace Reference

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

Classes
class	Create
	Help class to create and register tests. More...
class	LinExprBool
	Test linear expressions over Boolean variables More...
class	LinExprInt
	Test linear expressions over integer variables More...
class	LinExprMixed
	Test linear expressions over integer and Boolean variables More...
class	LinInstr
	Type for representing a linear instruction. More...
class	LinRelBool
	Test linear relations over Boolean variables More...
class	LinRelInt
	Test linear relations over integer variables More...
class	LinRelMixed
	Test linear relations over integer and Boolean variables More...

Enumerations
enum	LinOpcode {   LO_ACE, LO_AEC, LO_AEE, LO_SCE,   LO_SEC, LO_SEE, LO_SE, LO_MCE,   LO_MEC, LO_HLT }
	Linear opcode. More...

Functions
template<class Expr >
Expr	eval (const LinInstr *pc, Expr reg[])
	Evaluate linear instructions. More...

Variables
const LinInstr	li000 []
const LinInstr	li001 []
const LinInstr	li002 []
const LinInstr	li003 []
const LinInstr	li004 []
const LinInstr	li005 []
const LinInstr	li006 []
const LinInstr	li007 []
const LinInstr	li008 []
const LinInstr	li009 []
const LinInstr	li010 []
const LinInstr	li011 []
const LinInstr	li012 []
const LinInstr	li013 []
const LinInstr	li014 []
const LinInstr	li015 []
const LinInstr	li016 []
const LinInstr	li017 []
const LinInstr	li018 []
const LinInstr	li019 []
const LinInstr	li020 []
const LinInstr	li021 []
const LinInstr	li022 []
const LinInstr	li023 []
const LinInstr	li024 []
const LinInstr	li025 []
const LinInstr	li026 []
const LinInstr	li027 []
const LinInstr	li028 []
const LinInstr	li029 []
const LinInstr	li030 []
const LinInstr	li031 []
const LinInstr	li032 []
const LinInstr	li033 []
const LinInstr	li034 []
const LinInstr	li035 []
const LinInstr	li036 []
const LinInstr	li037 []
const LinInstr	li038 []
const LinInstr	li039 []
const LinInstr	li040 []
const LinInstr	li041 []
const LinInstr	li042 []
const LinInstr	li043 []
const LinInstr	li044 []
const LinInstr	li045 []
const LinInstr	li046 []
const LinInstr	li047 []
const LinInstr	li048 []
const LinInstr	li049 []
const LinInstr	li050 []
const LinInstr	li051 []
const LinInstr	li052 []
const LinInstr	li053 []
const LinInstr	li054 []
const LinInstr	li055 []
const LinInstr	li056 []
const LinInstr	li057 []
const LinInstr	li058 []
const LinInstr	li059 []
const LinInstr	li060 []
const LinInstr	li061 []
const LinInstr	li062 []
const LinInstr	li063 []
const LinInstr	li064 []
const LinInstr	li065 []
const LinInstr	li066 []
const LinInstr	li067 []
const LinInstr	li068 []
const LinInstr	li069 []
const LinInstr	li070 []
const LinInstr	li071 []
const LinInstr	li072 []
const LinInstr	li073 []
const LinInstr	li074 []
const LinInstr	li075 []
const LinInstr	li076 []
const LinInstr	li077 []
const LinInstr	li078 []
const LinInstr	li079 []
const LinInstr	li080 []
const LinInstr	li081 []
const LinInstr	li082 []
const LinInstr	li083 []
const LinInstr	li084 []
const LinInstr	li085 []
const LinInstr	li086 []
const LinInstr	li087 []
const LinInstr	li088 []
const LinInstr	li089 []
const LinInstr	li090 []
const LinInstr	li091 []
const LinInstr	li092 []
const LinInstr	li093 []
const LinInstr	li094 []
const LinInstr	li095 []
const LinInstr	li096 []
const LinInstr	li097 []
const LinInstr	li098 []
const LinInstr	li099 []
const LinInstr	li100 []
const LinInstr	li101 []
const LinInstr	li102 []
const LinInstr	li103 []
const LinInstr	li104 []
const LinInstr	li105 []
const LinInstr	li106 []
const LinInstr	li107 []
const LinInstr	li108 []
const LinInstr	li109 []
const LinInstr	li110 []
const LinInstr	li111 []
const LinInstr	li112 []
const LinInstr	li113 []
const LinInstr	li114 []
const LinInstr	li115 []
const LinInstr	li116 []
const LinInstr	li117 []
const LinInstr	li118 []
const LinInstr	li119 []
const LinInstr	li120 []
const LinInstr	li121 []
const LinInstr	li122 []
const LinInstr	li123 []
const LinInstr	li124 []
const LinInstr	li125 []
const LinInstr	li126 []
const LinInstr	li127 []
const LinInstr	li128 []
const LinInstr	li129 []
const LinInstr	li130 []
const LinInstr	li131 []
const LinInstr	li132 []
const LinInstr	li133 []
const LinInstr	li134 []
const LinInstr	li135 []
const LinInstr	li136 []
const LinInstr	li137 []
const LinInstr	li138 []
const LinInstr	li139 []
const LinInstr	li140 []
const LinInstr	li141 []
const LinInstr	li142 []
const LinInstr	li143 []
const LinInstr	li144 []
const LinInstr	li145 []
const LinInstr	li146 []
const LinInstr	li147 []
const LinInstr	li148 []
const LinInstr	li149 []
const LinInstr	li150 []
const LinInstr	li151 []
const LinInstr	li152 []
const LinInstr	li153 []
const LinInstr	li154 []
const LinInstr	li155 []
const LinInstr	li156 []
const LinInstr	li157 []
const LinInstr	li158 []
const LinInstr	li159 []
const LinInstr	li160 []
const LinInstr	li161 []
const LinInstr	li162 []
const LinInstr	li163 []
const LinInstr	li164 []
const LinInstr	li165 []
const LinInstr	li166 []
const LinInstr	li167 []
const LinInstr	li168 []
const LinInstr	li169 []
const LinInstr	li170 []
const LinInstr	li171 []
const LinInstr	li172 []
const LinInstr	li173 []
const LinInstr	li174 []
const LinInstr	li175 []
const LinInstr	li176 []
const LinInstr	li177 []
const LinInstr	li178 []
const LinInstr	li179 []
const LinInstr	li180 []
const LinInstr	li181 []
const LinInstr	li182 []
const LinInstr	li183 []
const LinInstr	li184 []
const LinInstr	li185 []
const LinInstr	li186 []
const LinInstr	li187 []
const LinInstr	li188 []
const LinInstr	li189 []
const LinInstr	li190 []
const LinInstr	li191 []
const LinInstr	li192 []
const LinInstr	li193 []
const LinInstr	li194 []
const LinInstr	li195 []
const LinInstr	li196 []
const LinInstr	li197 []
const LinInstr	li198 []
const LinInstr	li199 []
const LinInstr	li200 []
const LinInstr	li201 []
const LinInstr	li202 []
const LinInstr	li203 []
const LinInstr	li204 []
const LinInstr	li205 []
const LinInstr	li206 []
const LinInstr	li207 []
const LinInstr	li208 []
const LinInstr	li209 []
const LinInstr	li210 []
const LinInstr	li211 []
const LinInstr	li212 []
const LinInstr	li213 []
const LinInstr	li214 []
const LinInstr	li215 []
const LinInstr	li216 []
const LinInstr	li217 []
const LinInstr	li218 []
const LinInstr	li219 []
const LinInstr	li220 []
const LinInstr	li221 []
const LinInstr	li222 []
const LinInstr	li223 []
const LinInstr	li224 []
const LinInstr	li225 []
const LinInstr	li226 []
const LinInstr	li227 []
const LinInstr	li228 []
const LinInstr	li229 []
const LinInstr	li230 []
const LinInstr	li231 []
const LinInstr	li232 []
const LinInstr	li233 []
const LinInstr	li234 []
const LinInstr	li235 []
const LinInstr	li236 []
const LinInstr	li237 []
const LinInstr	li238 []
const LinInstr	li239 []
const LinInstr	li240 []
const LinInstr	li241 []
const LinInstr	li242 []
const LinInstr	li243 []
const LinInstr	li244 []
const LinInstr	li245 []
const LinInstr	li246 []
const LinInstr	li247 []
const LinInstr	li248 []
const LinInstr	li249 []
const LinInstr	li250 []
const LinInstr	li251 []
const LinInstr	li252 []
const LinInstr	li253 []
const LinInstr	li254 []
const LinInstr	li255 []
const LinInstr	li256 []
const LinInstr	li257 []
const LinInstr	li258 []
const LinInstr	li259 []
const LinInstr	li260 []
const LinInstr	li261 []
const LinInstr	li262 []
const LinInstr	li263 []
const LinInstr	li264 []
const LinInstr	li265 []
const LinInstr	li266 []
const LinInstr	li267 []
const LinInstr	li268 []
const LinInstr	li269 []
const LinInstr	li270 []
const LinInstr	li271 []
const LinInstr	li272 []
const LinInstr	li273 []
const LinInstr	li274 []
const LinInstr	li275 []
const LinInstr	li276 []
const LinInstr	li277 []
const LinInstr	li278 []
const LinInstr	li279 []
const LinInstr	li280 []
const LinInstr	li281 []
const LinInstr	li282 []
const LinInstr	li283 []
const LinInstr	li284 []
const LinInstr	li285 []
const LinInstr	li286 []
const LinInstr	li287 []
const LinInstr	li288 []
const LinInstr	li289 []
const LinInstr	li290 []
const LinInstr	li291 []
const LinInstr	li292 []
const LinInstr	li293 []
const LinInstr	li294 []
const LinInstr	li295 []
const LinInstr	li296 []
const LinInstr	li297 []
const LinInstr	li298 []
const LinInstr	li299 []
const LinInstr	li300 []
const LinInstr	li301 []
const LinInstr	li302 []
const LinInstr	li303 []
const LinInstr	li304 []
const LinInstr	li305 []
const LinInstr	li306 []
const LinInstr	li307 []
const LinInstr	li308 []
const LinInstr	li309 []
const LinInstr	li310 []
const LinInstr	li311 []
const LinInstr	li312 []
const LinInstr	li313 []
const LinInstr	li314 []
const LinInstr	li315 []
const LinInstr	li316 []
const LinInstr	li317 []
const LinInstr	li318 []
const LinInstr	li319 []
const LinInstr	li320 []
const LinInstr	li321 []
const LinInstr	li322 []
const LinInstr	li323 []
const LinInstr	li324 []
const LinInstr	li325 []
const LinInstr	li326 []
const LinInstr	li327 []
const LinInstr	li328 []
const LinInstr	li329 []
const LinInstr	li330 []
const LinInstr	li331 []
const LinInstr	li332 []
const LinInstr	li333 []
const LinInstr	li334 []
const LinInstr	li335 []
const LinInstr	li336 []
const LinInstr	li337 []
const LinInstr	li338 []
const LinInstr	li339 []
const LinInstr	li340 []
const LinInstr	li341 []
const LinInstr	li342 []
const LinInstr	li343 []
const LinInstr	li344 []
const LinInstr	li345 []
const LinInstr	li346 []
const LinInstr	li347 []
const LinInstr	li348 []
const LinInstr	li349 []
const LinInstr	li350 []
const LinInstr	li351 []
const LinInstr	li352 []
const LinInstr	li353 []
const LinInstr	li354 []
const LinInstr	li355 []
const LinInstr	li356 []
const LinInstr	li357 []
const LinInstr	li358 []
const LinInstr	li359 []
const LinInstr	li360 []
const LinInstr	li361 []
const LinInstr	li362 []
const LinInstr	li363 []
const LinInstr	li364 []
const LinInstr	li365 []
const LinInstr	li366 []
const LinInstr	li367 []
const LinInstr	li368 []
const LinInstr	li369 []
const LinInstr	li370 []
const LinInstr	li371 []
const LinInstr	li372 []
const LinInstr	li373 []
const LinInstr	li374 []
const LinInstr	li375 []
const LinInstr	li376 []
const LinInstr	li377 []
const LinInstr	li378 []
const LinInstr	li379 []
const LinInstr	li380 []
const LinInstr	li381 []
const LinInstr	li382 []
const LinInstr	li383 []
const LinInstr	li384 []
const LinInstr	li385 []
const LinInstr	li386 []
const LinInstr	li387 []
const LinInstr	li388 []
const LinInstr	li389 []
const LinInstr	li390 []
const LinInstr	li391 []
const LinInstr	li392 []
const LinInstr	li393 []
const LinInstr	li394 []
const LinInstr	li395 []
const LinInstr	li396 []
const LinInstr	li397 []
const LinInstr	li398 []
const LinInstr	li399 []
const LinInstr *	li []
Create	c

Detailed Description

Tests for minimal modelling constraints (linear)

Enumeration Type Documentation

LinOpcode

enum Test::Int::MiniModelLin::LinOpcode

Linear opcode.

Enumerator
LO_ACE	Add integer and expression.
LO_AEC	Add expression and integer.
LO_AEE	Add expressions.
LO_SCE	Subtract integer and expression.
LO_SEC	Subtract expression and integer.
LO_SEE	Subtract expressions.
LO_SE	Unary subtraction.
LO_MCE	Multiply constant and expression.
LO_MEC	Multiply constant and expression.
LO_HLT	Stop execution.

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

Function Documentation

eval()

template<class Expr >

Expr Test::Int::MiniModelLin::eval	(	const LinInstr *	pc,
		Expr	reg[]
	)

Evaluate linear instructions.

Definition at line 72 of file mm-lin.cpp.