summaryrefslogtreecommitdiff
path: root/src/generic/problemresolver
ModeNameSize
-rw-r--r--Makefile.am510logplain
-rw-r--r--choice.h11013logplain
-rw-r--r--choice_set.h13896logplain
-rw-r--r--dummy_universe.cc9254logplain
-rw-r--r--dummy_universe.h19543logplain
-rw-r--r--dump_universe.h2133logplain
-rw-r--r--exceptions.h2641logplain
-rw-r--r--incremental_expression.cc3069logplain
-rw-r--r--incremental_expression.h12251logplain
-rw-r--r--model.tex61379logplain
-rw-r--r--problemresolver.h134919logplain
-rw-r--r--promotion_set.h62870logplain
-rw-r--r--resolver_undo.h1914logplain
-rw-r--r--sanity_check_universe.h10837logplain
-rw-r--r--search_graph.h32478logplain
-rw-r--r--solution.h31046logplain
-rw-r--r--test.cc13256logplain
-rw-r--r--test1.txt597logplain
-rw-r--r--test3.txt626logplain
-rw-r--r--test4.txt493logplain
-rw-r--r--testcarglass.txt873logplain
-rw-r--r--tier_limits.h3899logplain