main page
modules
namespaces
classes
files
Gecode home
Generated on Sat Nov 9 2013 19:18:42 for Gecode by
doxygen
1.8.4
File List
Here is a list of all files with brief descriptions:
[detail level
1
2
3
4
]
examples
all-interval.cpp
alpha.cpp
archimedean-spiral.cpp
bacp.cpp
bibd.cpp
bin-packing.cpp
black-hole.cpp
car-sequencing.cpp
cartesian-heart.cpp
colored-matrix.cpp
crew.cpp
crossword.cpp
crowded-chess.cpp
descartes-folium.cpp
dominating-queens.cpp
domino.cpp
donald.cpp
efpa.cpp
eq20.cpp
golden-spiral.cpp
golf.cpp
golomb-ruler.cpp
graph-color.cpp
grocery.cpp
hamming.cpp
ind-set.cpp
kakuro.cpp
knights.cpp
langford-number.cpp
magic-sequence.cpp
magic-square.cpp
minesweeper.cpp
money.cpp
nonogram.cpp
open-shop.cpp
ortho-latin.cpp
partition.cpp
pentominoes.cpp
perfect-square.cpp
photo.cpp
queen-armies.cpp
queens.cpp
radiotherapy.cpp
sat.cpp
schurs-lemma.cpp
scowl.hpp
sports-league.cpp
steel-mill.cpp
steiner.cpp
sudoku.cpp
tsp.cpp
warehouses.cpp
word-square.cpp
gecode
driver
options.cpp
options.hpp
script.cpp
script.hpp
flatzinc
ast.hh
conexpr.hh
flatzinc.cpp
option.hh
parser.hh
plugin.hh
registry.cpp
registry.hh
symboltable.hh
varspec.hh
float
arithmetic
div.hpp
min-max-channel.hpp
mult.hpp
pow-nroot.hpp
sqr-sqrt-abs.hpp
branch
activity.cpp
activity.hpp
afc.hpp
assign.hpp
merit.hpp
traits.hpp
val-commit.hpp
val-sel-commit.cpp
val-sel.hpp
val.hpp
var.hpp
view-sel.cpp
linear
nary.hpp
post.cpp
rel
eq.hpp
lq-le.hpp
nq.hpp
transcendental
exp-log.hpp
trigonometric
asinacos.hpp
sincos.hpp
tanatan.hpp
var
float.cpp
float.hpp
print.hpp
var-imp
delta.hpp
float.hpp
view
float.hpp
minus.hpp
offset.hpp
print.hpp
rel-test.hpp
scale.hpp
arithmetic.cpp
arithmetic.hh
array-traits.hpp
array.cpp
array.hpp
branch.cpp
branch.hh
dom.cpp
exception.hpp
exec.cpp
limits.hpp
linear.cpp
linear.hh
nextafter.hpp
num.hpp
rel.cpp
rel.hh
rounding.cpp
rounding.hpp
transcendental.hh
trigonometric.hh
val.hpp
var-imp.hpp
view.hpp
gist
drawingcursor.cpp
drawingcursor.hh
drawingcursor.hpp
gecodelogo.cpp
gecodelogo.hh
gist.cpp
gist.hpp
layoutcursor.hh
layoutcursor.hpp
mainwindow.cpp
mainwindow.hh
node.cpp
node.hh
node.hpp
nodecursor.hh
nodecursor.hpp
nodestats.cpp
nodestats.hh
nodevisitor.hh
nodevisitor.hpp
nodewidget.cpp
nodewidget.hh
preferences.cpp
preferences.hh
qtgist.cpp
qtgist.hh
spacenode.cpp
spacenode.hh
spacenode.hpp
stopbrancher.cpp
stopbrancher.hh
textoutput.cpp
textoutput.hh
treecanvas.cpp
treecanvas.hh
visualnode.cpp
visualnode.hh
visualnode.hpp
zoomToFitIcon.hpp
int
arithmetic
abs.hpp
divmod.hpp
max.hpp
mult.cpp
mult.hpp
nroot.hpp
pow-ops.hpp
pow.hpp
bin-packing
propagate.cpp
propagate.hpp
bool
base.hpp
clause.hpp
eq.hpp
eqv.cpp
eqv.hpp
ite.hpp
lq.hpp
or.hpp
branch
activity.cpp
activity.hpp
afc.hpp
assign.hpp
merit.hpp
ngl.hpp
traits.hpp
val-commit.hpp
val-sel-commit.cpp
val-sel.hpp
val.hpp
var.hpp
view-sel.cpp
view-values.cpp
view-values.hpp
channel
base.hpp
dom.hpp
link-multi.cpp
link-multi.hpp
link-single.cpp
link-single.hpp
val.hpp
circuit
base.hpp
dom.hpp
val.hpp
count
int-base.hpp
int-eq.hpp
int-gq.hpp
int-lq.hpp
rel.hpp
view-base.hpp
view-eq.hpp
view-gq.hpp
view-lq.hpp
cumulative
basic.hpp
edge-finding.hpp
limits.hpp
man-prop.hpp
opt-prop.hpp
overload.hpp
task-view.hpp
task.hpp
tree.hpp
cumulatives
val.hpp
distinct
bnd.hpp
dom-ctrl.hpp
dom.hpp
graph.hpp
ter-dom.hpp
val.hpp
dom
range.hpp
set.hpp
element
int.hpp
pair.cpp
pair.hpp
view.hpp
exec
when.cpp
when.hpp
extensional
base.hpp
basic.hpp
dfa.cpp
dfa.hpp
incremental.hpp
layered-graph.hpp
tuple-set.cpp
tuple-set.hpp
gcc
bnd-sup.hpp
bnd.hpp
dom-sup.hpp
dom.hpp
post.hpp
val.hpp
view.hpp
ldsb
brancher.hpp
sym-imp.cpp
sym-imp.hpp
sym-obj.cpp
linear
bool-int.hpp
bool-post.cpp
bool-scale.hpp
bool-view.hpp
int-bin.hpp
int-dom.hpp
int-nary.hpp
int-noview.hpp
int-post.cpp
int-ter.hpp
post.hpp
member
prop.hpp
re-prop.hpp
no-overlap
base.hpp
box.hpp
dim.hpp
man.hpp
opt.hpp
nvalues
bool-base.hpp
bool-eq.hpp
bool-gq.hpp
bool-lq.hpp
graph.hpp
int-base.hpp
int-eq.hpp
int-gq.hpp
int-lq.hpp
range-event.hpp
sym-bit-matrix.hpp
precede
single.hpp
rel
eq.hpp
lex.hpp
lq-le.hpp
nq.hpp
sequence
int.hpp
set-op.hpp
view.hpp
violations.hpp
sorted
matching.hpp
narrowing.hpp
order.hpp
propagate.hpp
sortsup.hpp
task
array.hpp
fwd-to-bwd.hpp
iter.hpp
man-to-opt.hpp
prop.hpp
purge.hpp
sort.hpp
tree.hpp
unary
detectable.hpp
edge-finding.hpp
man-prop.hpp
not-first-not-last.hpp
opt-prop.hpp
overload.hpp
subsumption.hpp
task-view.hpp
task.hpp
tree.hpp
var
bool.cpp
bool.hpp
int.cpp
int.hpp
print.hpp
var-imp
bool.cpp
bool.hpp
delta.hpp
int.cpp
int.hpp
view
bool-test.hpp
bool.hpp
cached.hpp
constint.hpp
int.hpp
iter.hpp
minus.hpp
neg-bool.hpp
offset.hpp
print.hpp
rel-test.hpp
scale.hpp
zero.hpp
view-val-graph
bi-link.hpp
comb-ptr-flag.hpp
edge.hpp
graph.hpp
iter-prune-val.hpp
node.hpp
arithmetic.cpp
arithmetic.hh
array-traits.hpp
array.cpp
array.hpp
bin-packing.cpp
bin-packing.hh
bool.cpp
bool.hh
branch.cpp
branch.hh
channel.cpp
channel.hh
circuit.cpp
circuit.hh
count.cpp
count.hh
cumulative.cpp
cumulative.hh
cumulatives.cpp
cumulatives.hh
distinct.cpp
distinct.hh
div.hh
div.hpp
dom.cpp
dom.hh
element.cpp
element.hh
exception.hpp
exec.cpp
exec.hh
extensional.cpp
extensional.hh
gcc.cpp
gcc.hh
int-set-1.hpp
int-set-2.hpp
int-set.cpp
ldsb.cpp
ldsb.hh
limits.hpp
linear-bool.cpp
linear-int.cpp
linear.hh
member.cpp
member.hh
no-overlap.cpp
no-overlap.hh
nvalues.cpp
nvalues.hh
precede.cpp
precede.hh
propagator.hpp
reify.hpp
rel.cpp
rel.hh
sequence.cpp
sequence.hh
sorted.cpp
sorted.hh
support-values.hh
support-values.hpp
task.hh
unary.cpp
unary.hh
unshare.cpp
val-set.hh
val-set.hpp
var-imp.hpp
view-val-graph.hh
view.hpp
iter
ranges-add.hpp
ranges-append.hpp
ranges-array.hpp
ranges-cache.hpp
ranges-compl.hpp
ranges-diff.hpp
ranges-empty.hpp
ranges-inter.hpp
ranges-list.hpp
ranges-map.hpp
ranges-minmax.hpp
ranges-minus.hpp
ranges-negative.hpp
ranges-offset.hpp
ranges-operations.hpp
ranges-positive.hpp
ranges-rangelist.hpp
ranges-scale.hpp
ranges-singleton-append.hpp
ranges-singleton.hpp
ranges-size.hpp
ranges-union.hpp
ranges-values.hpp
values-array.hpp
values-bitset.hpp
values-bitsetoffset.hpp
values-inter.hpp
values-list.hpp
values-map.hpp
values-minus.hpp
values-negative.hpp
values-offset.hpp
values-positive.hpp
values-ranges.hpp
values-singleton.hpp
values-union.hpp
values-unique.hpp
kernel
activity.cpp
activity.hpp
advisor.hpp
afc.cpp
afc.hpp
allocators.hpp
archive.cpp
archive.hpp
array.hpp
branch-tiebreak.hpp
branch-traits.hpp
branch-val.hpp
branch-var.hpp
branch.cpp
brancher-merit.hpp
brancher-val-commit.hpp
brancher-val-sel-commit.hpp
brancher-val-sel.hpp
brancher-view-sel.hpp
brancher-view-val.hpp
brancher-view.hpp
core.cpp
core.hpp
exception.hpp
global-afc.hpp
macros.hpp
memory-config.hpp
memory-manager.cpp
memory-manager.hpp
modevent.hpp
propagator.hpp
range-list.hpp
region.cpp
region.hpp
rnd.cpp
rnd.hpp
shared-array.hpp
var-imp.hpp
var-type.hpp
var.hpp
view.hpp
wait.hh
minimodel
bool-expr.cpp
bool-expr.hpp
exception.hpp
float-arith.cpp
float-expr.cpp
float-rel.cpp
float-rel.hpp
int-arith.cpp
int-expr.cpp
int-rel.cpp
int-rel.hpp
ldsb.hpp
matrix.hpp
optimize.hpp
reg.cpp
reg.hpp
set-expr.cpp
set-expr.hpp
set-rel.cpp
set-rel.hpp
search
meta
nogoods.cpp
nogoods.hh
rbs.cpp
rbs.hh
parallel
bab.cpp
bab.hh
dfs.cpp
dfs.hh
engine.cpp
engine.hh
path.cpp
path.hh
sequential
bab.hh
dfs.hh
path.cpp
path.hh
bab.cpp
bab.hpp
cutoff.cpp
cutoff.hpp
dfs.cpp
dfs.hpp
engine-base.hpp
exception.hpp
options.cpp
options.hpp
rbs.cpp
rbs.hpp
statistics.hpp
stop.cpp
stop.hpp
support.hh
worker.hh
set
branch
activity.cpp
activity.hpp
afc.hpp
assign.hpp
merit.hpp
ngl.cpp
ngl.hpp
traits.hpp
val-commit.hpp
val-sel-commit.cpp
val-sel.hpp
val.hpp
var.hpp
view-sel.cpp
channel
bool.hpp
int.hpp
set.hpp
sorted.hpp
convex
conv.cpp
conv.hpp
hull.cpp
hull.hpp
distinct
atmostOne.cpp
atmostOne.hpp
element
disjoint.hpp
inter.hpp
union.hpp
unionConst.hpp
int
card.hpp
minmax.hpp
weights.hpp
ldsb
brancher.hpp
sym-imp.cpp
precede
single.hpp
rel
common.hpp
eq.hpp
lq.hpp
nosubset.hpp
nq.hpp
re-eq.hpp
re-lq.hpp
re-subset.hpp
subset.hpp
rel-op
common.hpp
inter.hpp
partition.hpp
post-compl-cvc.cpp
post-compl-cvv.cpp
post-compl-vvc.cpp
post-compl.cpp
post-nocompl-cvc.cpp
post-nocompl-cvv.cpp
post-nocompl-vvc.cpp
post-nocompl.cpp
post.hpp
subofunion.hpp
superofinter.hpp
union.hpp
sequence
common.hpp
seq-u.cpp
seq-u.hpp
seq.cpp
seq.hpp
var
print.hpp
set.cpp
set.hpp
var-imp
delta.hpp
integerset.cpp
integerset.hpp
iter.hpp
set.cpp
set.hpp
view
cached.hpp
complement.hpp
const.hpp
print.hpp
set.hpp
singleton.hpp
array-traits.hpp
array.cpp
array.hpp
branch.cpp
branch.hh
cardinality.cpp
channel.cpp
channel.hh
convex.cpp
convex.hh
distinct.cpp
distinct.hh
dom.cpp
element.cpp
element.hh
exception.hpp
exec.cpp
int.cpp
int.hh
ldsb.cpp
ldsb.hh
limits.hpp
precede.cpp
precede.hh
rel-op-const-cvc.cpp
rel-op-const-cvv.cpp
rel-op-const-vcc.cpp
rel-op-const-vcv.cpp
rel-op-const-vvc.cpp
rel-op-singleton.cpp
rel-op-ternary.cpp
rel-op.cpp
rel-op.hh
rel.cpp
rel.hh
sequence.cpp
sequence.hh
var-imp.hpp
view.hpp
support
thread
none.hpp
pthreads.cpp
pthreads.hpp
thread.cpp
thread.hpp
windows.cpp
windows.hpp
auto-link.hpp
bitset-base.hpp
bitset-offset.hpp
bitset.hpp
block-allocator.hpp
cast.hpp
config.hpp
dynamic-array.hpp
dynamic-queue.hpp
dynamic-stack.hpp
exception.cpp
exception.hpp
heap.cpp
heap.hpp
hw-rnd.cpp
hw-rnd.hpp
int-type.hpp
macros.hpp
marked-pointer.hpp
random.hpp
sort.hpp
static-stack.hpp
thread.hpp
timer.hpp
driver.hh
flatzinc.hh
float.hh
gist.hh
int.hh
iter.hh
kernel.hh
minimodel.hh
search.hh
set.hh
support.hh
test
assign
bool.cpp
float.cpp
int.cpp
set.cpp
branch
bool.cpp
float.cpp
int.cpp
set.cpp
float
arithmetic.cpp
basic.cpp
channel.cpp
dom.cpp
linear.cpp
mm-lin.cpp
rel.cpp
transcendental.cpp
trigonometric.cpp
int
arithmetic.cpp
basic.cpp
bin-packing.cpp
bool.cpp
channel.cpp
circuit.cpp
count.cpp
cumulative.cpp
cumulatives.cpp
distinct.cpp
dom.cpp
element.cpp
exec.cpp
extensional.cpp
gcc.cpp
linear.cpp
member.cpp
mm-arithmetic.cpp
mm-bool.cpp
mm-count.cpp
mm-lin.cpp
mm-rel.cpp
no-overlap.cpp
nvalues.cpp
precede.cpp
rel.cpp
sequence.cpp
sorted.cpp
unary.cpp
unshare.cpp
set
channel.cpp
construct.cpp
convex.cpp
distinct.cpp
dom.cpp
element.cpp
exec.cpp
int.cpp
mm-set.cpp
precede.cpp
rel-op-const.cpp
rel-op.cpp
rel.cpp
sequence.cpp
afc.cpp
array.cpp
assign.cpp
assign.hh
branch.cpp
branch.hh
brancher-handle.cpp
float.cpp
float.hh
float.hpp
int.cpp
int.hh
int.hpp
ldsb.cpp
nogoods.cpp
search.cpp
set.cpp
set.hh
set.hpp
test.cpp
test.hh
test.hpp
tools
flatzinc
fzn-gecode.cpp
changelog.hh
doxygen.hh
license.hh
stat.hh