Commit [r1810]  Maximize  Restore  History

Adding constants to formulas.

lukaszkaiser 2012-12-03

changed /trunk/Toss/Formula/FFTNF.ml
changed /trunk/Toss/Formula/Formula.ml
changed /trunk/Toss/Formula/Formula.mli
changed /trunk/Toss/Formula/FormulaMap.ml
changed /trunk/Toss/Formula/FormulaMap.mli
changed /trunk/Toss/Formula/FormulaMapTest.ml
changed /trunk/Toss/Formula/FormulaOps.ml
changed /trunk/Toss/Formula/FormulaParser.mly
changed /trunk/Toss/Formula/FormulaSubst.ml
changed /trunk/Toss/GGP/TranslateFormula.ml
changed /trunk/Toss/GGP/TranslateFormula.mli
changed /trunk/Toss/GGP/TranslateGame.ml
changed /trunk/Toss/Learn/Distinguish.ml
changed /trunk/Toss/Play/Heuristic.ml
changed /trunk/Toss/Solver/Class.ml
changed /trunk/Toss/Solver/ClassTest.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/StructureTest.ml
changed /trunk/Toss/Term/tests/entanglement.log
changed /trunk/Toss/Term/tests/entanglement.trs
/trunk/Toss/Formula/FFTNF.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Formula.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Formula.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/FormulaMap.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/FormulaMap.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/FormulaMapTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/FormulaOps.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/FormulaParser.mly Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/FormulaSubst.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/GGP/TranslateFormula.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/GGP/TranslateFormula.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/GGP/TranslateGame.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Learn/Distinguish.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Play/Heuristic.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/Class.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/ClassTest.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/StructureTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/tests/entanglement.log Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/tests/entanglement.trs Diff Switch to side-by-side view
Loading...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks