virtual void EndPath(const ProgramState *state) {}
+protected:
/// canReasonAbout - Not all ConstraintManagers can accurately reason about
/// all SVal values. This method returns true if the ConstraintManager can
/// reasonably handle a given SVal value. This is typically queried by
// Common implementation for the interface provided by ConstraintManager.
//===------------------------------------------------------------------===//
- bool canReasonAbout(SVal X) const;
-
const ProgramState *assume(const ProgramState *state, DefinedSVal Cond,
bool Assumption);
// Internal implementation.
//===------------------------------------------------------------------===//
+ bool canReasonAbout(SVal X) const;
+
const ProgramState *assumeAux(const ProgramState *state,
Loc Cond,
bool Assumption);