Generated on Fri Oct 19 11:26:34 2018 for Gecode by doxygen 1.6.3

Test::Int::MiniModelLin Namespace Reference

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

Classes

class  LinInstr
 Type for representing a linear instruction. More...
class  LinExprInt
 Test linear expressions over integer variables More...
class  LinExprBool
 Test linear expressions over Boolean variables More...
class  LinExprMixed
 Test linear expressions over integer and Boolean variables More...
class  LinRelInt
 Test linear relations over integer variables More...
class  LinRelBool
 Test linear relations over Boolean variables More...
class  LinRelMixed
 Test linear relations over integer and Boolean variables More...
class  Create
 Help class to create and register tests. 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.

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

Detailed Description

Tests for minimal modelling constraints (linear)


Enumeration Type Documentation

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 44 of file mm-lin.cpp.


Function Documentation

template<class Expr >
Expr Test::Int::MiniModelLin::eval ( const LinInstr *  pc,
Expr  reg[] 
) [inline]

Evaluate linear instructions.

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