Commit [r1813] Maximize Restore History

Constants support in structures and solver.

lukaszkaiser 2012-12-09

changed /trunk/Toss/Arena/DiscreteRuleTest.ml
changed /trunk/Toss/Formula/BoolFormula.ml
changed /trunk/Toss/GGP/TranslateGameTest.ml
changed /trunk/Toss/Learn/LearnGameTest.ml
changed /trunk/Toss/Solver/Assignments.ml
changed /trunk/Toss/Solver/Solver.ml
changed /trunk/Toss/Solver/SolverTest.ml
changed /trunk/Toss/Solver/Structure.ml
changed /trunk/Toss/Solver/Structure.mli
changed /trunk/Toss/Solver/StructureParser.mly
changed /trunk/Toss/Solver/StructureTest.ml
changed /trunk/Toss/www/index.xml
/trunk/Toss/Arena/DiscreteRuleTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/BoolFormula.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/GGP/TranslateGameTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Learn/LearnGameTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/Assignments.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/Solver.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/SolverTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/Structure.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/Structure.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/StructureParser.mly Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/StructureTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/www/index.xml Diff Switch to side-by-side view
Loading...