blob: 0d8b56a9d7c6fc8ceb4208b64e5d938953ecefea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#ifndef CONSTRAINT_MANAGER_H
#define CONSTRAINT_MANAGER_H
namespace clang {
class GRState;
class GRStateManager;
class RVal;
class ConstraintManager {
public:
virtual const GRState* Assume(const GRState* St, RVal Cond, bool Assumption,
bool& isFeasible) = 0;
};
ConstraintManager* CreateBasicConstraintManager(GRStateManager& statemgr);
} // end clang namespace
#endif
|
