gecoder-with-gecode 0.7.1 → 0.8.0
Sign up to get free protection for your applications and to get access to all the features.
- data/CHANGES +7 -0
- data/README +10 -1
- data/ext/extconf.rb +24 -7
- data/ext/gecode-2.1.1/LICENSE +25 -0
- data/ext/gecode-2.1.1/Makefile.contribs +86 -0
- data/ext/gecode-2.1.1/Makefile.dep +7622 -0
- data/ext/gecode-2.1.1/Makefile.in +1568 -0
- data/ext/gecode-2.1.1/changelog.in +2459 -0
- data/ext/gecode-2.1.1/configure +11631 -0
- data/ext/gecode-2.1.1/configure.ac +249 -0
- data/ext/gecode-2.1.1/configure.ac.in +245 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/contribs/README +0 -0
- data/ext/gecode-2.1.1/contribs/qecode/Doxyfile +263 -0
- data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc +82 -0
- data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh +37 -0
- data/ext/gecode-2.1.1/contribs/qecode/Makefile.in.in +162 -0
- data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.cc +172 -0
- data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.hh +63 -0
- data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.cc +37 -0
- data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.hh +35 -0
- data/ext/gecode-2.1.1/contribs/qecode/configure +2264 -0
- data/ext/gecode-2.1.1/contribs/qecode/configure.ac +23 -0
- data/ext/gecode-2.1.1/contribs/qecode/examples/COMPILING +13 -0
- data/ext/gecode-2.1.1/contribs/qecode/examples/MatrixGame.cpp +144 -0
- data/ext/gecode-2.1.1/contribs/qecode/examples/NimFibo.cpp +73 -0
- data/ext/gecode-2.1.1/contribs/qecode/examples/stress_test.cpp +179 -0
- data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.cc +34 -0
- data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.hh +46 -0
- data/ext/gecode-2.1.1/contribs/qecode/heap.cc +151 -0
- data/ext/gecode-2.1.1/contribs/qecode/implicative.cc +595 -0
- data/ext/gecode-2.1.1/contribs/qecode/implicative.hh +184 -0
- data/ext/gecode-2.1.1/contribs/qecode/myDom.cc +39 -0
- data/ext/gecode-2.1.1/contribs/qecode/myspace.cc +69 -0
- data/ext/gecode-2.1.1/contribs/qecode/myspace.hh +69 -0
- data/ext/gecode-2.1.1/contribs/qecode/qecode.hh +56 -0
- data/ext/gecode-2.1.1/contribs/qecode/qecore.cc +145 -0
- data/ext/gecode-2.1.1/contribs/qecode/qecore.hh +247 -0
- data/ext/gecode-2.1.1/contribs/qecode/qsolver.cc +168 -0
- data/ext/gecode-2.1.1/contribs/qecode/qsolver.hh +73 -0
- data/ext/gecode-2.1.1/contribs/qecode/shortdesc.ac +1 -0
- data/ext/gecode-2.1.1/contribs/qecode/valueHeuristic.hh +91 -0
- data/ext/gecode-2.1.1/contribs/qecode/vartype.hh +31 -0
- data/ext/gecode-2.1.1/contribs/qecode/warner.cc +101 -0
- data/ext/gecode-2.1.1/contribs/qecode/warner.hh +83 -0
- data/ext/gecode-2.1.1/doxygen/doxygen.conf.in +1270 -0
- data/ext/gecode-2.1.1/doxygen/doxygen.hh.in +1111 -0
- data/ext/gecode-2.1.1/doxygen/reflection.hh +417 -0
- data/ext/gecode-2.1.1/gecode.m4 +956 -0
- data/ext/gecode-2.1.1/gecode/cpltset.hh +797 -0
- data/ext/gecode-2.1.1/gecode/cpltset/array.cc +121 -0
- data/ext/gecode-2.1.1/gecode/cpltset/array.icc +81 -0
- data/ext/gecode-2.1.1/gecode/cpltset/bddmanager.cc +59 -0
- data/ext/gecode-2.1.1/gecode/cpltset/bddmanager.icc +448 -0
- data/ext/gecode-2.1.1/gecode/cpltset/branch.cc +68 -0
- data/ext/gecode-2.1.1/gecode/cpltset/branch.hh +208 -0
- data/ext/gecode-2.1.1/gecode/cpltset/branch/select-val.icc +167 -0
- data/ext/gecode-2.1.1/gecode/cpltset/branch/select-view.icc +143 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/atmost.cc +472 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/cardinality.cc +69 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/distinct.cc +83 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/dom.cc +147 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/partition.cc +383 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/rangeroots.cc +466 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/rel.cc +530 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/select.cc +126 -0
- data/ext/gecode-2.1.1/gecode/cpltset/constraints/singleton.cc +55 -0
- data/ext/gecode-2.1.1/gecode/cpltset/exception.icc +172 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators.hh +335 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/binary.icc +260 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/nary.icc +210 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/naryone.icc +165 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/narytwo.icc +191 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/singleton.icc +130 -0
- data/ext/gecode-2.1.1/gecode/cpltset/propagators/unary.icc +132 -0
- data/ext/gecode-2.1.1/gecode/cpltset/support.cc +673 -0
- data/ext/gecode-2.1.1/gecode/cpltset/support.icc +696 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var-imp.icc +487 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.cc +926 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.icc +687 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.vis +86 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var/cpltset.cc +101 -0
- data/ext/gecode-2.1.1/gecode/cpltset/var/cpltset.icc +219 -0
- data/ext/gecode-2.1.1/gecode/cpltset/view.icc +231 -0
- data/ext/gecode-2.1.1/gecode/cpltset/view/cpltset.icc +420 -0
- data/ext/gecode-2.1.1/gecode/cpltset/view/print.cc +166 -0
- data/ext/gecode-2.1.1/gecode/gist.hh +162 -0
- data/ext/gecode-2.1.1/gecode/gist/addchild.cc +191 -0
- data/ext/gecode-2.1.1/gecode/gist/addchild.hh +76 -0
- data/ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.cc +139 -0
- data/ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.hh +78 -0
- data/ext/gecode-2.1.1/gecode/gist/analysiscursor.cc +115 -0
- data/ext/gecode-2.1.1/gecode/gist/analysiscursor.hh +77 -0
- data/ext/gecode-2.1.1/gecode/gist/better.hh +59 -0
- data/ext/gecode-2.1.1/gecode/gist/config.cc +61 -0
- data/ext/gecode-2.1.1/gecode/gist/config.hh +62 -0
- data/ext/gecode-2.1.1/gecode/gist/drawingcursor.cc +245 -0
- data/ext/gecode-2.1.1/gecode/gist/drawingcursor.hh +101 -0
- data/ext/gecode-2.1.1/gecode/gist/gecodelogo.icc +522 -0
- data/ext/gecode-2.1.1/gecode/gist/gist.cc +129 -0
- data/ext/gecode-2.1.1/gecode/gist/gist.icc +76 -0
- data/ext/gecode-2.1.1/gecode/gist/mainwindow.cc +254 -0
- data/ext/gecode-2.1.1/gecode/gist/mainwindow.hh +86 -0
- data/ext/gecode-2.1.1/gecode/gist/node.cc +100 -0
- data/ext/gecode-2.1.1/gecode/gist/node.hh +89 -0
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.cc +124 -0
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.hh +122 -0
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.icc +79 -0
- data/ext/gecode-2.1.1/gecode/gist/nodevisitor.hh +91 -0
- data/ext/gecode-2.1.1/gecode/gist/nodevisitor.icc +112 -0
- data/ext/gecode-2.1.1/gecode/gist/postscript.cc +543 -0
- data/ext/gecode-2.1.1/gecode/gist/postscript.hh +56 -0
- data/ext/gecode-2.1.1/gecode/gist/preferences.cc +110 -0
- data/ext/gecode-2.1.1/gecode/gist/preferences.hh +76 -0
- data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.cc +55 -0
- data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.hh +58 -0
- data/ext/gecode-2.1.1/gecode/gist/shapelist.cc +331 -0
- data/ext/gecode-2.1.1/gecode/gist/shapelist.hh +140 -0
- data/ext/gecode-2.1.1/gecode/gist/spacenode.cc +531 -0
- data/ext/gecode-2.1.1/gecode/gist/spacenode.hh +224 -0
- data/ext/gecode-2.1.1/gecode/gist/test.cc +78 -0
- data/ext/gecode-2.1.1/gecode/gist/textoutput.cc +114 -0
- data/ext/gecode-2.1.1/gecode/gist/textoutput.hh +67 -0
- data/ext/gecode-2.1.1/gecode/gist/treecanvas.cc +1140 -0
- data/ext/gecode-2.1.1/gecode/gist/treecanvas.hh +324 -0
- data/ext/gecode-2.1.1/gecode/gist/ui_addchild.hh +163 -0
- data/ext/gecode-2.1.1/gecode/gist/ui_addvisualisationdialog.hh +163 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.cc +175 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.hh +71 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.cc +219 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.hh +73 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayitem.hh +123 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.cc +146 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.hh +96 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayviewt.hh +105 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/varitem.cc +68 -0
- data/ext/gecode-2.1.1/gecode/gist/visualisation/varitem.hh +67 -0
- data/ext/gecode-2.1.1/gecode/gist/visualnode.cc +303 -0
- data/ext/gecode-2.1.1/gecode/gist/visualnode.hh +166 -0
- data/ext/gecode-2.1.1/gecode/int.hh +2035 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic.cc +136 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic.hh +440 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic/abs.icc +279 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic/max.icc +253 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic/mult.icc +522 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic/sqr.icc +218 -0
- data/ext/gecode-2.1.1/gecode/int/arithmetic/sqrt.icc +138 -0
- data/ext/gecode-2.1.1/gecode/int/array.cc +74 -0
- data/ext/gecode-2.1.1/gecode/int/array.icc +115 -0
- data/ext/gecode-2.1.1/gecode/int/bool.cc +642 -0
- data/ext/gecode-2.1.1/gecode/int/bool.hh +487 -0
- data/ext/gecode-2.1.1/gecode/int/bool/base.icc +156 -0
- data/ext/gecode-2.1.1/gecode/int/bool/eq.icc +239 -0
- data/ext/gecode-2.1.1/gecode/int/bool/eqv.icc +179 -0
- data/ext/gecode-2.1.1/gecode/int/bool/lq.icc +147 -0
- data/ext/gecode-2.1.1/gecode/int/bool/or.icc +1000 -0
- data/ext/gecode-2.1.1/gecode/int/branch.cc +301 -0
- data/ext/gecode-2.1.1/gecode/int/branch.hh +576 -0
- data/ext/gecode-2.1.1/gecode/int/branch/select-val.icc +338 -0
- data/ext/gecode-2.1.1/gecode/int/branch/select-view.icc +421 -0
- data/ext/gecode-2.1.1/gecode/int/channel.cc +114 -0
- data/ext/gecode-2.1.1/gecode/int/channel.hh +259 -0
- data/ext/gecode-2.1.1/gecode/int/channel/base.icc +86 -0
- data/ext/gecode-2.1.1/gecode/int/channel/dom.icc +347 -0
- data/ext/gecode-2.1.1/gecode/int/channel/link-multi.cc +231 -0
- data/ext/gecode-2.1.1/gecode/int/channel/link-multi.icc +70 -0
- data/ext/gecode-2.1.1/gecode/int/channel/link-single.cc +97 -0
- data/ext/gecode-2.1.1/gecode/int/channel/link-single.icc +71 -0
- data/ext/gecode-2.1.1/gecode/int/channel/val.icc +276 -0
- data/ext/gecode-2.1.1/gecode/int/circuit.cc +63 -0
- data/ext/gecode-2.1.1/gecode/int/circuit.hh +175 -0
- data/ext/gecode-2.1.1/gecode/int/circuit/base.icc +271 -0
- data/ext/gecode-2.1.1/gecode/int/circuit/dom.icc +146 -0
- data/ext/gecode-2.1.1/gecode/int/circuit/val.icc +122 -0
- data/ext/gecode-2.1.1/gecode/int/count.cc +310 -0
- data/ext/gecode-2.1.1/gecode/int/count.hh +487 -0
- data/ext/gecode-2.1.1/gecode/int/count/int.icc +619 -0
- data/ext/gecode-2.1.1/gecode/int/count/rel.icc +144 -0
- data/ext/gecode-2.1.1/gecode/int/count/view.icc +449 -0
- data/ext/gecode-2.1.1/gecode/int/cumulatives.cc +226 -0
- data/ext/gecode-2.1.1/gecode/int/cumulatives.hh +141 -0
- data/ext/gecode-2.1.1/gecode/int/cumulatives/val.icc +429 -0
- data/ext/gecode-2.1.1/gecode/int/distinct.cc +108 -0
- data/ext/gecode-2.1.1/gecode/int/distinct.hh +341 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/bilink.icc +89 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/bnd.icc +378 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/combptr.icc +78 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/dom.icc +750 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/edge.icc +118 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/node.icc +147 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/ter-dom.icc +136 -0
- data/ext/gecode-2.1.1/gecode/int/distinct/val.icc +209 -0
- data/ext/gecode-2.1.1/gecode/int/dom.cc +116 -0
- data/ext/gecode-2.1.1/gecode/int/dom.hh +134 -0
- data/ext/gecode-2.1.1/gecode/int/dom/range.icc +129 -0
- data/ext/gecode-2.1.1/gecode/int/dom/spec.icc +151 -0
- data/ext/gecode-2.1.1/gecode/int/element.cc +156 -0
- data/ext/gecode-2.1.1/gecode/int/element.hh +239 -0
- data/ext/gecode-2.1.1/gecode/int/element/int.icc +441 -0
- data/ext/gecode-2.1.1/gecode/int/element/view.icc +584 -0
- data/ext/gecode-2.1.1/gecode/int/exception.icc +163 -0
- data/ext/gecode-2.1.1/gecode/int/extensional.cc +138 -0
- data/ext/gecode-2.1.1/gecode/int/extensional.hh +415 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/base.icc +160 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/basic.icc +166 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/bitset.icc +113 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/dfa.cc +565 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/dfa.icc +241 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/incremental.icc +393 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/layered-graph.icc +604 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/tuple-set.cc +311 -0
- data/ext/gecode-2.1.1/gecode/int/extensional/tuple-set.icc +207 -0
- data/ext/gecode-2.1.1/gecode/int/gcc.cc +374 -0
- data/ext/gecode-2.1.1/gecode/int/gcc.hh +329 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/bnd.icc +660 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/dom.icc +531 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/gccbndsup.icc +780 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/graphsup.icc +2422 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/lbc.icc +391 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/occur.icc +829 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/ubc.icc +255 -0
- data/ext/gecode-2.1.1/gecode/int/gcc/val.icc +400 -0
- data/ext/gecode-2.1.1/gecode/int/int-set.cc +153 -0
- data/ext/gecode-2.1.1/gecode/int/int-set.icc +191 -0
- data/ext/gecode-2.1.1/gecode/int/limits.icc +54 -0
- data/ext/gecode-2.1.1/gecode/int/linear-bool.cc +220 -0
- data/ext/gecode-2.1.1/gecode/int/linear-int.cc +240 -0
- data/ext/gecode-2.1.1/gecode/int/linear.hh +1849 -0
- data/ext/gecode-2.1.1/gecode/int/linear/bool-int.icc +791 -0
- data/ext/gecode-2.1.1/gecode/int/linear/bool-post.cc +433 -0
- data/ext/gecode-2.1.1/gecode/int/linear/bool-scale.icc +854 -0
- data/ext/gecode-2.1.1/gecode/int/linear/bool-view.icc +399 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-bin.icc +605 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-dom.icc +539 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-nary.icc +1004 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-noview.icc +385 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-post.cc +493 -0
- data/ext/gecode-2.1.1/gecode/int/linear/int-ter.icc +357 -0
- data/ext/gecode-2.1.1/gecode/int/linear/post.icc +146 -0
- data/ext/gecode-2.1.1/gecode/int/propagator.icc +240 -0
- data/ext/gecode-2.1.1/gecode/int/rel.cc +431 -0
- data/ext/gecode-2.1.1/gecode/int/rel.hh +657 -0
- data/ext/gecode-2.1.1/gecode/int/rel/eq.icc +848 -0
- data/ext/gecode-2.1.1/gecode/int/rel/lex.icc +248 -0
- data/ext/gecode-2.1.1/gecode/int/rel/lq-le.icc +352 -0
- data/ext/gecode-2.1.1/gecode/int/rel/nq.icc +269 -0
- data/ext/gecode-2.1.1/gecode/int/sorted.cc +91 -0
- data/ext/gecode-2.1.1/gecode/int/sorted.hh +117 -0
- data/ext/gecode-2.1.1/gecode/int/sorted/matching.icc +182 -0
- data/ext/gecode-2.1.1/gecode/int/sorted/narrowing.icc +257 -0
- data/ext/gecode-2.1.1/gecode/int/sorted/order.icc +208 -0
- data/ext/gecode-2.1.1/gecode/int/sorted/propagate.icc +669 -0
- data/ext/gecode-2.1.1/gecode/int/sorted/sortsup.icc +596 -0
- data/ext/gecode-2.1.1/gecode/int/unshare.cc +148 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp.icc +745 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/bool.cc +104 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/bool.icc +423 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/bool.vis +69 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/delta.icc +64 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/int.cc +407 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/int.icc +1004 -0
- data/ext/gecode-2.1.1/gecode/int/var-imp/int.vis +195 -0
- data/ext/gecode-2.1.1/gecode/int/var/bool.cc +72 -0
- data/ext/gecode-2.1.1/gecode/int/var/bool.icc +126 -0
- data/ext/gecode-2.1.1/gecode/int/var/int.cc +79 -0
- data/ext/gecode-2.1.1/gecode/int/var/int.icc +151 -0
- data/ext/gecode-2.1.1/gecode/int/view.icc +1894 -0
- data/ext/gecode-2.1.1/gecode/int/view/bool.icc +598 -0
- data/ext/gecode-2.1.1/gecode/int/view/constint.icc +392 -0
- data/ext/gecode-2.1.1/gecode/int/view/int.icc +301 -0
- data/ext/gecode-2.1.1/gecode/int/view/iter.icc +65 -0
- data/ext/gecode-2.1.1/gecode/int/view/minus.icc +372 -0
- data/ext/gecode-2.1.1/gecode/int/view/offset.icc +362 -0
- data/ext/gecode-2.1.1/gecode/int/view/print.cc +133 -0
- data/ext/gecode-2.1.1/gecode/int/view/rtest.icc +231 -0
- data/ext/gecode-2.1.1/gecode/int/view/scale.icc +456 -0
- data/ext/gecode-2.1.1/gecode/int/view/zero.icc +384 -0
- data/ext/gecode-2.1.1/gecode/iter.hh +90 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-add.icc +144 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-append.icc +222 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-array.icc +138 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-cache.icc +337 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-compl.icc +220 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-diff.icc +142 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-empty.icc +111 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-inter.icc +216 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-minmax.icc +118 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-minus.icc +150 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-offset.icc +127 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-operations.icc +157 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-scale.icc +238 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-singleton-append.icc +111 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-singleton.icc +86 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-size.icc +146 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-union.icc +224 -0
- data/ext/gecode-2.1.1/gecode/iter/ranges-values.icc +140 -0
- data/ext/gecode-2.1.1/gecode/iter/values-array.icc +119 -0
- data/ext/gecode-2.1.1/gecode/iter/values-minus.icc +130 -0
- data/ext/gecode-2.1.1/gecode/iter/values-offset.icc +113 -0
- data/ext/gecode-2.1.1/gecode/iter/values-ranges.icc +106 -0
- data/ext/gecode-2.1.1/gecode/iter/values-singleton.icc +109 -0
- data/ext/gecode-2.1.1/gecode/iter/values-unique.icc +118 -0
- data/ext/gecode-2.1.1/gecode/iter/virtual-ranges-compl.icc +261 -0
- data/ext/gecode-2.1.1/gecode/iter/virtual-ranges-inter.icc +241 -0
- data/ext/gecode-2.1.1/gecode/iter/virtual-ranges-union.icc +249 -0
- data/ext/gecode-2.1.1/gecode/iter/virtual-ranges.icc +140 -0
- data/ext/gecode-2.1.1/gecode/kernel.hh +182 -0
- data/ext/gecode-2.1.1/gecode/kernel/advisor.icc +104 -0
- data/ext/gecode-2.1.1/gecode/kernel/array.icc +1232 -0
- data/ext/gecode-2.1.1/gecode/kernel/branching.icc +447 -0
- data/ext/gecode-2.1.1/gecode/kernel/core.cc +473 -0
- data/ext/gecode-2.1.1/gecode/kernel/core.icc +2295 -0
- data/ext/gecode-2.1.1/gecode/kernel/exception.icc +101 -0
- data/ext/gecode-2.1.1/gecode/kernel/macros.icc +117 -0
- data/ext/gecode-2.1.1/gecode/kernel/memory-manager.cc +57 -0
- data/ext/gecode-2.1.1/gecode/kernel/memory-manager.icc +458 -0
- data/ext/gecode-2.1.1/gecode/kernel/modevent.icc +69 -0
- data/ext/gecode-2.1.1/gecode/kernel/propagator.icc +845 -0
- data/ext/gecode-2.1.1/gecode/kernel/reflection.cc +921 -0
- data/ext/gecode-2.1.1/gecode/kernel/reflection.icc +1012 -0
- data/ext/gecode-2.1.1/gecode/kernel/shared-array.icc +286 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-imp.icc +433 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-map.cc +269 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-map.icc +227 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-traits.icc +72 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-type.cc +68 -0
- data/ext/gecode-2.1.1/gecode/kernel/var-type.icc +915 -0
- data/ext/gecode-2.1.1/gecode/kernel/var.icc +120 -0
- data/ext/gecode-2.1.1/gecode/kernel/view.icc +611 -0
- data/ext/gecode-2.1.1/gecode/minimodel.hh +1165 -0
- data/ext/gecode-2.1.1/gecode/minimodel/arithmetic.cc +179 -0
- data/ext/gecode-2.1.1/gecode/minimodel/bool-expr.cc +327 -0
- data/ext/gecode-2.1.1/gecode/minimodel/bool-expr.icc +131 -0
- data/ext/gecode-2.1.1/gecode/minimodel/bool-rel.icc +83 -0
- data/ext/gecode-2.1.1/gecode/minimodel/exception.icc +84 -0
- data/ext/gecode-2.1.1/gecode/minimodel/lin-expr.icc +374 -0
- data/ext/gecode-2.1.1/gecode/minimodel/lin-rel.icc +324 -0
- data/ext/gecode-2.1.1/gecode/minimodel/matrix.icc +144 -0
- data/ext/gecode-2.1.1/gecode/minimodel/reg.cc +823 -0
- data/ext/gecode-2.1.1/gecode/search.hh +752 -0
- data/ext/gecode-2.1.1/gecode/search/bab.cc +169 -0
- data/ext/gecode-2.1.1/gecode/search/bab.icc +117 -0
- data/ext/gecode-2.1.1/gecode/search/dfs.cc +79 -0
- data/ext/gecode-2.1.1/gecode/search/dfs.icc +169 -0
- data/ext/gecode-2.1.1/gecode/search/engine-ctrl.icc +131 -0
- data/ext/gecode-2.1.1/gecode/search/lds.cc +265 -0
- data/ext/gecode-2.1.1/gecode/search/lds.icc +73 -0
- data/ext/gecode-2.1.1/gecode/search/options.cc +46 -0
- data/ext/gecode-2.1.1/gecode/search/options.icc +46 -0
- data/ext/gecode-2.1.1/gecode/search/reco-stack.icc +237 -0
- data/ext/gecode-2.1.1/gecode/search/restart.icc +99 -0
- data/ext/gecode-2.1.1/gecode/search/statistics.icc +46 -0
- data/ext/gecode-2.1.1/gecode/search/stop.cc +74 -0
- data/ext/gecode-2.1.1/gecode/search/stop.icc +116 -0
- data/ext/gecode-2.1.1/gecode/serialization.hh +149 -0
- data/ext/gecode-2.1.1/gecode/serialization/boost.cc +78 -0
- data/ext/gecode-2.1.1/gecode/serialization/boost.icc +381 -0
- data/ext/gecode-2.1.1/gecode/serialization/flatzinc.cc +372 -0
- data/ext/gecode-2.1.1/gecode/serialization/javascript.cc +340 -0
- data/ext/gecode-2.1.1/gecode/serialization/javascript.hh +69 -0
- data/ext/gecode-2.1.1/gecode/serialization/register.cc +8142 -0
- data/ext/gecode-2.1.1/gecode/set.hh +970 -0
- data/ext/gecode-2.1.1/gecode/set/array.cc +114 -0
- data/ext/gecode-2.1.1/gecode/set/array.icc +77 -0
- data/ext/gecode-2.1.1/gecode/set/branch.cc +78 -0
- data/ext/gecode-2.1.1/gecode/set/branch.hh +213 -0
- data/ext/gecode-2.1.1/gecode/set/branch/select-val.icc +132 -0
- data/ext/gecode-2.1.1/gecode/set/branch/select-view.icc +148 -0
- data/ext/gecode-2.1.1/gecode/set/cardinality.cc +65 -0
- data/ext/gecode-2.1.1/gecode/set/convex.cc +59 -0
- data/ext/gecode-2.1.1/gecode/set/convex.hh +126 -0
- data/ext/gecode-2.1.1/gecode/set/convex/conv.cc +118 -0
- data/ext/gecode-2.1.1/gecode/set/convex/conv.icc +67 -0
- data/ext/gecode-2.1.1/gecode/set/convex/hull.cc +140 -0
- data/ext/gecode-2.1.1/gecode/set/convex/hull.icc +68 -0
- data/ext/gecode-2.1.1/gecode/set/distinct.cc +56 -0
- data/ext/gecode-2.1.1/gecode/set/distinct.hh +90 -0
- data/ext/gecode-2.1.1/gecode/set/distinct/atmostOne.cc +192 -0
- data/ext/gecode-2.1.1/gecode/set/distinct/atmostOne.icc +66 -0
- data/ext/gecode-2.1.1/gecode/set/dom.cc +232 -0
- data/ext/gecode-2.1.1/gecode/set/exception.icc +135 -0
- data/ext/gecode-2.1.1/gecode/set/int.cc +177 -0
- data/ext/gecode-2.1.1/gecode/set/int.hh +391 -0
- data/ext/gecode-2.1.1/gecode/set/int/card.icc +116 -0
- data/ext/gecode-2.1.1/gecode/set/int/channel-bool.icc +303 -0
- data/ext/gecode-2.1.1/gecode/set/int/channel-int.icc +174 -0
- data/ext/gecode-2.1.1/gecode/set/int/match.icc +224 -0
- data/ext/gecode-2.1.1/gecode/set/int/minmax.icc +228 -0
- data/ext/gecode-2.1.1/gecode/set/int/weights.icc +370 -0
- data/ext/gecode-2.1.1/gecode/set/limits.icc +62 -0
- data/ext/gecode-2.1.1/gecode/set/projectors-compiler.hh +164 -0
- data/ext/gecode-2.1.1/gecode/set/projectors.cc +143 -0
- data/ext/gecode-2.1.1/gecode/set/projectors.hh +438 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/compiler.cc +859 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/formula.cc +312 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/formula.icc +66 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/projector-set.cc +91 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/projector-set.icc +85 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/projector.cc +147 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/projector.icc +98 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/propagator.hh +168 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/propagator/card.icc +128 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/propagator/nary.icc +144 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.cc +100 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.icc +71 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/set-expr.cc +339 -0
- data/ext/gecode-2.1.1/gecode/set/projectors/set-expr.icc +237 -0
- data/ext/gecode-2.1.1/gecode/set/propagator.icc +125 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op-const.cc +332 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op.cc +197 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op.hh +353 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/common.icc +557 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/inter.icc +409 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/partition.icc +202 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/post.icc +223 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/subofunion.icc +192 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/superofinter.icc +193 -0
- data/ext/gecode-2.1.1/gecode/set/rel-op/union.icc +383 -0
- data/ext/gecode-2.1.1/gecode/set/rel.cc +258 -0
- data/ext/gecode-2.1.1/gecode/set/rel.hh +321 -0
- data/ext/gecode-2.1.1/gecode/set/rel/common.icc +125 -0
- data/ext/gecode-2.1.1/gecode/set/rel/eq.icc +139 -0
- data/ext/gecode-2.1.1/gecode/set/rel/nosubset.icc +128 -0
- data/ext/gecode-2.1.1/gecode/set/rel/nq.icc +208 -0
- data/ext/gecode-2.1.1/gecode/set/rel/re-eq.icc +179 -0
- data/ext/gecode-2.1.1/gecode/set/rel/re-subset.icc +172 -0
- data/ext/gecode-2.1.1/gecode/set/rel/subset.icc +119 -0
- data/ext/gecode-2.1.1/gecode/set/select.cc +135 -0
- data/ext/gecode-2.1.1/gecode/set/select.hh +233 -0
- data/ext/gecode-2.1.1/gecode/set/select/disjoint.cc +308 -0
- data/ext/gecode-2.1.1/gecode/set/select/disjoint.icc +75 -0
- data/ext/gecode-2.1.1/gecode/set/select/idxarray.hh +113 -0
- data/ext/gecode-2.1.1/gecode/set/select/idxarray.icc +155 -0
- data/ext/gecode-2.1.1/gecode/set/select/inter.icc +349 -0
- data/ext/gecode-2.1.1/gecode/set/select/union.icc +371 -0
- data/ext/gecode-2.1.1/gecode/set/select/unionConst.icc +334 -0
- data/ext/gecode-2.1.1/gecode/set/sequence.cc +69 -0
- data/ext/gecode-2.1.1/gecode/set/sequence.hh +134 -0
- data/ext/gecode-2.1.1/gecode/set/sequence/common.icc +99 -0
- data/ext/gecode-2.1.1/gecode/set/sequence/seq-u.cc +176 -0
- data/ext/gecode-2.1.1/gecode/set/sequence/seq-u.icc +79 -0
- data/ext/gecode-2.1.1/gecode/set/sequence/seq.cc +94 -0
- data/ext/gecode-2.1.1/gecode/set/sequence/seq.icc +69 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp.icc +737 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/delta.icc +78 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/integerset.cc +349 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/integerset.icc +484 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/iter.icc +63 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/set.cc +214 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/set.icc +532 -0
- data/ext/gecode-2.1.1/gecode/set/var-imp/set.vis +190 -0
- data/ext/gecode-2.1.1/gecode/set/var/set.cc +105 -0
- data/ext/gecode-2.1.1/gecode/set/var/set.icc +303 -0
- data/ext/gecode-2.1.1/gecode/set/view.icc +1503 -0
- data/ext/gecode-2.1.1/gecode/set/view/complement.icc +629 -0
- data/ext/gecode-2.1.1/gecode/set/view/const.icc +907 -0
- data/ext/gecode-2.1.1/gecode/set/view/offset.icc +497 -0
- data/ext/gecode-2.1.1/gecode/set/view/print.cc +141 -0
- data/ext/gecode-2.1.1/gecode/set/view/set.icc +275 -0
- data/ext/gecode-2.1.1/gecode/set/view/singleton.icc +438 -0
- data/ext/gecode-2.1.1/gecode/support.hh +110 -0
- data/ext/gecode-2.1.1/gecode/support/block-allocator.icc +158 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/AUTHORS +11 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/ChangeLog +218 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/NEWS +200 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/README +128 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bdd.h +939 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bddio.c +596 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bddop.c +2848 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bddtree.h +62 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bvec.c +1354 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/bvec.h +298 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/cache.c +104 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/cache.h +72 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/config.h +20 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/cppext.cc +626 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/fdd.c +1079 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/fdd.h +175 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/imatrix.c +151 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/imatrix.h +61 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/kernel.c +1555 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/kernel.h +244 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/pairs.c +336 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/prime.c +322 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/prime.h +50 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/reorder.c +2345 -0
- data/ext/gecode-2.1.1/gecode/support/buddy/tree.c +224 -0
- data/ext/gecode-2.1.1/gecode/support/cast.icc +52 -0
- data/ext/gecode-2.1.1/gecode/support/config.icc.in +80 -0
- data/ext/gecode-2.1.1/gecode/support/dynamic-array.icc +138 -0
- data/ext/gecode-2.1.1/gecode/support/dynamic-stack.icc +167 -0
- data/ext/gecode-2.1.1/gecode/support/exception.cc +65 -0
- data/ext/gecode-2.1.1/gecode/support/exception.icc +82 -0
- data/ext/gecode-2.1.1/gecode/support/macros.icc +103 -0
- data/ext/gecode-2.1.1/gecode/support/map.icc +207 -0
- data/ext/gecode-2.1.1/gecode/support/marked-pointer.icc +66 -0
- data/ext/gecode-2.1.1/gecode/support/memory.icc +220 -0
- data/ext/gecode-2.1.1/gecode/support/random.icc +121 -0
- data/ext/gecode-2.1.1/gecode/support/sentinel-stack.icc +122 -0
- data/ext/gecode-2.1.1/gecode/support/sort.icc +210 -0
- data/ext/gecode-2.1.1/gecode/support/static-pqueue.icc +242 -0
- data/ext/gecode-2.1.1/gecode/support/static-stack.icc +125 -0
- data/ext/gecode-2.1.1/gecode/support/symbol.cc +226 -0
- data/ext/gecode-2.1.1/gecode/support/symbol.icc +130 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/install-sh +0 -0
- data/ext/gecode-2.1.1/misc/AppleHelpbookInfo.plist +26 -0
- data/ext/gecode-2.1.1/misc/allexamples.perl +60 -0
- data/ext/gecode-2.1.1/misc/debian/Makefile.am +44 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/changelog +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/control +0 -0
- data/ext/gecode-2.1.1/misc/debian/copyright +30 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/gecode.info +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/gecode.install +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/gecode.spec +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/debian/rules +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/back.png +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/footer.html +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/gecode-logo-100.png +0 -0
- data/ext/{gecode-1.3.1 → gecode-2.1.1}/misc/doxygen/header.html +0 -0
- data/ext/gecode-2.1.1/misc/doxygen/stylesheet.css +464 -0
- data/ext/gecode-2.1.1/misc/fixproperties.sh +77 -0
- data/ext/gecode-2.1.1/misc/gecode-gist.pc.in +45 -0
- data/ext/gecode-2.1.1/misc/gecode-minimodel.pc.in +45 -0
- data/ext/gecode-2.1.1/misc/gecode-search.pc.in +45 -0
- data/ext/gecode-2.1.1/misc/gecode-serialization.pc.in +45 -0
- data/ext/gecode-2.1.1/misc/gecode.pc.in +45 -0
- data/ext/gecode-2.1.1/misc/genchangelog.perl +208 -0
- data/ext/gecode-2.1.1/misc/genlcovmakefile.perl +148 -0
- data/ext/gecode-2.1.1/misc/genlicense.perl +121 -0
- data/ext/gecode-2.1.1/misc/genregistry.perl +468 -0
- data/ext/gecode-2.1.1/misc/genstatistics.perl +178 -0
- data/ext/gecode-2.1.1/misc/gentxtchangelog.perl +192 -0
- data/ext/gecode-2.1.1/misc/genvariables.perl +905 -0
- data/ext/gecode-2.1.1/misc/getrevision.perl +47 -0
- data/ext/gecode-2.1.1/misc/makedepend.perl +85 -0
- data/ext/gecode-2.1.1/misc/svn-ignore.txt +15 -0
- data/ext/gecode-2.1.1/variables.vsl +50 -0
- data/ext/missing.cpp +1 -1
- data/ext/missing.h +1 -1
- data/ext/vararray.h +4 -4
- data/lib/gecoder/bindings.rb +21 -1
- data/lib/gecoder/bindings/bindings.rb +408 -731
- data/lib/gecoder/interface/binding_changes.rb +1 -1
- data/lib/gecoder/interface/branch.rb +25 -25
- data/lib/gecoder/interface/constraints.rb +47 -4
- data/lib/gecoder/interface/constraints/bool/boolean.rb +18 -16
- data/lib/gecoder/interface/constraints/bool_enum/boolean.rb +13 -11
- data/lib/gecoder/interface/constraints/int/arithmetic.rb +5 -4
- data/lib/gecoder/interface/constraints/int/domain.rb +8 -9
- data/lib/gecoder/interface/constraints/int/linear.rb +10 -8
- data/lib/gecoder/interface/constraints/int_enum/arithmetic.rb +4 -4
- data/lib/gecoder/interface/constraints/int_enum/channel.rb +2 -2
- data/lib/gecoder/interface/constraints/int_enum/count.rb +4 -5
- data/lib/gecoder/interface/constraints/int_enum/distinct.rb +7 -2
- data/lib/gecoder/interface/constraints/int_enum/element.rb +2 -2
- data/lib/gecoder/interface/constraints/int_enum/equality.rb +6 -3
- data/lib/gecoder/interface/constraints/int_enum/sort.rb +17 -5
- data/lib/gecoder/interface/constraints/set_enum/distinct.rb +0 -36
- data/lib/gecoder/interface/constraints/set_var_constraints.rb +5 -0
- data/lib/gecoder/interface/model.rb +3 -3
- data/lib/gecoder/interface/search.rb +5 -4
- data/lib/gecoder/version.rb +1 -1
- data/specs/branch.rb +27 -27
- data/specs/constraints/arithmetic.rb +48 -30
- data/specs/constraints/bool_enum.rb +39 -19
- data/specs/constraints/boolean.rb +10 -10
- data/specs/constraints/cardinality.rb +12 -9
- data/specs/constraints/channel.rb +6 -6
- data/specs/constraints/connection.rb +22 -26
- data/specs/constraints/constraint_helper.rb +125 -41
- data/specs/constraints/count.rb +22 -15
- data/specs/constraints/distinct.rb +10 -64
- data/specs/constraints/element.rb +14 -12
- data/specs/constraints/equality.rb +4 -4
- data/specs/constraints/int_domain.rb +8 -7
- data/specs/constraints/int_relation.rb +12 -8
- data/specs/constraints/linear.rb +4 -4
- data/specs/constraints/reification_sugar.rb +22 -4
- data/specs/constraints/selection.rb +2 -2
- data/specs/constraints/set_domain.rb +7 -3
- data/specs/constraints/set_operation.rb +2 -2
- data/specs/constraints/set_relation.rb +2 -6
- data/specs/constraints/sort.rb +20 -16
- data/specs/distribution.rb +14 -0
- data/specs/model.rb +4 -4
- data/tasks/dependencies.txt +21 -0
- data/tasks/distribution.rake +49 -14
- data/vendor/rust/include/rust_checks.hh +2 -1
- data/vendor/rust/include/rust_conversions.hh +2 -2
- data/vendor/rust/rust/attribute.rb +2 -2
- data/vendor/rust/rust/class.rb +2 -2
- data/vendor/rust/rust/cxxclass.rb +0 -2
- data/vendor/rust/rust/function.rb +2 -2
- data/vendor/rust/rust/templates/AttributeDefinition.rusttpl +1 -1
- data/vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl +1 -1
- data/vendor/rust/rust/templates/VariableFunctionCall.rusttpl +1 -1
- data/vendor/rust/rust/type.rb +1 -1
- metadata +599 -542
- data/ext/gecode-1.3.1/LICENSE +0 -34
- data/ext/gecode-1.3.1/Makefile.contribs +0 -71
- data/ext/gecode-1.3.1/Makefile.dep +0 -3928
- data/ext/gecode-1.3.1/Makefile.in +0 -966
- data/ext/gecode-1.3.1/changelog.in +0 -1065
- data/ext/gecode-1.3.1/configure +0 -8590
- data/ext/gecode-1.3.1/configure.ac +0 -179
- data/ext/gecode-1.3.1/configure.ac.in +0 -175
- data/ext/gecode-1.3.1/contribs/graph/INSTALL +0 -53
- data/ext/gecode-1.3.1/contribs/graph/LICENSE +0 -11
- data/ext/gecode-1.3.1/contribs/graph/Makefile +0 -167
- data/ext/gecode-1.3.1/contribs/graph/Makefile.in.in +0 -169
- data/ext/gecode-1.3.1/contribs/graph/TODO +0 -28
- data/ext/gecode-1.3.1/contribs/graph/binarysimple.hh +0 -82
- data/ext/gecode-1.3.1/contribs/graph/binarysimple.icc +0 -186
- data/ext/gecode-1.3.1/contribs/graph/branch/branch.icc +0 -257
- data/ext/gecode-1.3.1/contribs/graph/configure +0 -2160
- data/ext/gecode-1.3.1/contribs/graph/configure.ac +0 -33
- data/ext/gecode-1.3.1/contribs/graph/doxygen.conf +0 -1226
- data/ext/gecode-1.3.1/contribs/graph/doxygen.hh +0 -132
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-basic.cc +0 -94
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-complement.cc +0 -104
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-instUB.cc +0 -105
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-path.cc +0 -92
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-path2.cc +0 -273
- data/ext/gecode-1.3.1/contribs/graph/examples/cpgraph-pathcost.cc +0 -311
- data/ext/gecode-1.3.1/contribs/graph/examples/g1.txt +0 -1
- data/ext/gecode-1.3.1/contribs/graph/examples/g2.txt +0 -1
- data/ext/gecode-1.3.1/contribs/graph/graph.hh +0 -51
- data/ext/gecode-1.3.1/contribs/graph/graphutils.h +0 -46
- data/ext/gecode-1.3.1/contribs/graph/graphutils.icc +0 -140
- data/ext/gecode-1.3.1/contribs/graph/misc/doxygen/footer.html +0 -1
- data/ext/gecode-1.3.1/contribs/graph/path.hh +0 -116
- data/ext/gecode-1.3.1/contribs/graph/path.icc +0 -64
- data/ext/gecode-1.3.1/contribs/graph/path/path.icc +0 -139
- data/ext/gecode-1.3.1/contribs/graph/path/pathdegree.icc +0 -133
- data/ext/gecode-1.3.1/contribs/graph/path/pathgraphs.icc +0 -341
- data/ext/gecode-1.3.1/contribs/graph/shortdesc.ac +0 -1
- data/ext/gecode-1.3.1/contribs/graph/stlutility.icc +0 -105
- data/ext/gecode-1.3.1/contribs/graph/var.icc +0 -106
- data/ext/gecode-1.3.1/contribs/graph/view.icc +0 -373
- data/ext/gecode-1.3.1/contribs/graph/view/arcnode.cc +0 -162
- data/ext/gecode-1.3.1/contribs/graph/view/arcnode.hh +0 -78
- data/ext/gecode-1.3.1/contribs/graph/view/boundsgraphs.icc +0 -349
- data/ext/gecode-1.3.1/contribs/graph/view/constant.icc +0 -148
- data/ext/gecode-1.3.1/contribs/graph/view/iter.icc +0 -337
- data/ext/gecode-1.3.1/contribs/graph/view/nodearcsets.icc +0 -493
- data/ext/gecode-1.3.1/contribs/graph/view/nodeset.icc +0 -60
- data/ext/gecode-1.3.1/contribs/graph/view/outadjsets.icc +0 -600
- data/ext/gecode-1.3.1/contribs/graph/view/prop.icc +0 -135
- data/ext/gecode-1.3.1/contribs/map/COMPILING +0 -68
- data/ext/gecode-1.3.1/contribs/map/LICENSE +0 -11
- data/ext/gecode-1.3.1/contribs/map/Makefile.in.in +0 -173
- data/ext/gecode-1.3.1/contribs/map/configure +0 -2285
- data/ext/gecode-1.3.1/contribs/map/configure.ac +0 -32
- data/ext/gecode-1.3.1/contribs/map/constraints.hh +0 -46
- data/ext/gecode-1.3.1/contribs/map/constraints.icc +0 -84
- data/ext/gecode-1.3.1/contribs/map/doxygen.conf +0 -1229
- data/ext/gecode-1.3.1/contribs/map/doxygen.hh +0 -33
- data/ext/gecode-1.3.1/contribs/map/examples/approximateMatching.cc +0 -199
- data/ext/gecode-1.3.1/contribs/map/examples/g1.txt +0 -1
- data/ext/gecode-1.3.1/contribs/map/examples/g2.txt +0 -1
- data/ext/gecode-1.3.1/contribs/map/examples/graph-examples.tgz +0 -0
- data/ext/gecode-1.3.1/contribs/map/examples/isomorphism.cc +0 -148
- data/ext/gecode-1.3.1/contribs/map/examples/map +0 -0
- data/ext/gecode-1.3.1/contribs/map/examples/map.cc +0 -80
- data/ext/gecode-1.3.1/contribs/map/examples/subgraphmonomorphism.cc +0 -155
- data/ext/gecode-1.3.1/contribs/map/map.hh +0 -65
- data/ext/gecode-1.3.1/contribs/map/matching/mono.hh +0 -235
- data/ext/gecode-1.3.1/contribs/map/matching/mono.icc +0 -771
- data/ext/gecode-1.3.1/contribs/map/shortdesc.ac +0 -2
- data/ext/gecode-1.3.1/contribs/map/var.icc +0 -346
- data/ext/gecode-1.3.1/contribs/map/var/imp.cc +0 -42
- data/ext/gecode-1.3.1/contribs/map/var/imp.icc +0 -436
- data/ext/gecode-1.3.1/doxygen.conf.in +0 -1225
- data/ext/gecode-1.3.1/doxygen.hh.in +0 -877
- data/ext/gecode-1.3.1/examples/all-interval-sort.cc +0 -201
- data/ext/gecode-1.3.1/examples/all-interval.cc +0 -114
- data/ext/gecode-1.3.1/examples/alpha.cc +0 -112
- data/ext/gecode-1.3.1/examples/baseline.cc +0 -71
- data/ext/gecode-1.3.1/examples/bibd.cc +0 -173
- data/ext/gecode-1.3.1/examples/black-hole.cc +0 -281
- data/ext/gecode-1.3.1/examples/cars.cc +0 -165
- data/ext/gecode-1.3.1/examples/crew.cc +0 -220
- data/ext/gecode-1.3.1/examples/crowded-chess.cc +0 -312
- data/ext/gecode-1.3.1/examples/donald.cc +0 -93
- data/ext/gecode-1.3.1/examples/eq20.cc +0 -111
- data/ext/gecode-1.3.1/examples/golf.cc +0 -242
- data/ext/gecode-1.3.1/examples/golomb.cc +0 -141
- data/ext/gecode-1.3.1/examples/graph-color.cc +0 -371
- data/ext/gecode-1.3.1/examples/grocery.cc +0 -107
- data/ext/gecode-1.3.1/examples/hamming.cc +0 -107
- data/ext/gecode-1.3.1/examples/ind-set.cc +0 -130
- data/ext/gecode-1.3.1/examples/knights.cc +0 -146
- data/ext/gecode-1.3.1/examples/langfordnum.cc +0 -244
- data/ext/gecode-1.3.1/examples/magic-sequence-gcc.cc +0 -93
- data/ext/gecode-1.3.1/examples/magic-sequence.cc +0 -108
- data/ext/gecode-1.3.1/examples/magic-square.cc +0 -120
- data/ext/gecode-1.3.1/examples/money.cc +0 -92
- data/ext/gecode-1.3.1/examples/ortho-latin.cc +0 -156
- data/ext/gecode-1.3.1/examples/packing.cc +0 -211
- data/ext/gecode-1.3.1/examples/partition.cc +0 -126
- data/ext/gecode-1.3.1/examples/photo.cc +0 -155
- data/ext/gecode-1.3.1/examples/picture-puzzle.cc +0 -481
- data/ext/gecode-1.3.1/examples/queen-armies.cc +0 -240
- data/ext/gecode-1.3.1/examples/queens.cc +0 -99
- data/ext/gecode-1.3.1/examples/sports-league.cc +0 -454
- data/ext/gecode-1.3.1/examples/steiner.cc +0 -148
- data/ext/gecode-1.3.1/examples/stress-domain.cc +0 -86
- data/ext/gecode-1.3.1/examples/stress-element.cc +0 -95
- data/ext/gecode-1.3.1/examples/stress-exec.cc +0 -74
- data/ext/gecode-1.3.1/examples/stress-min.cc +0 -84
- data/ext/gecode-1.3.1/examples/stress-search.cc +0 -72
- data/ext/gecode-1.3.1/examples/sudoku-mixed.cc +0 -282
- data/ext/gecode-1.3.1/examples/sudoku-set.cc +0 -162
- data/ext/gecode-1.3.1/examples/sudoku.cc +0 -188
- data/ext/gecode-1.3.1/examples/sudoku.icc +0 -703
- data/ext/gecode-1.3.1/examples/support.cc +0 -160
- data/ext/gecode-1.3.1/examples/support.hh +0 -98
- data/ext/gecode-1.3.1/examples/support.icc +0 -187
- data/ext/gecode-1.3.1/examples/timer.cc +0 -47
- data/ext/gecode-1.3.1/examples/timer.hh +0 -72
- data/ext/gecode-1.3.1/examples/warehouses.cc +0 -176
- data/ext/gecode-1.3.1/extconf.rb +0 -8
- data/ext/gecode-1.3.1/gecode.m4 +0 -736
- data/ext/gecode-1.3.1/gecode/config.icc.in +0 -50
- data/ext/gecode-1.3.1/gecode/int.hh +0 -1426
- data/ext/gecode-1.3.1/gecode/int/arithmetic.cc +0 -87
- data/ext/gecode-1.3.1/gecode/int/arithmetic.hh +0 -292
- data/ext/gecode-1.3.1/gecode/int/arithmetic/abs.icc +0 -213
- data/ext/gecode-1.3.1/gecode/int/arithmetic/max.icc +0 -196
- data/ext/gecode-1.3.1/gecode/int/arithmetic/mult.icc +0 -478
- data/ext/gecode-1.3.1/gecode/int/array.cc +0 -61
- data/ext/gecode-1.3.1/gecode/int/array.icc +0 -264
- data/ext/gecode-1.3.1/gecode/int/bool.cc +0 -187
- data/ext/gecode-1.3.1/gecode/int/bool.hh +0 -255
- data/ext/gecode-1.3.1/gecode/int/bool/base.icc +0 -123
- data/ext/gecode-1.3.1/gecode/int/bool/eq.icc +0 -89
- data/ext/gecode-1.3.1/gecode/int/bool/eqv.icc +0 -132
- data/ext/gecode-1.3.1/gecode/int/bool/or.icc +0 -380
- data/ext/gecode-1.3.1/gecode/int/branch.cc +0 -81
- data/ext/gecode-1.3.1/gecode/int/branch.hh +0 -444
- data/ext/gecode-1.3.1/gecode/int/branch/assign.cc +0 -83
- data/ext/gecode-1.3.1/gecode/int/branch/assign.icc +0 -76
- data/ext/gecode-1.3.1/gecode/int/branch/select-val.icc +0 -104
- data/ext/gecode-1.3.1/gecode/int/branch/select-view.icc +0 -219
- data/ext/gecode-1.3.1/gecode/int/channel.cc +0 -62
- data/ext/gecode-1.3.1/gecode/int/channel.hh +0 -144
- data/ext/gecode-1.3.1/gecode/int/channel/base.icc +0 -60
- data/ext/gecode-1.3.1/gecode/int/channel/dom.icc +0 -313
- data/ext/gecode-1.3.1/gecode/int/channel/stack.icc +0 -59
- data/ext/gecode-1.3.1/gecode/int/channel/val.icc +0 -239
- data/ext/gecode-1.3.1/gecode/int/count.cc +0 -174
- data/ext/gecode-1.3.1/gecode/int/count.hh +0 -401
- data/ext/gecode-1.3.1/gecode/int/count/int.icc +0 -495
- data/ext/gecode-1.3.1/gecode/int/count/rel.icc +0 -100
- data/ext/gecode-1.3.1/gecode/int/count/view.icc +0 -332
- data/ext/gecode-1.3.1/gecode/int/cumulatives.cc +0 -210
- data/ext/gecode-1.3.1/gecode/int/cumulatives.hh +0 -118
- data/ext/gecode-1.3.1/gecode/int/cumulatives/val.icc +0 -377
- data/ext/gecode-1.3.1/gecode/int/distinct.cc +0 -77
- data/ext/gecode-1.3.1/gecode/int/distinct.hh +0 -272
- data/ext/gecode-1.3.1/gecode/int/distinct/bilink.icc +0 -73
- data/ext/gecode-1.3.1/gecode/int/distinct/bnd.icc +0 -335
- data/ext/gecode-1.3.1/gecode/int/distinct/combptr.icc +0 -62
- data/ext/gecode-1.3.1/gecode/int/distinct/dom.icc +0 -740
- data/ext/gecode-1.3.1/gecode/int/distinct/edge.icc +0 -96
- data/ext/gecode-1.3.1/gecode/int/distinct/node.icc +0 -107
- data/ext/gecode-1.3.1/gecode/int/distinct/ter-dom.icc +0 -97
- data/ext/gecode-1.3.1/gecode/int/distinct/val.icc +0 -171
- data/ext/gecode-1.3.1/gecode/int/dom.cc +0 -81
- data/ext/gecode-1.3.1/gecode/int/dom.hh +0 -101
- data/ext/gecode-1.3.1/gecode/int/dom/range.icc +0 -85
- data/ext/gecode-1.3.1/gecode/int/dom/spec.icc +0 -85
- data/ext/gecode-1.3.1/gecode/int/element.cc +0 -58
- data/ext/gecode-1.3.1/gecode/int/element.hh +0 -203
- data/ext/gecode-1.3.1/gecode/int/element/int.icc +0 -396
- data/ext/gecode-1.3.1/gecode/int/element/view.icc +0 -443
- data/ext/gecode-1.3.1/gecode/int/exception.icc +0 -137
- data/ext/gecode-1.3.1/gecode/int/gcc.cc +0 -708
- data/ext/gecode-1.3.1/gecode/int/gcc.hh +0 -338
- data/ext/gecode-1.3.1/gecode/int/gcc/bnd.icc +0 -629
- data/ext/gecode-1.3.1/gecode/int/gcc/dom.icc +0 -504
- data/ext/gecode-1.3.1/gecode/int/gcc/gccbndsup.icc +0 -760
- data/ext/gecode-1.3.1/gecode/int/gcc/graphsup.icc +0 -2375
- data/ext/gecode-1.3.1/gecode/int/gcc/lbc.icc +0 -375
- data/ext/gecode-1.3.1/gecode/int/gcc/occur.icc +0 -687
- data/ext/gecode-1.3.1/gecode/int/gcc/ubc.icc +0 -236
- data/ext/gecode-1.3.1/gecode/int/gcc/val.icc +0 -373
- data/ext/gecode-1.3.1/gecode/int/int-set.cc +0 -115
- data/ext/gecode-1.3.1/gecode/int/int-set.icc +0 -151
- data/ext/gecode-1.3.1/gecode/int/linear.cc +0 -247
- data/ext/gecode-1.3.1/gecode/int/linear.hh +0 -1056
- data/ext/gecode-1.3.1/gecode/int/linear/binary.icc +0 -439
- data/ext/gecode-1.3.1/gecode/int/linear/bool-int.icc +0 -422
- data/ext/gecode-1.3.1/gecode/int/linear/bool-view.icc +0 -311
- data/ext/gecode-1.3.1/gecode/int/linear/dom.icc +0 -503
- data/ext/gecode-1.3.1/gecode/int/linear/nary.icc +0 -857
- data/ext/gecode-1.3.1/gecode/int/linear/noview.icc +0 -264
- data/ext/gecode-1.3.1/gecode/int/linear/post.cc +0 -542
- data/ext/gecode-1.3.1/gecode/int/linear/ternary.icc +0 -255
- data/ext/gecode-1.3.1/gecode/int/propagator.icc +0 -194
- data/ext/gecode-1.3.1/gecode/int/regular.cc +0 -40
- data/ext/gecode-1.3.1/gecode/int/regular.hh +0 -83
- data/ext/gecode-1.3.1/gecode/int/regular/dfa.cc +0 -466
- data/ext/gecode-1.3.1/gecode/int/regular/dfa.icc +0 -172
- data/ext/gecode-1.3.1/gecode/int/regular/dom.icc +0 -480
- data/ext/gecode-1.3.1/gecode/int/regular/reg.cc +0 -738
- data/ext/gecode-1.3.1/gecode/int/rel.cc +0 -293
- data/ext/gecode-1.3.1/gecode/int/rel.hh +0 -526
- data/ext/gecode-1.3.1/gecode/int/rel/eq.icc +0 -640
- data/ext/gecode-1.3.1/gecode/int/rel/lex.icc +0 -212
- data/ext/gecode-1.3.1/gecode/int/rel/lq-le.icc +0 -246
- data/ext/gecode-1.3.1/gecode/int/rel/nq.icc +0 -188
- data/ext/gecode-1.3.1/gecode/int/sortedness.cc +0 -124
- data/ext/gecode-1.3.1/gecode/int/sortedness.hh +0 -108
- data/ext/gecode-1.3.1/gecode/int/sortedness/matching.icc +0 -177
- data/ext/gecode-1.3.1/gecode/int/sortedness/narrowing.icc +0 -243
- data/ext/gecode-1.3.1/gecode/int/sortedness/order.icc +0 -232
- data/ext/gecode-1.3.1/gecode/int/sortedness/sortedness.icc +0 -727
- data/ext/gecode-1.3.1/gecode/int/sortedness/sortsup.icc +0 -666
- data/ext/gecode-1.3.1/gecode/int/var-imp.vis +0 -198
- data/ext/gecode-1.3.1/gecode/int/var.icc +0 -590
- data/ext/gecode-1.3.1/gecode/int/var/bool.icc +0 -52
- data/ext/gecode-1.3.1/gecode/int/var/imp-body.icc +0 -65
- data/ext/gecode-1.3.1/gecode/int/var/imp-hdr.icc +0 -191
- data/ext/gecode-1.3.1/gecode/int/var/imp.cc +0 -361
- data/ext/gecode-1.3.1/gecode/int/var/imp.icc +0 -579
- data/ext/gecode-1.3.1/gecode/int/var/int.cc +0 -63
- data/ext/gecode-1.3.1/gecode/int/var/int.icc +0 -135
- data/ext/gecode-1.3.1/gecode/int/view.icc +0 -1219
- data/ext/gecode-1.3.1/gecode/int/view/bool.icc +0 -270
- data/ext/gecode-1.3.1/gecode/int/view/constint.icc +0 -306
- data/ext/gecode-1.3.1/gecode/int/view/int.icc +0 -221
- data/ext/gecode-1.3.1/gecode/int/view/iter.icc +0 -49
- data/ext/gecode-1.3.1/gecode/int/view/minus.icc +0 -285
- data/ext/gecode-1.3.1/gecode/int/view/offset.icc +0 -274
- data/ext/gecode-1.3.1/gecode/int/view/print.cc +0 -109
- data/ext/gecode-1.3.1/gecode/int/view/rtest.icc +0 -215
- data/ext/gecode-1.3.1/gecode/int/view/scale.icc +0 -373
- data/ext/gecode-1.3.1/gecode/iter.hh +0 -65
- data/ext/gecode-1.3.1/gecode/iter/ranges-add.icc +0 -130
- data/ext/gecode-1.3.1/gecode/iter/ranges-append.icc +0 -208
- data/ext/gecode-1.3.1/gecode/iter/ranges-array.icc +0 -123
- data/ext/gecode-1.3.1/gecode/iter/ranges-cache.icc +0 -143
- data/ext/gecode-1.3.1/gecode/iter/ranges-compl.icc +0 -206
- data/ext/gecode-1.3.1/gecode/iter/ranges-diff.icc +0 -127
- data/ext/gecode-1.3.1/gecode/iter/ranges-empty.icc +0 -96
- data/ext/gecode-1.3.1/gecode/iter/ranges-inter.icc +0 -202
- data/ext/gecode-1.3.1/gecode/iter/ranges-minmax.icc +0 -103
- data/ext/gecode-1.3.1/gecode/iter/ranges-minus.icc +0 -138
- data/ext/gecode-1.3.1/gecode/iter/ranges-offset.icc +0 -112
- data/ext/gecode-1.3.1/gecode/iter/ranges-operations.icc +0 -142
- data/ext/gecode-1.3.1/gecode/iter/ranges-scale.icc +0 -224
- data/ext/gecode-1.3.1/gecode/iter/ranges-singleton.icc +0 -71
- data/ext/gecode-1.3.1/gecode/iter/ranges-size.icc +0 -131
- data/ext/gecode-1.3.1/gecode/iter/ranges-union.icc +0 -211
- data/ext/gecode-1.3.1/gecode/iter/ranges-values.icc +0 -125
- data/ext/gecode-1.3.1/gecode/iter/values-ranges.icc +0 -91
- data/ext/gecode-1.3.1/gecode/iter/virtual-ranges-compl.icc +0 -247
- data/ext/gecode-1.3.1/gecode/iter/virtual-ranges-inter.icc +0 -227
- data/ext/gecode-1.3.1/gecode/iter/virtual-ranges-union.icc +0 -236
- data/ext/gecode-1.3.1/gecode/iter/virtual-ranges.icc +0 -126
- data/ext/gecode-1.3.1/gecode/kernel.hh +0 -141
- data/ext/gecode-1.3.1/gecode/kernel/array.icc +0 -954
- data/ext/gecode-1.3.1/gecode/kernel/branching.icc +0 -233
- data/ext/gecode-1.3.1/gecode/kernel/core.cc +0 -417
- data/ext/gecode-1.3.1/gecode/kernel/core.icc +0 -1681
- data/ext/gecode-1.3.1/gecode/kernel/exception.cc +0 -49
- data/ext/gecode-1.3.1/gecode/kernel/exception.icc +0 -104
- data/ext/gecode-1.3.1/gecode/kernel/macros.icc +0 -98
- data/ext/gecode-1.3.1/gecode/kernel/memory-manager.cc +0 -41
- data/ext/gecode-1.3.1/gecode/kernel/memory-manager.icc +0 -438
- data/ext/gecode-1.3.1/gecode/kernel/memory.icc +0 -205
- data/ext/gecode-1.3.1/gecode/kernel/modevent.icc +0 -53
- data/ext/gecode-1.3.1/gecode/kernel/propagator.icc +0 -680
- data/ext/gecode-1.3.1/gecode/kernel/view.icc +0 -583
- data/ext/gecode-1.3.1/gecode/limits.hh +0 -87
- data/ext/gecode-1.3.1/gecode/minimodel.hh +0 -942
- data/ext/gecode-1.3.1/gecode/minimodel/arithmetic.cc +0 -137
- data/ext/gecode-1.3.1/gecode/minimodel/bool-expr.cc +0 -207
- data/ext/gecode-1.3.1/gecode/minimodel/bool-expr.icc +0 -191
- data/ext/gecode-1.3.1/gecode/minimodel/bool-rel.icc +0 -66
- data/ext/gecode-1.3.1/gecode/minimodel/exception.icc +0 -59
- data/ext/gecode-1.3.1/gecode/minimodel/lin-expr.cc +0 -103
- data/ext/gecode-1.3.1/gecode/minimodel/lin-expr.icc +0 -192
- data/ext/gecode-1.3.1/gecode/minimodel/lin-rel.icc +0 -200
- data/ext/gecode-1.3.1/gecode/minimodel/matrix.icc +0 -118
- data/ext/gecode-1.3.1/gecode/minimodel/scheduling.cc +0 -241
- data/ext/gecode-1.3.1/gecode/search.hh +0 -745
- data/ext/gecode-1.3.1/gecode/search/bab.cc +0 -153
- data/ext/gecode-1.3.1/gecode/search/bab.icc +0 -101
- data/ext/gecode-1.3.1/gecode/search/dfs.cc +0 -63
- data/ext/gecode-1.3.1/gecode/search/dfs.icc +0 -144
- data/ext/gecode-1.3.1/gecode/search/engine-ctrl.icc +0 -109
- data/ext/gecode-1.3.1/gecode/search/lds.cc +0 -237
- data/ext/gecode-1.3.1/gecode/search/lds.icc +0 -57
- data/ext/gecode-1.3.1/gecode/search/reco-stack.icc +0 -219
- data/ext/gecode-1.3.1/gecode/search/restart.icc +0 -76
- data/ext/gecode-1.3.1/gecode/search/statistics.icc +0 -30
- data/ext/gecode-1.3.1/gecode/search/stop.cc +0 -58
- data/ext/gecode-1.3.1/gecode/search/stop.icc +0 -100
- data/ext/gecode-1.3.1/gecode/set.hh +0 -419
- data/ext/gecode-1.3.1/gecode/set/array.cc +0 -114
- data/ext/gecode-1.3.1/gecode/set/array.icc +0 -134
- data/ext/gecode-1.3.1/gecode/set/branch.cc +0 -57
- data/ext/gecode-1.3.1/gecode/set/branch.hh +0 -176
- data/ext/gecode-1.3.1/gecode/set/branch/select-val.icc +0 -72
- data/ext/gecode-1.3.1/gecode/set/branch/select-view.icc +0 -112
- data/ext/gecode-1.3.1/gecode/set/cardinality.cc +0 -49
- data/ext/gecode-1.3.1/gecode/set/convex.cc +0 -43
- data/ext/gecode-1.3.1/gecode/set/convex.hh +0 -92
- data/ext/gecode-1.3.1/gecode/set/convex/conv.cc +0 -81
- data/ext/gecode-1.3.1/gecode/set/convex/conv.icc +0 -51
- data/ext/gecode-1.3.1/gecode/set/convex/hull.cc +0 -100
- data/ext/gecode-1.3.1/gecode/set/convex/hull.icc +0 -52
- data/ext/gecode-1.3.1/gecode/set/distinct.cc +0 -48
- data/ext/gecode-1.3.1/gecode/set/distinct.hh +0 -97
- data/ext/gecode-1.3.1/gecode/set/distinct/atmostOne.cc +0 -151
- data/ext/gecode-1.3.1/gecode/set/distinct/atmostOne.icc +0 -50
- data/ext/gecode-1.3.1/gecode/set/distinct/binomial.cc +0 -46
- data/ext/gecode-1.3.1/gecode/set/distinct/binomial.icc +0 -157
- data/ext/gecode-1.3.1/gecode/set/distinct/distinct.cc +0 -124
- data/ext/gecode-1.3.1/gecode/set/distinct/distinct.icc +0 -58
- data/ext/gecode-1.3.1/gecode/set/dom.cc +0 -224
- data/ext/gecode-1.3.1/gecode/set/exception.icc +0 -132
- data/ext/gecode-1.3.1/gecode/set/int.cc +0 -139
- data/ext/gecode-1.3.1/gecode/set/int.hh +0 -226
- data/ext/gecode-1.3.1/gecode/set/int/card.cc +0 -61
- data/ext/gecode-1.3.1/gecode/set/int/card.icc +0 -54
- data/ext/gecode-1.3.1/gecode/set/int/channel.cc +0 -100
- data/ext/gecode-1.3.1/gecode/set/int/channel.icc +0 -75
- data/ext/gecode-1.3.1/gecode/set/int/match.cc +0 -148
- data/ext/gecode-1.3.1/gecode/set/int/match.icc +0 -67
- data/ext/gecode-1.3.1/gecode/set/int/minmax.cc +0 -109
- data/ext/gecode-1.3.1/gecode/set/int/minmax.icc +0 -63
- data/ext/gecode-1.3.1/gecode/set/int/weights.cc +0 -182
- data/ext/gecode-1.3.1/gecode/set/int/weights.icc +0 -174
- data/ext/gecode-1.3.1/gecode/set/projectors-compiler.hh +0 -148
- data/ext/gecode-1.3.1/gecode/set/projectors.cc +0 -109
- data/ext/gecode-1.3.1/gecode/set/projectors.hh +0 -319
- data/ext/gecode-1.3.1/gecode/set/projectors/compiler.cc +0 -841
- data/ext/gecode-1.3.1/gecode/set/projectors/projector-set.cc +0 -69
- data/ext/gecode-1.3.1/gecode/set/projectors/projector-set.icc +0 -66
- data/ext/gecode-1.3.1/gecode/set/projectors/projector.cc +0 -125
- data/ext/gecode-1.3.1/gecode/set/projectors/projector.icc +0 -79
- data/ext/gecode-1.3.1/gecode/set/projectors/propagator.hh +0 -127
- data/ext/gecode-1.3.1/gecode/set/projectors/propagator/card.icc +0 -96
- data/ext/gecode-1.3.1/gecode/set/projectors/propagator/nary.icc +0 -106
- data/ext/gecode-1.3.1/gecode/set/projectors/propagator/re-nary.cc +0 -76
- data/ext/gecode-1.3.1/gecode/set/projectors/propagator/re-nary.icc +0 -53
- data/ext/gecode-1.3.1/gecode/set/projectors/set-expr.cc +0 -306
- data/ext/gecode-1.3.1/gecode/set/projectors/set-expr.icc +0 -192
- data/ext/gecode-1.3.1/gecode/set/propagator.icc +0 -96
- data/ext/gecode-1.3.1/gecode/set/rel-op-const.cc +0 -233
- data/ext/gecode-1.3.1/gecode/set/rel-op.cc +0 -96
- data/ext/gecode-1.3.1/gecode/set/rel-op.hh +0 -267
- data/ext/gecode-1.3.1/gecode/set/rel-op/common.icc +0 -528
- data/ext/gecode-1.3.1/gecode/set/rel-op/inter.icc +0 -312
- data/ext/gecode-1.3.1/gecode/set/rel-op/partition.icc +0 -131
- data/ext/gecode-1.3.1/gecode/set/rel-op/post.icc +0 -198
- data/ext/gecode-1.3.1/gecode/set/rel-op/subofunion.icc +0 -150
- data/ext/gecode-1.3.1/gecode/set/rel-op/superofinter.icc +0 -151
- data/ext/gecode-1.3.1/gecode/set/rel-op/union.icc +0 -292
- data/ext/gecode-1.3.1/gecode/set/rel.cc +0 -201
- data/ext/gecode-1.3.1/gecode/set/rel.hh +0 -250
- data/ext/gecode-1.3.1/gecode/set/rel/common.icc +0 -109
- data/ext/gecode-1.3.1/gecode/set/rel/eq.icc +0 -101
- data/ext/gecode-1.3.1/gecode/set/rel/nosubset.icc +0 -88
- data/ext/gecode-1.3.1/gecode/set/rel/nq.icc +0 -132
- data/ext/gecode-1.3.1/gecode/set/rel/re-eq.icc +0 -142
- data/ext/gecode-1.3.1/gecode/set/rel/re-subset.icc +0 -121
- data/ext/gecode-1.3.1/gecode/set/rel/subset.icc +0 -80
- data/ext/gecode-1.3.1/gecode/set/select.cc +0 -88
- data/ext/gecode-1.3.1/gecode/set/select.hh +0 -113
- data/ext/gecode-1.3.1/gecode/set/select/disjoint.cc +0 -267
- data/ext/gecode-1.3.1/gecode/set/select/disjoint.icc +0 -59
- data/ext/gecode-1.3.1/gecode/set/select/idxarray.hh +0 -91
- data/ext/gecode-1.3.1/gecode/set/select/idxarray.icc +0 -112
- data/ext/gecode-1.3.1/gecode/set/select/inter.icc +0 -300
- data/ext/gecode-1.3.1/gecode/set/sequence.cc +0 -48
- data/ext/gecode-1.3.1/gecode/set/sequence.hh +0 -97
- data/ext/gecode-1.3.1/gecode/set/sequence/common.icc +0 -79
- data/ext/gecode-1.3.1/gecode/set/sequence/seq-u.cc +0 -83
- data/ext/gecode-1.3.1/gecode/set/sequence/seq-u.icc +0 -63
- data/ext/gecode-1.3.1/gecode/set/sequence/seq.cc +0 -61
- data/ext/gecode-1.3.1/gecode/set/sequence/seq.icc +0 -53
- data/ext/gecode-1.3.1/gecode/set/var-imp.vis +0 -205
- data/ext/gecode-1.3.1/gecode/set/var.icc +0 -1090
- data/ext/gecode-1.3.1/gecode/set/var/imp-body.icc +0 -192
- data/ext/gecode-1.3.1/gecode/set/var/imp-hdr.icc +0 -235
- data/ext/gecode-1.3.1/gecode/set/var/imp.cc +0 -127
- data/ext/gecode-1.3.1/gecode/set/var/imp.icc +0 -356
- data/ext/gecode-1.3.1/gecode/set/var/integerset.cc +0 -256
- data/ext/gecode-1.3.1/gecode/set/var/integerset.icc +0 -512
- data/ext/gecode-1.3.1/gecode/set/var/iter.icc +0 -47
- data/ext/gecode-1.3.1/gecode/set/var/set.cc +0 -99
- data/ext/gecode-1.3.1/gecode/set/var/set.icc +0 -282
- data/ext/gecode-1.3.1/gecode/set/view.icc +0 -1075
- data/ext/gecode-1.3.1/gecode/set/view/complement.icc +0 -525
- data/ext/gecode-1.3.1/gecode/set/view/const.icc +0 -651
- data/ext/gecode-1.3.1/gecode/set/view/print.cc +0 -120
- data/ext/gecode-1.3.1/gecode/set/view/set.icc +0 -217
- data/ext/gecode-1.3.1/gecode/set/view/singleton.icc +0 -348
- data/ext/gecode-1.3.1/gecode/support/block-allocator.hh +0 -152
- data/ext/gecode-1.3.1/gecode/support/dynamic-array.hh +0 -131
- data/ext/gecode-1.3.1/gecode/support/dynamic-stack.hh +0 -157
- data/ext/gecode-1.3.1/gecode/support/random.hh +0 -100
- data/ext/gecode-1.3.1/gecode/support/shared-array.hh +0 -255
- data/ext/gecode-1.3.1/gecode/support/sort.hh +0 -193
- data/ext/gecode-1.3.1/gecode/support/static-pqueue.hh +0 -240
- data/ext/gecode-1.3.1/gecode/support/static-stack.hh +0 -117
- data/ext/gecode-1.3.1/misc/debian/Makefile.am +0 -8
- data/ext/gecode-1.3.1/misc/debian/copyright +0 -44
- data/ext/gecode-1.3.1/misc/doxygen/stylesheet.css +0 -460
- data/ext/gecode-1.3.1/misc/fixproperties.sh +0 -32
- data/ext/gecode-1.3.1/misc/gecode-minimodel.pc.in +0 -12
- data/ext/gecode-1.3.1/misc/gecode-search.pc.in +0 -12
- data/ext/gecode-1.3.1/misc/gecode.pc.in +0 -12
- data/ext/gecode-1.3.1/misc/genchangelog.perl +0 -190
- data/ext/gecode-1.3.1/misc/genlicense.perl +0 -113
- data/ext/gecode-1.3.1/misc/genstatistics.perl +0 -155
- data/ext/gecode-1.3.1/misc/gentxtchangelog.perl +0 -170
- data/ext/gecode-1.3.1/misc/genvarimp.perl +0 -666
- data/ext/gecode-1.3.1/misc/getrevision.perl +0 -32
- data/ext/gecode-1.3.1/misc/makedepend.perl +0 -66
- data/ext/gecode-1.3.1/test/int.cc +0 -497
- data/ext/gecode-1.3.1/test/int.hh +0 -119
- data/ext/gecode-1.3.1/test/int/arithmetic.cc +0 -262
- data/ext/gecode-1.3.1/test/int/basic.cc +0 -42
- data/ext/gecode-1.3.1/test/int/bool.cc +0 -189
- data/ext/gecode-1.3.1/test/int/channel.cc +0 -79
- data/ext/gecode-1.3.1/test/int/count.cc +0 -264
- data/ext/gecode-1.3.1/test/int/distinct.cc +0 -121
- data/ext/gecode-1.3.1/test/int/dom.cc +0 -69
- data/ext/gecode-1.3.1/test/int/element.cc +0 -132
- data/ext/gecode-1.3.1/test/int/gcc.cc +0 -592
- data/ext/gecode-1.3.1/test/int/linear.cc +0 -315
- data/ext/gecode-1.3.1/test/int/minimodel.cc +0 -451
- data/ext/gecode-1.3.1/test/int/regular.cc +0 -105
- data/ext/gecode-1.3.1/test/int/rel.cc +0 -283
- data/ext/gecode-1.3.1/test/int/scheduling.cc +0 -259
- data/ext/gecode-1.3.1/test/int/sortedness.cc +0 -272
- data/ext/gecode-1.3.1/test/intset.cc +0 -40
- data/ext/gecode-1.3.1/test/log.cc +0 -515
- data/ext/gecode-1.3.1/test/log.hh +0 -68
- data/ext/gecode-1.3.1/test/set.cc +0 -542
- data/ext/gecode-1.3.1/test/set.hh +0 -152
- data/ext/gecode-1.3.1/test/set/convex.cc +0 -94
- data/ext/gecode-1.3.1/test/set/distinct.cc +0 -148
- data/ext/gecode-1.3.1/test/set/dom.cc +0 -67
- data/ext/gecode-1.3.1/test/set/int.cc +0 -249
- data/ext/gecode-1.3.1/test/set/projection.cc +0 -333
- data/ext/gecode-1.3.1/test/set/rel-op.cc +0 -662
- data/ext/gecode-1.3.1/test/set/rel.cc +0 -198
- data/ext/gecode-1.3.1/test/set/select.cc +0 -108
- data/ext/gecode-1.3.1/test/set/sequence.cc +0 -83
- data/ext/gecode-1.3.1/test/stress.cc +0 -93
- data/ext/gecode-1.3.1/test/stress.hh +0 -74
- data/ext/gecode-1.3.1/test/stress/distinct.cc +0 -70
- data/ext/gecode-1.3.1/test/stress/domain.cc +0 -69
- data/ext/gecode-1.3.1/test/stress/exec.cc +0 -60
- data/ext/gecode-1.3.1/test/stress/minsort.cc +0 -63
- data/ext/gecode-1.3.1/test/stress/regular.cc +0 -112
- data/ext/gecode-1.3.1/test/test.cc +0 -215
- data/ext/gecode-1.3.1/test/test.hh +0 -107
@@ -1,1225 +0,0 @@
|
|
1
|
-
# Doxyfile 1.4.2-20050421
|
2
|
-
|
3
|
-
# This file describes the settings to be used by the documentation system
|
4
|
-
# doxygen (www.doxygen.org) for a project
|
5
|
-
#
|
6
|
-
# All text after a hash (#) is considered a comment and will be ignored
|
7
|
-
# The format is:
|
8
|
-
# TAG = value [value, ...]
|
9
|
-
# For lists items can also be appended using:
|
10
|
-
# TAG += value [value, ...]
|
11
|
-
# Values that contain spaces should be placed between quotes (" ")
|
12
|
-
|
13
|
-
#---------------------------------------------------------------------------
|
14
|
-
# Project related configuration options
|
15
|
-
#---------------------------------------------------------------------------
|
16
|
-
|
17
|
-
# The PROJECT_NAME tag is a single word (or a sequence of words surrounded
|
18
|
-
# by quotes) that should identify the project.
|
19
|
-
|
20
|
-
PROJECT_NAME = Gecode
|
21
|
-
|
22
|
-
# The PROJECT_NUMBER tag can be used to enter a project or revision number.
|
23
|
-
# This could be handy for archiving the generated documentation or
|
24
|
-
# if some version control system is used.
|
25
|
-
|
26
|
-
PROJECT_NUMBER = @VERSION@
|
27
|
-
|
28
|
-
# The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute)
|
29
|
-
# base path where the generated documentation will be put.
|
30
|
-
# If a relative path is entered, it will be relative to the location
|
31
|
-
# where doxygen was started. If left blank the current directory will be used.
|
32
|
-
|
33
|
-
OUTPUT_DIRECTORY = doc
|
34
|
-
|
35
|
-
# If the CREATE_SUBDIRS tag is set to YES, then doxygen will create
|
36
|
-
# 4096 sub-directories (in 2 levels) under the output directory of each output
|
37
|
-
# format and will distribute the generated files over these directories.
|
38
|
-
# Enabling this option can be useful when feeding doxygen a huge amount of
|
39
|
-
# source files, where putting all generated files in the same directory would
|
40
|
-
# otherwise cause performance problems for the file system.
|
41
|
-
|
42
|
-
CREATE_SUBDIRS = NO
|
43
|
-
|
44
|
-
# The OUTPUT_LANGUAGE tag is used to specify the language in which all
|
45
|
-
# documentation generated by doxygen is written. Doxygen will use this
|
46
|
-
# information to generate all constant output in the proper language.
|
47
|
-
# The default language is English, other supported languages are:
|
48
|
-
# Brazilian, Catalan, Chinese, Chinese-Traditional, Croatian, Czech, Danish,
|
49
|
-
# Dutch, Finnish, French, German, Greek, Hungarian, Italian, Japanese,
|
50
|
-
# Japanese-en (Japanese with English messages), Korean, Korean-en, Norwegian,
|
51
|
-
# Polish, Portuguese, Romanian, Russian, Serbian, Slovak, Slovene, Spanish,
|
52
|
-
# Swedish, and Ukrainian.
|
53
|
-
|
54
|
-
OUTPUT_LANGUAGE = English
|
55
|
-
|
56
|
-
# This tag can be used to specify the encoding used in the generated output.
|
57
|
-
# The encoding is not always determined by the language that is chosen,
|
58
|
-
# but also whether or not the output is meant for Windows or non-Windows users.
|
59
|
-
# In case there is a difference, setting the USE_WINDOWS_ENCODING tag to YES
|
60
|
-
# forces the Windows encoding (this is the default for the Windows binary),
|
61
|
-
# whereas setting the tag to NO uses a Unix-style encoding (the default for
|
62
|
-
# all platforms other than Windows).
|
63
|
-
|
64
|
-
USE_WINDOWS_ENCODING = YES
|
65
|
-
|
66
|
-
# If the BRIEF_MEMBER_DESC tag is set to YES (the default) Doxygen will
|
67
|
-
# include brief member descriptions after the members that are listed in
|
68
|
-
# the file and class documentation (similar to JavaDoc).
|
69
|
-
# Set to NO to disable this.
|
70
|
-
|
71
|
-
BRIEF_MEMBER_DESC = YES
|
72
|
-
|
73
|
-
# If the REPEAT_BRIEF tag is set to YES (the default) Doxygen will prepend
|
74
|
-
# the brief description of a member or function before the detailed description.
|
75
|
-
# Note: if both HIDE_UNDOC_MEMBERS and BRIEF_MEMBER_DESC are set to NO, the
|
76
|
-
# brief descriptions will be completely suppressed.
|
77
|
-
|
78
|
-
REPEAT_BRIEF = YES
|
79
|
-
|
80
|
-
# This tag implements a quasi-intelligent brief description abbreviator
|
81
|
-
# that is used to form the text in various listings. Each string
|
82
|
-
# in this list, if found as the leading text of the brief description, will be
|
83
|
-
# stripped from the text and the result after processing the whole list, is
|
84
|
-
# used as the annotated text. Otherwise, the brief description is used as-is.
|
85
|
-
# If left blank, the following values are used ("$name" is automatically
|
86
|
-
# replaced with the name of the entity): "The $name class" "The $name widget"
|
87
|
-
# "The $name file" "is" "provides" "specifies" "contains"
|
88
|
-
# "represents" "a" "an" "the"
|
89
|
-
|
90
|
-
ABBREVIATE_BRIEF =
|
91
|
-
|
92
|
-
# If the ALWAYS_DETAILED_SEC and REPEAT_BRIEF tags are both set to YES then
|
93
|
-
# Doxygen will generate a detailed section even if there is only a brief
|
94
|
-
# description.
|
95
|
-
|
96
|
-
ALWAYS_DETAILED_SEC = NO
|
97
|
-
|
98
|
-
# If the INLINE_INHERITED_MEMB tag is set to YES, doxygen will show all
|
99
|
-
# inherited members of a class in the documentation of that class as if those
|
100
|
-
# members were ordinary class members. Constructors, destructors and assignment
|
101
|
-
# operators of the base classes will not be shown.
|
102
|
-
|
103
|
-
INLINE_INHERITED_MEMB = NO
|
104
|
-
|
105
|
-
# If the FULL_PATH_NAMES tag is set to YES then Doxygen will prepend the full
|
106
|
-
# path before files name in the file list and in the header files. If set
|
107
|
-
# to NO the shortest path that makes the file name unique will be used.
|
108
|
-
|
109
|
-
FULL_PATH_NAMES = YES
|
110
|
-
|
111
|
-
# If the FULL_PATH_NAMES tag is set to YES then the STRIP_FROM_PATH tag
|
112
|
-
# can be used to strip a user-defined part of the path. Stripping is
|
113
|
-
# only done if one of the specified strings matches the left-hand part of
|
114
|
-
# the path. The tag can be used to show relative paths in the file list.
|
115
|
-
# If left blank the directory from which doxygen is run is used as the
|
116
|
-
# path to strip.
|
117
|
-
|
118
|
-
STRIP_FROM_PATH =
|
119
|
-
|
120
|
-
# The STRIP_FROM_INC_PATH tag can be used to strip a user-defined part of
|
121
|
-
# the path mentioned in the documentation of a class, which tells
|
122
|
-
# the reader which header file to include in order to use a class.
|
123
|
-
# If left blank only the name of the header file containing the class
|
124
|
-
# definition is used. Otherwise one should specify the include paths that
|
125
|
-
# are normally passed to the compiler using the -I flag.
|
126
|
-
|
127
|
-
STRIP_FROM_INC_PATH =
|
128
|
-
|
129
|
-
# If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter
|
130
|
-
# (but less readable) file names. This can be useful is your file systems
|
131
|
-
# doesn't support long names like on DOS, Mac, or CD-ROM.
|
132
|
-
|
133
|
-
SHORT_NAMES = NO
|
134
|
-
|
135
|
-
# If the JAVADOC_AUTOBRIEF tag is set to YES then Doxygen
|
136
|
-
# will interpret the first line (until the first dot) of a JavaDoc-style
|
137
|
-
# comment as the brief description. If set to NO, the JavaDoc
|
138
|
-
# comments will behave just like the Qt-style comments (thus requiring an
|
139
|
-
# explicit @brief command for a brief description.
|
140
|
-
|
141
|
-
JAVADOC_AUTOBRIEF = NO
|
142
|
-
|
143
|
-
# The MULTILINE_CPP_IS_BRIEF tag can be set to YES to make Doxygen
|
144
|
-
# treat a multi-line C++ special comment block (i.e. a block of //! or ///
|
145
|
-
# comments) as a brief description. This used to be the default behaviour.
|
146
|
-
# The new default is to treat a multi-line C++ comment block as a detailed
|
147
|
-
# description. Set this tag to YES if you prefer the old behaviour instead.
|
148
|
-
|
149
|
-
MULTILINE_CPP_IS_BRIEF = YES
|
150
|
-
|
151
|
-
# If the DETAILS_AT_TOP tag is set to YES then Doxygen
|
152
|
-
# will output the detailed description near the top, like JavaDoc.
|
153
|
-
# If set to NO, the detailed description appears after the member
|
154
|
-
# documentation.
|
155
|
-
|
156
|
-
DETAILS_AT_TOP = YES
|
157
|
-
|
158
|
-
# If the INHERIT_DOCS tag is set to YES (the default) then an undocumented
|
159
|
-
# member inherits the documentation from any documented member that it
|
160
|
-
# re-implements.
|
161
|
-
|
162
|
-
INHERIT_DOCS = YES
|
163
|
-
|
164
|
-
# If member grouping is used in the documentation and the DISTRIBUTE_GROUP_DOC
|
165
|
-
# tag is set to YES, then doxygen will reuse the documentation of the first
|
166
|
-
# member in the group (if any) for the other members of the group. By default
|
167
|
-
# all members of a group must be documented explicitly.
|
168
|
-
|
169
|
-
DISTRIBUTE_GROUP_DOC = YES
|
170
|
-
|
171
|
-
# If the SEPARATE_MEMBER_PAGES tag is set to YES, then doxygen will produce
|
172
|
-
# a new page for each member. If set to NO, the documentation of a member will
|
173
|
-
# be part of the file/class/namespace that contains it.
|
174
|
-
|
175
|
-
SEPARATE_MEMBER_PAGES = NO
|
176
|
-
|
177
|
-
# The TAB_SIZE tag can be used to set the number of spaces in a tab.
|
178
|
-
# Doxygen uses this value to replace tabs by spaces in code fragments.
|
179
|
-
|
180
|
-
TAB_SIZE = 8
|
181
|
-
|
182
|
-
# This tag can be used to specify a number of aliases that acts
|
183
|
-
# as commands in the documentation. An alias has the form "name=value".
|
184
|
-
# For example adding "sideeffect=\par Side Effects:\n" will allow you to
|
185
|
-
# put the command \sideeffect (or @sideeffect) in the documentation, which
|
186
|
-
# will result in a user-defined paragraph with heading "Side Effects:".
|
187
|
-
# You can put \n's in the value part of an alias to insert newlines.
|
188
|
-
|
189
|
-
ALIASES =
|
190
|
-
|
191
|
-
# Set the OPTIMIZE_OUTPUT_FOR_C tag to YES if your project consists of C
|
192
|
-
# sources only. Doxygen will then generate output that is more tailored for C.
|
193
|
-
# For instance, some of the names that are used will be different. The list
|
194
|
-
# of all members will be omitted, etc.
|
195
|
-
|
196
|
-
OPTIMIZE_OUTPUT_FOR_C = NO
|
197
|
-
|
198
|
-
# Set the OPTIMIZE_OUTPUT_JAVA tag to YES if your project consists of Java sources
|
199
|
-
# only. Doxygen will then generate output that is more tailored for Java.
|
200
|
-
# For instance, namespaces will be presented as packages, qualified scopes
|
201
|
-
# will look different, etc.
|
202
|
-
|
203
|
-
OPTIMIZE_OUTPUT_JAVA = NO
|
204
|
-
|
205
|
-
# Set the SUBGROUPING tag to YES (the default) to allow class member groups of
|
206
|
-
# the same type (for instance a group of public functions) to be put as a
|
207
|
-
# subgroup of that type (e.g. under the Public Functions section). Set it to
|
208
|
-
# NO to prevent subgrouping. Alternatively, this can be done per class using
|
209
|
-
# the \nosubgrouping command.
|
210
|
-
|
211
|
-
SUBGROUPING = NO
|
212
|
-
|
213
|
-
#---------------------------------------------------------------------------
|
214
|
-
# Build related configuration options
|
215
|
-
#---------------------------------------------------------------------------
|
216
|
-
|
217
|
-
# If the EXTRACT_ALL tag is set to YES doxygen will assume all entities in
|
218
|
-
# documentation are documented, even if no documentation was available.
|
219
|
-
# Private class members and static file members will be hidden unless
|
220
|
-
# the EXTRACT_PRIVATE and EXTRACT_STATIC tags are set to YES
|
221
|
-
|
222
|
-
EXTRACT_ALL = YES
|
223
|
-
|
224
|
-
# If the EXTRACT_PRIVATE tag is set to YES all private members of a class
|
225
|
-
# will be included in the documentation.
|
226
|
-
|
227
|
-
EXTRACT_PRIVATE = NO
|
228
|
-
|
229
|
-
# If the EXTRACT_STATIC tag is set to YES all static members of a file
|
230
|
-
# will be included in the documentation.
|
231
|
-
|
232
|
-
EXTRACT_STATIC = NO
|
233
|
-
|
234
|
-
# If the EXTRACT_LOCAL_CLASSES tag is set to YES classes (and structs)
|
235
|
-
# defined locally in source files will be included in the documentation.
|
236
|
-
# If set to NO only classes defined in header files are included.
|
237
|
-
|
238
|
-
EXTRACT_LOCAL_CLASSES = YES
|
239
|
-
|
240
|
-
# This flag is only useful for Objective-C code. When set to YES local
|
241
|
-
# methods, which are defined in the implementation section but not in
|
242
|
-
# the interface are included in the documentation.
|
243
|
-
# If set to NO (the default) only methods in the interface are included.
|
244
|
-
|
245
|
-
EXTRACT_LOCAL_METHODS = YES
|
246
|
-
|
247
|
-
# If the HIDE_UNDOC_MEMBERS tag is set to YES, Doxygen will hide all
|
248
|
-
# undocumented members of documented classes, files or namespaces.
|
249
|
-
# If set to NO (the default) these members will be included in the
|
250
|
-
# various overviews, but no documentation section is generated.
|
251
|
-
# This option has no effect if EXTRACT_ALL is enabled.
|
252
|
-
|
253
|
-
HIDE_UNDOC_MEMBERS = YES
|
254
|
-
|
255
|
-
# If the HIDE_UNDOC_CLASSES tag is set to YES, Doxygen will hide all
|
256
|
-
# undocumented classes that are normally visible in the class hierarchy.
|
257
|
-
# If set to NO (the default) these classes will be included in the various
|
258
|
-
# overviews. This option has no effect if EXTRACT_ALL is enabled.
|
259
|
-
|
260
|
-
HIDE_UNDOC_CLASSES = YES
|
261
|
-
|
262
|
-
# If the HIDE_FRIEND_COMPOUNDS tag is set to YES, Doxygen will hide all
|
263
|
-
# friend (class|struct|union) declarations.
|
264
|
-
# If set to NO (the default) these declarations will be included in the
|
265
|
-
# documentation.
|
266
|
-
|
267
|
-
HIDE_FRIEND_COMPOUNDS = YES
|
268
|
-
|
269
|
-
# If the HIDE_IN_BODY_DOCS tag is set to YES, Doxygen will hide any
|
270
|
-
# documentation blocks found inside the body of a function.
|
271
|
-
# If set to NO (the default) these blocks will be appended to the
|
272
|
-
# function's detailed documentation block.
|
273
|
-
|
274
|
-
HIDE_IN_BODY_DOCS = NO
|
275
|
-
|
276
|
-
# The INTERNAL_DOCS tag determines if documentation
|
277
|
-
# that is typed after a \internal command is included. If the tag is set
|
278
|
-
# to NO (the default) then the documentation will be excluded.
|
279
|
-
# Set it to YES to include the internal documentation.
|
280
|
-
|
281
|
-
INTERNAL_DOCS = NO
|
282
|
-
|
283
|
-
# If the CASE_SENSE_NAMES tag is set to NO then Doxygen will only generate
|
284
|
-
# file names in lower-case letters. If set to YES upper-case letters are also
|
285
|
-
# allowed. This is useful if you have classes or files whose names only differ
|
286
|
-
# in case and if your file system supports case sensitive file names. Windows
|
287
|
-
# and Mac users are advised to set this option to NO.
|
288
|
-
|
289
|
-
CASE_SENSE_NAMES = YES
|
290
|
-
|
291
|
-
# If the HIDE_SCOPE_NAMES tag is set to NO (the default) then Doxygen
|
292
|
-
# will show members with their full class and namespace scopes in the
|
293
|
-
# documentation. If set to YES the scope will be hidden.
|
294
|
-
|
295
|
-
HIDE_SCOPE_NAMES = NO
|
296
|
-
|
297
|
-
# If the SHOW_INCLUDE_FILES tag is set to YES (the default) then Doxygen
|
298
|
-
# will put a list of the files that are included by a file in the documentation
|
299
|
-
# of that file.
|
300
|
-
|
301
|
-
SHOW_INCLUDE_FILES = YES
|
302
|
-
|
303
|
-
# If the INLINE_INFO tag is set to YES (the default) then a tag [inline]
|
304
|
-
# is inserted in the documentation for inline members.
|
305
|
-
|
306
|
-
INLINE_INFO = YES
|
307
|
-
|
308
|
-
# If the SORT_MEMBER_DOCS tag is set to YES (the default) then doxygen
|
309
|
-
# will sort the (detailed) documentation of file and class members
|
310
|
-
# alphabetically by member name. If set to NO the members will appear in
|
311
|
-
# declaration order.
|
312
|
-
|
313
|
-
SORT_MEMBER_DOCS = NO
|
314
|
-
|
315
|
-
# If the SORT_BRIEF_DOCS tag is set to YES then doxygen will sort the
|
316
|
-
# brief documentation of file, namespace and class members alphabetically
|
317
|
-
# by member name. If set to NO (the default) the members will appear in
|
318
|
-
# declaration order.
|
319
|
-
|
320
|
-
SORT_BRIEF_DOCS = NO
|
321
|
-
|
322
|
-
# If the SORT_BY_SCOPE_NAME tag is set to YES, the class list will be
|
323
|
-
# sorted by fully-qualified names, including namespaces. If set to
|
324
|
-
# NO (the default), the class list will be sorted only by class name,
|
325
|
-
# not including the namespace part.
|
326
|
-
# Note: This option is not very useful if HIDE_SCOPE_NAMES is set to YES.
|
327
|
-
# Note: This option applies only to the class list, not to the
|
328
|
-
# alphabetical list.
|
329
|
-
|
330
|
-
SORT_BY_SCOPE_NAME = YES
|
331
|
-
|
332
|
-
# The GENERATE_TODOLIST tag can be used to enable (YES) or
|
333
|
-
# disable (NO) the todo list. This list is created by putting \todo
|
334
|
-
# commands in the documentation.
|
335
|
-
|
336
|
-
GENERATE_TODOLIST = YES
|
337
|
-
|
338
|
-
# The GENERATE_TESTLIST tag can be used to enable (YES) or
|
339
|
-
# disable (NO) the test list. This list is created by putting \test
|
340
|
-
# commands in the documentation.
|
341
|
-
|
342
|
-
GENERATE_TESTLIST = YES
|
343
|
-
|
344
|
-
# The GENERATE_BUGLIST tag can be used to enable (YES) or
|
345
|
-
# disable (NO) the bug list. This list is created by putting \bug
|
346
|
-
# commands in the documentation.
|
347
|
-
|
348
|
-
GENERATE_BUGLIST = YES
|
349
|
-
|
350
|
-
# The GENERATE_DEPRECATEDLIST tag can be used to enable (YES) or
|
351
|
-
# disable (NO) the deprecated list. This list is created by putting
|
352
|
-
# \deprecated commands in the documentation.
|
353
|
-
|
354
|
-
GENERATE_DEPRECATEDLIST= YES
|
355
|
-
|
356
|
-
# The ENABLED_SECTIONS tag can be used to enable conditional
|
357
|
-
# documentation sections, marked by \if sectionname ... \endif.
|
358
|
-
|
359
|
-
ENABLED_SECTIONS =
|
360
|
-
|
361
|
-
# The MAX_INITIALIZER_LINES tag determines the maximum number of lines
|
362
|
-
# the initial value of a variable or define consists of for it to appear in
|
363
|
-
# the documentation. If the initializer consists of more lines than specified
|
364
|
-
# here it will be hidden. Use a value of 0 to hide initializers completely.
|
365
|
-
# The appearance of the initializer of individual variables and defines in the
|
366
|
-
# documentation can be controlled using \showinitializer or \hideinitializer
|
367
|
-
# command in the documentation regardless of this setting.
|
368
|
-
|
369
|
-
MAX_INITIALIZER_LINES = 30
|
370
|
-
|
371
|
-
# Set the SHOW_USED_FILES tag to NO to disable the list of files generated
|
372
|
-
# at the bottom of the documentation of classes and structs. If set to YES the
|
373
|
-
# list will mention the files that were used to generate the documentation.
|
374
|
-
|
375
|
-
SHOW_USED_FILES = YES
|
376
|
-
|
377
|
-
# If the sources in your project are distributed over multiple directories
|
378
|
-
# then setting the SHOW_DIRECTORIES tag to YES will show the directory hierarchy
|
379
|
-
# in the documentation.
|
380
|
-
|
381
|
-
SHOW_DIRECTORIES = YES
|
382
|
-
|
383
|
-
# The FILE_VERSION_FILTER tag can be used to specify a program or script that
|
384
|
-
# doxygen should invoke to get the current version for each file (typically from the
|
385
|
-
# version control system). Doxygen will invoke the program by executing (via
|
386
|
-
# popen()) the command <command> <input-file>, where <command> is the value of
|
387
|
-
# the FILE_VERSION_FILTER tag, and <input-file> is the name of an input file
|
388
|
-
# provided by doxygen. Whatever the progam writes to standard output
|
389
|
-
# is used as the file version. See the manual for examples.
|
390
|
-
|
391
|
-
FILE_VERSION_FILTER = @top_srcdir@/misc/getrevision.perl
|
392
|
-
|
393
|
-
#---------------------------------------------------------------------------
|
394
|
-
# configuration options related to warning and progress messages
|
395
|
-
#---------------------------------------------------------------------------
|
396
|
-
|
397
|
-
# The QUIET tag can be used to turn on/off the messages that are generated
|
398
|
-
# by doxygen. Possible values are YES and NO. If left blank NO is used.
|
399
|
-
|
400
|
-
QUIET = NO
|
401
|
-
|
402
|
-
# The WARNINGS tag can be used to turn on/off the warning messages that are
|
403
|
-
# generated by doxygen. Possible values are YES and NO. If left blank
|
404
|
-
# NO is used.
|
405
|
-
|
406
|
-
WARNINGS = YES
|
407
|
-
|
408
|
-
# If WARN_IF_UNDOCUMENTED is set to YES, then doxygen will generate warnings
|
409
|
-
# for undocumented members. If EXTRACT_ALL is set to YES then this flag will
|
410
|
-
# automatically be disabled.
|
411
|
-
|
412
|
-
WARN_IF_UNDOCUMENTED = NO
|
413
|
-
|
414
|
-
# If WARN_IF_DOC_ERROR is set to YES, doxygen will generate warnings for
|
415
|
-
# potential errors in the documentation, such as not documenting some
|
416
|
-
# parameters in a documented function, or documenting parameters that
|
417
|
-
# don't exist or using markup commands wrongly.
|
418
|
-
|
419
|
-
WARN_IF_DOC_ERROR = YES
|
420
|
-
|
421
|
-
# This WARN_NO_PARAMDOC option can be abled to get warnings for
|
422
|
-
# functions that are documented, but have no documentation for their parameters
|
423
|
-
# or return value. If set to NO (the default) doxygen will only warn about
|
424
|
-
# wrong or incomplete parameter documentation, but not about the absence of
|
425
|
-
# documentation.
|
426
|
-
|
427
|
-
WARN_NO_PARAMDOC = NO
|
428
|
-
|
429
|
-
# The WARN_FORMAT tag determines the format of the warning messages that
|
430
|
-
# doxygen can produce. The string should contain the $file, $line, and $text
|
431
|
-
# tags, which will be replaced by the file and line number from which the
|
432
|
-
# warning originated and the warning text. Optionally the format may contain
|
433
|
-
# $version, which will be replaced by the version of the file (if it could
|
434
|
-
# be obtained via FILE_VERSION_FILTER)
|
435
|
-
|
436
|
-
WARN_FORMAT = "$file:$line: $text"
|
437
|
-
|
438
|
-
# The WARN_LOGFILE tag can be used to specify a file to which warning
|
439
|
-
# and error messages should be written. If left blank the output is written
|
440
|
-
# to stderr.
|
441
|
-
|
442
|
-
WARN_LOGFILE = doxygen.log
|
443
|
-
|
444
|
-
#---------------------------------------------------------------------------
|
445
|
-
# configuration options related to the input files
|
446
|
-
#---------------------------------------------------------------------------
|
447
|
-
|
448
|
-
# The INPUT tag can be used to specify the files and/or directories that contain
|
449
|
-
# documented source files. You may enter file names like "myfile.cpp" or
|
450
|
-
# directories like "/usr/src/myproject". Separate the files or directories
|
451
|
-
# with spaces.
|
452
|
-
|
453
|
-
INPUT = . @top_srcdir@
|
454
|
-
|
455
|
-
# If the value of the INPUT tag contains directories, you can use the
|
456
|
-
# FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp
|
457
|
-
# and *.h) to filter out the source-files in the directories. If left
|
458
|
-
# blank the following patterns are tested:
|
459
|
-
# *.c *.cc *.cxx *.cpp *.c++ *.java *.ii *.ixx *.ipp *.i++ *.inl *.h *.hh *.hxx
|
460
|
-
# *.hpp *.h++ *.idl *.odl *.cs *.php *.php3 *.inc *.m *.mm
|
461
|
-
|
462
|
-
FILE_PATTERNS = *.hh \
|
463
|
-
*.cc \
|
464
|
-
*.icc
|
465
|
-
|
466
|
-
# The RECURSIVE tag can be used to turn specify whether or not subdirectories
|
467
|
-
# should be searched for input files as well. Possible values are YES and NO.
|
468
|
-
# If left blank NO is used.
|
469
|
-
|
470
|
-
RECURSIVE = YES
|
471
|
-
|
472
|
-
# The EXCLUDE tag can be used to specify files and/or directories that should
|
473
|
-
# excluded from the INPUT source files. This way you can easily exclude a
|
474
|
-
# subdirectory from a directory tree whose root is specified with the INPUT tag.
|
475
|
-
|
476
|
-
EXCLUDE = parallel.hh parallel test contribs
|
477
|
-
|
478
|
-
# The EXCLUDE_SYMLINKS tag can be used select whether or not files or
|
479
|
-
# directories that are symbolic links (a Unix filesystem feature) are excluded
|
480
|
-
# from the input.
|
481
|
-
|
482
|
-
EXCLUDE_SYMLINKS = NO
|
483
|
-
|
484
|
-
# If the value of the INPUT tag contains directories, you can use the
|
485
|
-
# EXCLUDE_PATTERNS tag to specify one or more wildcard patterns to exclude
|
486
|
-
# certain files from those directories.
|
487
|
-
|
488
|
-
EXCLUDE_PATTERNS =
|
489
|
-
|
490
|
-
# The EXAMPLE_PATH tag can be used to specify one or more files or
|
491
|
-
# directories that contain example code fragments that are included (see
|
492
|
-
# the \include command).
|
493
|
-
|
494
|
-
EXAMPLE_PATH =
|
495
|
-
|
496
|
-
# If the value of the EXAMPLE_PATH tag contains directories, you can use the
|
497
|
-
# EXAMPLE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp
|
498
|
-
# and *.h) to filter out the source-files in the directories. If left
|
499
|
-
# blank all files are included.
|
500
|
-
|
501
|
-
EXAMPLE_PATTERNS = *.cc
|
502
|
-
|
503
|
-
# If the EXAMPLE_RECURSIVE tag is set to YES then subdirectories will be
|
504
|
-
# searched for input files to be used with the \include or \dontinclude
|
505
|
-
# commands irrespective of the value of the RECURSIVE tag.
|
506
|
-
# Possible values are YES and NO. If left blank NO is used.
|
507
|
-
|
508
|
-
EXAMPLE_RECURSIVE = NO
|
509
|
-
|
510
|
-
# The IMAGE_PATH tag can be used to specify one or more files or
|
511
|
-
# directories that contain image that are included in the documentation (see
|
512
|
-
# the \image command).
|
513
|
-
|
514
|
-
IMAGE_PATH =
|
515
|
-
|
516
|
-
# The INPUT_FILTER tag can be used to specify a program that doxygen should
|
517
|
-
# invoke to filter for each input file. Doxygen will invoke the filter program
|
518
|
-
# by executing (via popen()) the command <filter> <input-file>, where <filter>
|
519
|
-
# is the value of the INPUT_FILTER tag, and <input-file> is the name of an
|
520
|
-
# input file. Doxygen will then use the output that the filter program writes
|
521
|
-
# to standard output. If FILTER_PATTERNS is specified, this tag will be
|
522
|
-
# ignored.
|
523
|
-
|
524
|
-
INPUT_FILTER =
|
525
|
-
|
526
|
-
# The FILTER_PATTERNS tag can be used to specify filters on a per file pattern
|
527
|
-
# basis. Doxygen will compare the file name with each pattern and apply the
|
528
|
-
# filter if there is a match. The filters are a list of the form:
|
529
|
-
# pattern=filter (like *.cpp=my_cpp_filter). See INPUT_FILTER for further
|
530
|
-
# info on how filters are used. If FILTER_PATTERNS is empty, INPUT_FILTER
|
531
|
-
# is applied to all files.
|
532
|
-
|
533
|
-
FILTER_PATTERNS =
|
534
|
-
|
535
|
-
# If the FILTER_SOURCE_FILES tag is set to YES, the input filter (if set using
|
536
|
-
# INPUT_FILTER) will be used to filter the input files when producing source
|
537
|
-
# files to browse (i.e. when SOURCE_BROWSER is set to YES).
|
538
|
-
|
539
|
-
FILTER_SOURCE_FILES = NO
|
540
|
-
|
541
|
-
#---------------------------------------------------------------------------
|
542
|
-
# configuration options related to source browsing
|
543
|
-
#---------------------------------------------------------------------------
|
544
|
-
|
545
|
-
# If the SOURCE_BROWSER tag is set to YES then a list of source files will
|
546
|
-
# be generated. Documented entities will be cross-referenced with these sources.
|
547
|
-
# Note: To get rid of all source code in the generated output, make sure also
|
548
|
-
# VERBATIM_HEADERS is set to NO.
|
549
|
-
|
550
|
-
SOURCE_BROWSER = YES
|
551
|
-
|
552
|
-
# Setting the INLINE_SOURCES tag to YES will include the body
|
553
|
-
# of functions and classes directly in the documentation.
|
554
|
-
|
555
|
-
INLINE_SOURCES = NO
|
556
|
-
|
557
|
-
# Setting the STRIP_CODE_COMMENTS tag to YES (the default) will instruct
|
558
|
-
# doxygen to hide any special comment blocks from generated source code
|
559
|
-
# fragments. Normal C and C++ comments will always remain visible.
|
560
|
-
|
561
|
-
STRIP_CODE_COMMENTS = YES
|
562
|
-
|
563
|
-
# If the REFERENCED_BY_RELATION tag is set to YES (the default)
|
564
|
-
# then for each documented function all documented
|
565
|
-
# functions referencing it will be listed.
|
566
|
-
|
567
|
-
REFERENCED_BY_RELATION = NO
|
568
|
-
|
569
|
-
# If the REFERENCES_RELATION tag is set to YES (the default)
|
570
|
-
# then for each documented function all documented entities
|
571
|
-
# called/used by that function will be listed.
|
572
|
-
|
573
|
-
REFERENCES_RELATION = NO
|
574
|
-
|
575
|
-
# If the VERBATIM_HEADERS tag is set to YES (the default) then Doxygen
|
576
|
-
# will generate a verbatim copy of the header file for each class for
|
577
|
-
# which an include is specified. Set to NO to disable this.
|
578
|
-
|
579
|
-
VERBATIM_HEADERS = YES
|
580
|
-
|
581
|
-
#---------------------------------------------------------------------------
|
582
|
-
# configuration options related to the alphabetical class index
|
583
|
-
#---------------------------------------------------------------------------
|
584
|
-
|
585
|
-
# If the ALPHABETICAL_INDEX tag is set to YES, an alphabetical index
|
586
|
-
# of all compounds will be generated. Enable this if the project
|
587
|
-
# contains a lot of classes, structs, unions or interfaces.
|
588
|
-
|
589
|
-
ALPHABETICAL_INDEX = YES
|
590
|
-
|
591
|
-
# If the alphabetical index is enabled (see ALPHABETICAL_INDEX) then
|
592
|
-
# the COLS_IN_ALPHA_INDEX tag can be used to specify the number of columns
|
593
|
-
# in which this list will be split (can be a number in the range [1..20])
|
594
|
-
|
595
|
-
COLS_IN_ALPHA_INDEX = 3
|
596
|
-
|
597
|
-
# In case all classes in a project start with a common prefix, all
|
598
|
-
# classes will be put under the same header in the alphabetical index.
|
599
|
-
# The IGNORE_PREFIX tag can be used to specify one or more prefixes that
|
600
|
-
# should be ignored while generating the index headers.
|
601
|
-
|
602
|
-
IGNORE_PREFIX =
|
603
|
-
|
604
|
-
#---------------------------------------------------------------------------
|
605
|
-
# configuration options related to the HTML output
|
606
|
-
#---------------------------------------------------------------------------
|
607
|
-
|
608
|
-
# If the GENERATE_HTML tag is set to YES (the default) Doxygen will
|
609
|
-
# generate HTML output.
|
610
|
-
|
611
|
-
GENERATE_HTML = YES
|
612
|
-
|
613
|
-
# The HTML_OUTPUT tag is used to specify where the HTML docs will be put.
|
614
|
-
# If a relative path is entered the value of OUTPUT_DIRECTORY will be
|
615
|
-
# put in front of it. If left blank `html' will be used as the default path.
|
616
|
-
|
617
|
-
HTML_OUTPUT = html
|
618
|
-
|
619
|
-
# The HTML_FILE_EXTENSION tag can be used to specify the file extension for
|
620
|
-
# each generated HTML page (for example: .htm,.php,.asp). If it is left blank
|
621
|
-
# doxygen will generate files with .html extension.
|
622
|
-
|
623
|
-
HTML_FILE_EXTENSION = .html
|
624
|
-
|
625
|
-
# The HTML_HEADER tag can be used to specify a personal HTML header for
|
626
|
-
# each generated HTML page. If it is left blank doxygen will generate a
|
627
|
-
# standard header.
|
628
|
-
|
629
|
-
HTML_HEADER = header.html
|
630
|
-
|
631
|
-
# The HTML_FOOTER tag can be used to specify a personal HTML footer for
|
632
|
-
# each generated HTML page. If it is left blank doxygen will generate a
|
633
|
-
# standard footer.
|
634
|
-
|
635
|
-
HTML_FOOTER = @top_srcdir@/misc/doxygen/footer.html
|
636
|
-
|
637
|
-
# The HTML_STYLESHEET tag can be used to specify a user-defined cascading
|
638
|
-
# style sheet that is used by each HTML page. It can be used to
|
639
|
-
# fine-tune the look of the HTML output. If the tag is left blank doxygen
|
640
|
-
# will generate a default style sheet. Note that doxygen will try to copy
|
641
|
-
# the style sheet file to the HTML output directory, so don't put your own
|
642
|
-
# stylesheet in the HTML output directory as well, or it will be erased!
|
643
|
-
|
644
|
-
HTML_STYLESHEET = @top_srcdir@/misc/doxygen/stylesheet.css
|
645
|
-
|
646
|
-
# If the HTML_ALIGN_MEMBERS tag is set to YES, the members of classes,
|
647
|
-
# files or namespaces will be aligned in HTML using tables. If set to
|
648
|
-
# NO a bullet list will be used.
|
649
|
-
|
650
|
-
HTML_ALIGN_MEMBERS = YES
|
651
|
-
|
652
|
-
# If the GENERATE_HTMLHELP tag is set to YES, additional index files
|
653
|
-
# will be generated that can be used as input for tools like the
|
654
|
-
# Microsoft HTML help workshop to generate a compressed HTML help file (.chm)
|
655
|
-
# of the generated HTML documentation.
|
656
|
-
|
657
|
-
GENERATE_HTMLHELP = NO
|
658
|
-
|
659
|
-
# If the GENERATE_HTMLHELP tag is set to YES, the CHM_FILE tag can
|
660
|
-
# be used to specify the file name of the resulting .chm file. You
|
661
|
-
# can add a path in front of the file if the result should not be
|
662
|
-
# written to the html output directory.
|
663
|
-
|
664
|
-
CHM_FILE = GecodeReference.chm
|
665
|
-
|
666
|
-
# If the GENERATE_HTMLHELP tag is set to YES, the HHC_LOCATION tag can
|
667
|
-
# be used to specify the location (absolute path including file name) of
|
668
|
-
# the HTML help compiler (hhc.exe). If non-empty doxygen will try to run
|
669
|
-
# the HTML help compiler on the generated index.hhp.
|
670
|
-
|
671
|
-
HHC_LOCATION = hhc.exe
|
672
|
-
|
673
|
-
# If the GENERATE_HTMLHELP tag is set to YES, the GENERATE_CHI flag
|
674
|
-
# controls if a separate .chi index file is generated (YES) or that
|
675
|
-
# it should be included in the master .chm file (NO).
|
676
|
-
|
677
|
-
GENERATE_CHI = NO
|
678
|
-
|
679
|
-
# If the GENERATE_HTMLHELP tag is set to YES, the BINARY_TOC flag
|
680
|
-
# controls whether a binary table of contents is generated (YES) or a
|
681
|
-
# normal table of contents (NO) in the .chm file.
|
682
|
-
|
683
|
-
BINARY_TOC = YES
|
684
|
-
|
685
|
-
# The TOC_EXPAND flag can be set to YES to add extra items for group members
|
686
|
-
# to the contents of the HTML help documentation and to the tree view.
|
687
|
-
|
688
|
-
TOC_EXPAND = YES
|
689
|
-
|
690
|
-
# The DISABLE_INDEX tag can be used to turn on/off the condensed index at
|
691
|
-
# top of each HTML page. The value NO (the default) enables the index and
|
692
|
-
# the value YES disables it.
|
693
|
-
|
694
|
-
DISABLE_INDEX = YES
|
695
|
-
|
696
|
-
# This tag can be used to set the number of enum values (range [1..20])
|
697
|
-
# that doxygen will group on one line in the generated HTML documentation.
|
698
|
-
|
699
|
-
ENUM_VALUES_PER_LINE = 4
|
700
|
-
|
701
|
-
# If the GENERATE_TREEVIEW tag is set to YES, a side panel will be
|
702
|
-
# generated containing a tree-like index structure (just like the one that
|
703
|
-
# is generated for HTML Help). For this to work a browser that supports
|
704
|
-
# JavaScript, DHTML, CSS and frames is required (for instance Mozilla 1.0+,
|
705
|
-
# Netscape 6.0+, Internet explorer 5.0+, or Konqueror). Windows users are
|
706
|
-
# probably better off using the HTML help feature.
|
707
|
-
|
708
|
-
GENERATE_TREEVIEW = NO
|
709
|
-
|
710
|
-
# If the treeview is enabled (see GENERATE_TREEVIEW) then this tag can be
|
711
|
-
# used to set the initial width (in pixels) of the frame in which the tree
|
712
|
-
# is shown.
|
713
|
-
|
714
|
-
TREEVIEW_WIDTH = 250
|
715
|
-
|
716
|
-
#---------------------------------------------------------------------------
|
717
|
-
# configuration options related to the LaTeX output
|
718
|
-
#---------------------------------------------------------------------------
|
719
|
-
|
720
|
-
# If the GENERATE_LATEX tag is set to YES (the default) Doxygen will
|
721
|
-
# generate Latex output.
|
722
|
-
|
723
|
-
GENERATE_LATEX = NO
|
724
|
-
|
725
|
-
# The LATEX_OUTPUT tag is used to specify where the LaTeX docs will be put.
|
726
|
-
# If a relative path is entered the value of OUTPUT_DIRECTORY will be
|
727
|
-
# put in front of it. If left blank `latex' will be used as the default path.
|
728
|
-
|
729
|
-
LATEX_OUTPUT = latex
|
730
|
-
|
731
|
-
# The LATEX_CMD_NAME tag can be used to specify the LaTeX command name to be
|
732
|
-
# invoked. If left blank `latex' will be used as the default command name.
|
733
|
-
|
734
|
-
LATEX_CMD_NAME = latex
|
735
|
-
|
736
|
-
# The MAKEINDEX_CMD_NAME tag can be used to specify the command name to
|
737
|
-
# generate index for LaTeX. If left blank `makeindex' will be used as the
|
738
|
-
# default command name.
|
739
|
-
|
740
|
-
MAKEINDEX_CMD_NAME = makeindex
|
741
|
-
|
742
|
-
# If the COMPACT_LATEX tag is set to YES Doxygen generates more compact
|
743
|
-
# LaTeX documents. This may be useful for small projects and may help to
|
744
|
-
# save some trees in general.
|
745
|
-
|
746
|
-
COMPACT_LATEX = NO
|
747
|
-
|
748
|
-
# The PAPER_TYPE tag can be used to set the paper type that is used
|
749
|
-
# by the printer. Possible values are: a4, a4wide, letter, legal and
|
750
|
-
# executive. If left blank a4wide will be used.
|
751
|
-
|
752
|
-
PAPER_TYPE = a4wide
|
753
|
-
|
754
|
-
# The EXTRA_PACKAGES tag can be to specify one or more names of LaTeX
|
755
|
-
# packages that should be included in the LaTeX output.
|
756
|
-
|
757
|
-
EXTRA_PACKAGES = amsmath
|
758
|
-
|
759
|
-
# The LATEX_HEADER tag can be used to specify a personal LaTeX header for
|
760
|
-
# the generated latex document. The header should contain everything until
|
761
|
-
# the first chapter. If it is left blank doxygen will generate a
|
762
|
-
# standard header. Notice: only use this tag if you know what you are doing!
|
763
|
-
|
764
|
-
LATEX_HEADER =
|
765
|
-
|
766
|
-
# If the PDF_HYPERLINKS tag is set to YES, the LaTeX that is generated
|
767
|
-
# is prepared for conversion to pdf (using ps2pdf). The pdf file will
|
768
|
-
# contain links (just like the HTML output) instead of page references
|
769
|
-
# This makes the output suitable for online browsing using a pdf viewer.
|
770
|
-
|
771
|
-
PDF_HYPERLINKS = YES
|
772
|
-
|
773
|
-
# If the USE_PDFLATEX tag is set to YES, pdflatex will be used instead of
|
774
|
-
# plain latex in the generated Makefile. Set this option to YES to get a
|
775
|
-
# higher quality PDF documentation.
|
776
|
-
|
777
|
-
USE_PDFLATEX = YES
|
778
|
-
|
779
|
-
# If the LATEX_BATCHMODE tag is set to YES, doxygen will add the \\batchmode.
|
780
|
-
# command to the generated LaTeX files. This will instruct LaTeX to keep
|
781
|
-
# running if errors occur, instead of asking the user for help.
|
782
|
-
# This option is also used when generating formulas in HTML.
|
783
|
-
|
784
|
-
LATEX_BATCHMODE = NO
|
785
|
-
|
786
|
-
# If LATEX_HIDE_INDICES is set to YES then doxygen will not
|
787
|
-
# include the index chapters (such as File Index, Compound Index, etc.)
|
788
|
-
# in the output.
|
789
|
-
|
790
|
-
LATEX_HIDE_INDICES = NO
|
791
|
-
|
792
|
-
#---------------------------------------------------------------------------
|
793
|
-
# configuration options related to the RTF output
|
794
|
-
#---------------------------------------------------------------------------
|
795
|
-
|
796
|
-
# If the GENERATE_RTF tag is set to YES Doxygen will generate RTF output
|
797
|
-
# The RTF output is optimized for Word 97 and may not look very pretty with
|
798
|
-
# other RTF readers or editors.
|
799
|
-
|
800
|
-
GENERATE_RTF = NO
|
801
|
-
|
802
|
-
# The RTF_OUTPUT tag is used to specify where the RTF docs will be put.
|
803
|
-
# If a relative path is entered the value of OUTPUT_DIRECTORY will be
|
804
|
-
# put in front of it. If left blank `rtf' will be used as the default path.
|
805
|
-
|
806
|
-
RTF_OUTPUT = rtf
|
807
|
-
|
808
|
-
# If the COMPACT_RTF tag is set to YES Doxygen generates more compact
|
809
|
-
# RTF documents. This may be useful for small projects and may help to
|
810
|
-
# save some trees in general.
|
811
|
-
|
812
|
-
COMPACT_RTF = NO
|
813
|
-
|
814
|
-
# If the RTF_HYPERLINKS tag is set to YES, the RTF that is generated
|
815
|
-
# will contain hyperlink fields. The RTF file will
|
816
|
-
# contain links (just like the HTML output) instead of page references.
|
817
|
-
# This makes the output suitable for online browsing using WORD or other
|
818
|
-
# programs which support those fields.
|
819
|
-
# Note: wordpad (write) and others do not support links.
|
820
|
-
|
821
|
-
RTF_HYPERLINKS = NO
|
822
|
-
|
823
|
-
# Load stylesheet definitions from file. Syntax is similar to doxygen's
|
824
|
-
# config file, i.e. a series of assignments. You only have to provide
|
825
|
-
# replacements, missing definitions are set to their default value.
|
826
|
-
|
827
|
-
RTF_STYLESHEET_FILE =
|
828
|
-
|
829
|
-
# Set optional variables used in the generation of an rtf document.
|
830
|
-
# Syntax is similar to doxygen's config file.
|
831
|
-
|
832
|
-
RTF_EXTENSIONS_FILE =
|
833
|
-
|
834
|
-
#---------------------------------------------------------------------------
|
835
|
-
# configuration options related to the man page output
|
836
|
-
#---------------------------------------------------------------------------
|
837
|
-
|
838
|
-
# If the GENERATE_MAN tag is set to YES (the default) Doxygen will
|
839
|
-
# generate man pages
|
840
|
-
|
841
|
-
GENERATE_MAN = NO
|
842
|
-
|
843
|
-
# The MAN_OUTPUT tag is used to specify where the man pages will be put.
|
844
|
-
# If a relative path is entered the value of OUTPUT_DIRECTORY will be
|
845
|
-
# put in front of it. If left blank `man' will be used as the default path.
|
846
|
-
|
847
|
-
MAN_OUTPUT = man
|
848
|
-
|
849
|
-
# The MAN_EXTENSION tag determines the extension that is added to
|
850
|
-
# the generated man pages (default is the subroutine's section .3)
|
851
|
-
|
852
|
-
MAN_EXTENSION = .3
|
853
|
-
|
854
|
-
# If the MAN_LINKS tag is set to YES and Doxygen generates man output,
|
855
|
-
# then it will generate one additional man file for each entity
|
856
|
-
# documented in the real man page(s). These additional files
|
857
|
-
# only source the real man page, but without them the man command
|
858
|
-
# would be unable to find the correct page. The default is NO.
|
859
|
-
|
860
|
-
MAN_LINKS = NO
|
861
|
-
|
862
|
-
#---------------------------------------------------------------------------
|
863
|
-
# configuration options related to the XML output
|
864
|
-
#---------------------------------------------------------------------------
|
865
|
-
|
866
|
-
# If the GENERATE_XML tag is set to YES Doxygen will
|
867
|
-
# generate an XML file that captures the structure of
|
868
|
-
# the code including all documentation.
|
869
|
-
|
870
|
-
GENERATE_XML = NO
|
871
|
-
|
872
|
-
# The XML_OUTPUT tag is used to specify where the XML pages will be put.
|
873
|
-
# If a relative path is entered the value of OUTPUT_DIRECTORY will be
|
874
|
-
# put in front of it. If left blank `xml' will be used as the default path.
|
875
|
-
|
876
|
-
XML_OUTPUT = xml
|
877
|
-
|
878
|
-
# The XML_SCHEMA tag can be used to specify an XML schema,
|
879
|
-
# which can be used by a validating XML parser to check the
|
880
|
-
# syntax of the XML files.
|
881
|
-
|
882
|
-
XML_SCHEMA =
|
883
|
-
|
884
|
-
# The XML_DTD tag can be used to specify an XML DTD,
|
885
|
-
# which can be used by a validating XML parser to check the
|
886
|
-
# syntax of the XML files.
|
887
|
-
|
888
|
-
XML_DTD =
|
889
|
-
|
890
|
-
# If the XML_PROGRAMLISTING tag is set to YES Doxygen will
|
891
|
-
# dump the program listings (including syntax highlighting
|
892
|
-
# and cross-referencing information) to the XML output. Note that
|
893
|
-
# enabling this will significantly increase the size of the XML output.
|
894
|
-
|
895
|
-
XML_PROGRAMLISTING = YES
|
896
|
-
|
897
|
-
#---------------------------------------------------------------------------
|
898
|
-
# configuration options for the AutoGen Definitions output
|
899
|
-
#---------------------------------------------------------------------------
|
900
|
-
|
901
|
-
# If the GENERATE_AUTOGEN_DEF tag is set to YES Doxygen will
|
902
|
-
# generate an AutoGen Definitions (see autogen.sf.net) file
|
903
|
-
# that captures the structure of the code including all
|
904
|
-
# documentation. Note that this feature is still experimental
|
905
|
-
# and incomplete at the moment.
|
906
|
-
|
907
|
-
GENERATE_AUTOGEN_DEF = NO
|
908
|
-
|
909
|
-
#---------------------------------------------------------------------------
|
910
|
-
# configuration options related to the Perl module output
|
911
|
-
#---------------------------------------------------------------------------
|
912
|
-
|
913
|
-
# If the GENERATE_PERLMOD tag is set to YES Doxygen will
|
914
|
-
# generate a Perl module file that captures the structure of
|
915
|
-
# the code including all documentation. Note that this
|
916
|
-
# feature is still experimental and incomplete at the
|
917
|
-
# moment.
|
918
|
-
|
919
|
-
GENERATE_PERLMOD = NO
|
920
|
-
|
921
|
-
# If the PERLMOD_LATEX tag is set to YES Doxygen will generate
|
922
|
-
# the necessary Makefile rules, Perl scripts and LaTeX code to be able
|
923
|
-
# to generate PDF and DVI output from the Perl module output.
|
924
|
-
|
925
|
-
PERLMOD_LATEX = NO
|
926
|
-
|
927
|
-
# If the PERLMOD_PRETTY tag is set to YES the Perl module output will be
|
928
|
-
# nicely formatted so it can be parsed by a human reader. This is useful
|
929
|
-
# if you want to understand what is going on. On the other hand, if this
|
930
|
-
# tag is set to NO the size of the Perl module output will be much smaller
|
931
|
-
# and Perl will parse it just the same.
|
932
|
-
|
933
|
-
PERLMOD_PRETTY = YES
|
934
|
-
|
935
|
-
# The names of the make variables in the generated doxyrules.make file
|
936
|
-
# are prefixed with the string contained in PERLMOD_MAKEVAR_PREFIX.
|
937
|
-
# This is useful so different doxyrules.make files included by the same
|
938
|
-
# Makefile don't overwrite each other's variables.
|
939
|
-
|
940
|
-
PERLMOD_MAKEVAR_PREFIX =
|
941
|
-
|
942
|
-
#---------------------------------------------------------------------------
|
943
|
-
# Configuration options related to the preprocessor
|
944
|
-
#---------------------------------------------------------------------------
|
945
|
-
|
946
|
-
# If the ENABLE_PREPROCESSING tag is set to YES (the default) Doxygen will
|
947
|
-
# evaluate all C-preprocessor directives found in the sources and include
|
948
|
-
# files.
|
949
|
-
|
950
|
-
ENABLE_PREPROCESSING = YES
|
951
|
-
|
952
|
-
# If the MACRO_EXPANSION tag is set to YES Doxygen will expand all macro
|
953
|
-
# names in the source code. If set to NO (the default) only conditional
|
954
|
-
# compilation will be performed. Macro expansion can be done in a controlled
|
955
|
-
# way by setting EXPAND_ONLY_PREDEF to YES.
|
956
|
-
|
957
|
-
MACRO_EXPANSION = YES
|
958
|
-
|
959
|
-
# If the EXPAND_ONLY_PREDEF and MACRO_EXPANSION tags are both set to YES
|
960
|
-
# then the macro expansion is limited to the macros specified with the
|
961
|
-
# PREDEFINED and EXPAND_AS_PREDEFINED tags.
|
962
|
-
|
963
|
-
EXPAND_ONLY_PREDEF = YES
|
964
|
-
|
965
|
-
# If the SEARCH_INCLUDES tag is set to YES (the default) the includes files
|
966
|
-
# in the INCLUDE_PATH (see below) will be search if a #include is found.
|
967
|
-
|
968
|
-
SEARCH_INCLUDES = YES
|
969
|
-
|
970
|
-
# The INCLUDE_PATH tag can be used to specify one or more directories that
|
971
|
-
# contain include files that are not input files but should be processed by
|
972
|
-
# the preprocessor.
|
973
|
-
|
974
|
-
INCLUDE_PATH =
|
975
|
-
|
976
|
-
# You can use the INCLUDE_FILE_PATTERNS tag to specify one or more wildcard
|
977
|
-
# patterns (like *.h and *.hpp) to filter out the header-files in the
|
978
|
-
# directories. If left blank, the patterns specified with FILE_PATTERNS will
|
979
|
-
# be used.
|
980
|
-
|
981
|
-
INCLUDE_FILE_PATTERNS =
|
982
|
-
|
983
|
-
# The PREDEFINED tag can be used to specify one or more macro names that
|
984
|
-
# are defined before the preprocessor is started (similar to the -D option of
|
985
|
-
# gcc). The argument of the tag is a list of macros of the form: name
|
986
|
-
# or name=definition (no spaces). If the definition and the = are
|
987
|
-
# omitted =1 is assumed. To prevent a macro definition from being
|
988
|
-
# undefined via #undef or recursively expanded use the := operator
|
989
|
-
# instead of the = operator.
|
990
|
-
|
991
|
-
PREDEFINED = "GECODE_SET_EXPORT=" \
|
992
|
-
"GECODE_INT_EXPORT=" \
|
993
|
-
"GECODE_KERNEL_EXPORT=" \
|
994
|
-
"GECODE_SEARCH_EXPORT=" \
|
995
|
-
"GECODE_MINIMODEL_EXPORT=" \
|
996
|
-
"forceinline=inline"
|
997
|
-
|
998
|
-
# If the MACRO_EXPANSION and EXPAND_ONLY_PREDEF tags are set to YES then
|
999
|
-
# this tag can be used to specify a list of macro names that should be expanded.
|
1000
|
-
# The macro definition that is found in the sources will be used.
|
1001
|
-
# Use the PREDEFINED tag if you want to use a different macro definition.
|
1002
|
-
|
1003
|
-
EXPAND_AS_DEFINED =
|
1004
|
-
|
1005
|
-
# If the SKIP_FUNCTION_MACROS tag is set to YES (the default) then
|
1006
|
-
# doxygen's preprocessor will remove all function-like macros that are alone
|
1007
|
-
# on a line, have an all uppercase name, and do not end with a semicolon. Such
|
1008
|
-
# function macros are typically used for boiler-plate code, and will confuse
|
1009
|
-
# the parser if not removed.
|
1010
|
-
|
1011
|
-
SKIP_FUNCTION_MACROS = YES
|
1012
|
-
|
1013
|
-
#---------------------------------------------------------------------------
|
1014
|
-
# Configuration::additions related to external references
|
1015
|
-
#---------------------------------------------------------------------------
|
1016
|
-
|
1017
|
-
# The TAGFILES option can be used to specify one or more tagfiles.
|
1018
|
-
# Optionally an initial location of the external documentation
|
1019
|
-
# can be added for each tagfile. The format of a tag file without
|
1020
|
-
# this location is as follows:
|
1021
|
-
# TAGFILES = file1 file2 ...
|
1022
|
-
# Adding location for the tag files is done as follows:
|
1023
|
-
# TAGFILES = file1=loc1 "file2 = loc2" ...
|
1024
|
-
# where "loc1" and "loc2" can be relative or absolute paths or
|
1025
|
-
# URLs. If a location is present for each tag, the installdox tool
|
1026
|
-
# does not have to be run to correct the links.
|
1027
|
-
# Note that each tag file must have a unique name
|
1028
|
-
# (where the name does NOT include the path)
|
1029
|
-
# If a tag file is not located in the directory in which doxygen
|
1030
|
-
# is run, you must also specify the path to the tagfile here.
|
1031
|
-
|
1032
|
-
TAGFILES =
|
1033
|
-
|
1034
|
-
# When a file name is specified after GENERATE_TAGFILE, doxygen will create
|
1035
|
-
# a tag file that is based on the input files it reads.
|
1036
|
-
|
1037
|
-
GENERATE_TAGFILE = @GECODE_DOXYGEN_TAGFILE@
|
1038
|
-
|
1039
|
-
# If the ALLEXTERNALS tag is set to YES all external classes will be listed
|
1040
|
-
# in the class index. If set to NO only the inherited external classes
|
1041
|
-
# will be listed.
|
1042
|
-
|
1043
|
-
ALLEXTERNALS = NO
|
1044
|
-
|
1045
|
-
# If the EXTERNAL_GROUPS tag is set to YES all external groups will be listed
|
1046
|
-
# in the modules index. If set to NO, only the current project's groups will
|
1047
|
-
# be listed.
|
1048
|
-
|
1049
|
-
EXTERNAL_GROUPS = YES
|
1050
|
-
|
1051
|
-
# The PERL_PATH should be the absolute path and name of the perl script
|
1052
|
-
# interpreter (i.e. the result of `which perl').
|
1053
|
-
|
1054
|
-
PERL_PATH = /usr/bin/perl
|
1055
|
-
|
1056
|
-
#---------------------------------------------------------------------------
|
1057
|
-
# Configuration options related to the dot tool
|
1058
|
-
#---------------------------------------------------------------------------
|
1059
|
-
|
1060
|
-
# If the CLASS_DIAGRAMS tag is set to YES (the default) Doxygen will
|
1061
|
-
# generate a inheritance diagram (in HTML, RTF and LaTeX) for classes with base
|
1062
|
-
# or super classes. Setting the tag to NO turns the diagrams off. Note that
|
1063
|
-
# this option is superseded by the HAVE_DOT option below. This is only a
|
1064
|
-
# fallback. It is recommended to install and use dot, since it yields more
|
1065
|
-
# powerful graphs.
|
1066
|
-
|
1067
|
-
CLASS_DIAGRAMS = NO
|
1068
|
-
|
1069
|
-
# If set to YES, the inheritance and collaboration graphs will hide
|
1070
|
-
# inheritance and usage relations if the target is undocumented
|
1071
|
-
# or is not a class.
|
1072
|
-
|
1073
|
-
HIDE_UNDOC_RELATIONS = YES
|
1074
|
-
|
1075
|
-
# If you set the HAVE_DOT tag to YES then doxygen will assume the dot tool is
|
1076
|
-
# available from the path. This tool is part of Graphviz, a graph visualization
|
1077
|
-
# toolkit from AT&T and Lucent Bell Labs. The other options in this section
|
1078
|
-
# have no effect if this option is set to NO (the default)
|
1079
|
-
|
1080
|
-
HAVE_DOT = YES
|
1081
|
-
|
1082
|
-
# If the CLASS_GRAPH and HAVE_DOT tags are set to YES then doxygen
|
1083
|
-
# will generate a graph for each documented class showing the direct and
|
1084
|
-
# indirect inheritance relations. Setting this tag to YES will force the
|
1085
|
-
# the CLASS_DIAGRAMS tag to NO.
|
1086
|
-
|
1087
|
-
CLASS_GRAPH = NO
|
1088
|
-
|
1089
|
-
# If the COLLABORATION_GRAPH and HAVE_DOT tags are set to YES then doxygen
|
1090
|
-
# will generate a graph for each documented class showing the direct and
|
1091
|
-
# indirect implementation dependencies (inheritance, containment, and
|
1092
|
-
# class references variables) of the class with other documented classes.
|
1093
|
-
|
1094
|
-
COLLABORATION_GRAPH = NO
|
1095
|
-
|
1096
|
-
# If the GROUP_GRAPHS and HAVE_DOT tags are set to YES then doxygen
|
1097
|
-
# will generate a graph for groups, showing the direct groups dependencies
|
1098
|
-
|
1099
|
-
GROUP_GRAPHS = YES
|
1100
|
-
|
1101
|
-
# If the UML_LOOK tag is set to YES doxygen will generate inheritance and
|
1102
|
-
# collaboration diagrams in a style similar to the OMG's Unified Modeling
|
1103
|
-
# Language.
|
1104
|
-
|
1105
|
-
UML_LOOK = YES
|
1106
|
-
|
1107
|
-
# If set to YES, the inheritance and collaboration graphs will show the
|
1108
|
-
# relations between templates and their instances.
|
1109
|
-
|
1110
|
-
TEMPLATE_RELATIONS = YES
|
1111
|
-
|
1112
|
-
# If the ENABLE_PREPROCESSING, SEARCH_INCLUDES, INCLUDE_GRAPH, and HAVE_DOT
|
1113
|
-
# tags are set to YES then doxygen will generate a graph for each documented
|
1114
|
-
# file showing the direct and indirect include dependencies of the file with
|
1115
|
-
# other documented files.
|
1116
|
-
|
1117
|
-
INCLUDE_GRAPH = NO
|
1118
|
-
|
1119
|
-
# If the ENABLE_PREPROCESSING, SEARCH_INCLUDES, INCLUDED_BY_GRAPH, and
|
1120
|
-
# HAVE_DOT tags are set to YES then doxygen will generate a graph for each
|
1121
|
-
# documented header file showing the documented files that directly or
|
1122
|
-
# indirectly include this file.
|
1123
|
-
|
1124
|
-
INCLUDED_BY_GRAPH = NO
|
1125
|
-
|
1126
|
-
# If the CALL_GRAPH and HAVE_DOT tags are set to YES then doxygen will
|
1127
|
-
# generate a call dependency graph for every global function or class method.
|
1128
|
-
# Note that enabling this option will significantly increase the time of a run.
|
1129
|
-
# So in most cases it will be better to enable call graphs for selected
|
1130
|
-
# functions only using the \callgraph command.
|
1131
|
-
|
1132
|
-
CALL_GRAPH = NO
|
1133
|
-
|
1134
|
-
# If the GRAPHICAL_HIERARCHY and HAVE_DOT tags are set to YES then doxygen
|
1135
|
-
# will graphical hierarchy of all classes instead of a textual one.
|
1136
|
-
|
1137
|
-
GRAPHICAL_HIERARCHY = NO
|
1138
|
-
|
1139
|
-
# If the DIRECTORY_GRAPH, SHOW_DIRECTORIES and HAVE_DOT tags are set to YES
|
1140
|
-
# then doxygen will show the dependencies a directory has on other directories
|
1141
|
-
# in a graphical way. The dependency relations are determined by the #include
|
1142
|
-
# relations between the files in the directories.
|
1143
|
-
|
1144
|
-
DIRECTORY_GRAPH = YES
|
1145
|
-
|
1146
|
-
# The DOT_IMAGE_FORMAT tag can be used to set the image format of the images
|
1147
|
-
# generated by dot. Possible values are png, jpg, or gif
|
1148
|
-
# If left blank png will be used.
|
1149
|
-
|
1150
|
-
DOT_IMAGE_FORMAT = png
|
1151
|
-
|
1152
|
-
# The tag DOT_PATH can be used to specify the path where the dot tool can be
|
1153
|
-
# found. If left blank, it is assumed the dot tool can be found in the path.
|
1154
|
-
|
1155
|
-
DOT_PATH =
|
1156
|
-
|
1157
|
-
# The DOTFILE_DIRS tag can be used to specify one or more directories that
|
1158
|
-
# contain dot files that are included in the documentation (see the
|
1159
|
-
# \dotfile command).
|
1160
|
-
|
1161
|
-
DOTFILE_DIRS =
|
1162
|
-
|
1163
|
-
# The MAX_DOT_GRAPH_WIDTH tag can be used to set the maximum allowed width
|
1164
|
-
# (in pixels) of the graphs generated by dot. If a graph becomes larger than
|
1165
|
-
# this value, doxygen will try to truncate the graph, so that it fits within
|
1166
|
-
# the specified constraint. Beware that most browsers cannot cope with very
|
1167
|
-
# large images.
|
1168
|
-
|
1169
|
-
MAX_DOT_GRAPH_WIDTH = 1024
|
1170
|
-
|
1171
|
-
# The MAX_DOT_GRAPH_HEIGHT tag can be used to set the maximum allows height
|
1172
|
-
# (in pixels) of the graphs generated by dot. If a graph becomes larger than
|
1173
|
-
# this value, doxygen will try to truncate the graph, so that it fits within
|
1174
|
-
# the specified constraint. Beware that most browsers cannot cope with very
|
1175
|
-
# large images.
|
1176
|
-
|
1177
|
-
MAX_DOT_GRAPH_HEIGHT = 1024
|
1178
|
-
|
1179
|
-
# The MAX_DOT_GRAPH_DEPTH tag can be used to set the maximum depth of the
|
1180
|
-
# graphs generated by dot. A depth value of 3 means that only nodes reachable
|
1181
|
-
# from the root by following a path via at most 3 edges will be shown. Nodes
|
1182
|
-
# that lay further from the root node will be omitted. Note that setting this
|
1183
|
-
# option to 1 or 2 may greatly reduce the computation time needed for large
|
1184
|
-
# code bases. Also note that a graph may be further truncated if the graph's
|
1185
|
-
# image dimensions are not sufficient to fit the graph (see MAX_DOT_GRAPH_WIDTH
|
1186
|
-
# and MAX_DOT_GRAPH_HEIGHT). If 0 is used for the depth value (the default),
|
1187
|
-
# the graph is not depth-constrained.
|
1188
|
-
|
1189
|
-
MAX_DOT_GRAPH_DEPTH = 0
|
1190
|
-
|
1191
|
-
# Set the DOT_TRANSPARENT tag to YES to generate images with a transparent
|
1192
|
-
# background. This is disabled by default, which results in a white background.
|
1193
|
-
# Warning: Depending on the platform used, enabling this option may lead to
|
1194
|
-
# badly anti-aliased labels on the edges of a graph (i.e. they become hard to
|
1195
|
-
# read).
|
1196
|
-
|
1197
|
-
DOT_TRANSPARENT = NO
|
1198
|
-
|
1199
|
-
# Set the DOT_MULTI_TARGETS tag to YES allow dot to generate multiple output
|
1200
|
-
# files in one run (i.e. multiple -o and -T options on the command line). This
|
1201
|
-
# makes dot run faster, but since only newer versions of dot (>1.8.10)
|
1202
|
-
# support this, this feature is disabled by default.
|
1203
|
-
|
1204
|
-
DOT_MULTI_TARGETS = NO
|
1205
|
-
|
1206
|
-
# If the GENERATE_LEGEND tag is set to YES (the default) Doxygen will
|
1207
|
-
# generate a legend page explaining the meaning of the various boxes and
|
1208
|
-
# arrows in the dot generated graphs.
|
1209
|
-
|
1210
|
-
GENERATE_LEGEND = YES
|
1211
|
-
|
1212
|
-
# If the DOT_CLEANUP tag is set to YES (the default) Doxygen will
|
1213
|
-
# remove the intermediate dot files that are used to generate
|
1214
|
-
# the various graphs.
|
1215
|
-
|
1216
|
-
DOT_CLEANUP = YES
|
1217
|
-
|
1218
|
-
#---------------------------------------------------------------------------
|
1219
|
-
# Configuration::additions related to the search engine
|
1220
|
-
#---------------------------------------------------------------------------
|
1221
|
-
|
1222
|
-
# The SEARCHENGINE tag specifies whether or not a search engine should be
|
1223
|
-
# used. If set to NO the values of all tags below this one will be ignored.
|
1224
|
-
|
1225
|
-
SEARCHENGINE = NO
|