nodestack: add read_from_promises backtracking
authorBrian Norris <banorris@uci.edu>
Tue, 26 Feb 2013 19:13:10 +0000 (11:13 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 03:40:25 +0000 (19:40 -0800)
commit7bd9b5a1446863dc1a9de9683476f5a480dfba91
treec6c3c182f6760c1d1c8470f4a7efb28e31579d18
parentab9a8cb068ff8fbc2f913c2c4be0fb4cede98743
nodestack: add read_from_promises backtracking

This is just the basic framework for now. I still need to hook it up for
actual use in ModelChecker.
nodestack.cc
nodestack.h