diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-03 17:59:33 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-03 17:59:33 +0000 |
| commit | f0547f8a6fe9cecefde8b1d0c3dc8fcf50219c6b (patch) | |
| tree | a2afaaa295c8964408dd7c53127df61527e00d90 /src/main | |
| parent | b8a010d260c90efa5433a71dd317a03f051c2592 (diff) | |
adding ::getBooleanVariables to the PropEngine
you can get the Boolean variables in the TheoryEngine now by using d_propEngine->getBooleanVariables
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions