Commit [r8390] Maximize Restore History

- added commit method to scripting interface

rkaminski 2014-04-23

added /trunk/gringo/examples/commit/commit-lua.lp
added /trunk/gringo/examples/commit/commit-py.lp
added /trunk/gringo/examples/commit/README
added /trunk/gringo/examples/commit/encoding.lp
changed /trunk/gringo/libgringo/src/python.cc
changed /trunk/gringo/CHANGES
changed /trunk/gringo/libgringo/src/lua.cc
changed /trunk/gringo/app/gringo/main.cc
changed /trunk/gringo/app/shared/src/clingocontrol.cc
changed /trunk/gringo/libgringo/gringo/control.hh
changed /trunk/gringo/app/pyclingo/src/clingo_lib.cc
changed /trunk/gringo/app/clingo/src/clingo_app.cc
changed /trunk/gringo/app/shared/include/clingocontrol.hh
changed /trunk/gringo/libgringo/src/output/output.cc
changed /trunk/gringo/app/pyclingo/src/clingo_lib.hh
changed /trunk/gringo/app/clingo/src/clingo_app.hh
changed /trunk/gringo/libgringo/gringo/domain.hh
/trunk/gringo/examples/commit/commit-lua.lp Diff Switch to side-by-side view
Loading...
/trunk/gringo/examples/commit/commit-py.lp Diff Switch to side-by-side view
Loading...
/trunk/gringo/examples/commit/README Diff Switch to side-by-side view
Loading...
/trunk/gringo/examples/commit/encoding.lp Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/src/python.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/CHANGES Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/src/lua.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/gringo/main.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/shared/src/clingocontrol.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/gringo/control.hh Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/pyclingo/src/clingo_lib.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/clingo/src/clingo_app.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/shared/include/clingocontrol.hh Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/src/output/output.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/pyclingo/src/clingo_lib.hh Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/clingo/src/clingo_app.hh Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/gringo/domain.hh Diff Switch to side-by-side view
Loading...