diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-05-03 15:52:11 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-05-03 15:52:11 -0400 |
| commit | 4c20ab57d70c4812d75af037e95c371c65418333 (patch) | |
| tree | 88ae9d4ca928a5bb8536819ccbdbd9031b63684a /src/theory/arith/callbacks.cpp | |
| parent | 753e84e5b3068efe973be1871b6456abf9b9470b (diff) | |
More misc. arithmetic cleanup. Removing unused files and functions. Also removing an ugly forward declaration that was needed to get error set bound information on basic variables.
Diffstat (limited to 'src/theory/arith/callbacks.cpp')
| -rw-r--r-- | src/theory/arith/callbacks.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/theory/arith/callbacks.cpp b/src/theory/arith/callbacks.cpp index 6b6170b20..1e827d316 100644 --- a/src/theory/arith/callbacks.cpp +++ b/src/theory/arith/callbacks.cpp @@ -32,6 +32,10 @@ void RaiseConflict::operator()(Node n){ d_ta.raiseConflict(n); } +const BoundsInfo& BoundCountingLookup::boundsInfo(ArithVar basic) const{ + return d_ta.boundsInfo(basic); +} + }/* CVC4::theory::arith namespace */ }/* CVC4::theory namespace */ }/* CVC4 namespace */ |