47 void initNegative(Value &Val, Environment &Env) {  in initNegative()
52 void initPositive(Value &Val, Environment &Env) {  in initPositive()
57 void initZero(Value &Val, Environment &Env) {  in initZero()
74 SignProperties initUnknown(Value &Val, Environment &Env) {  in initUnknown()
80 SignProperties getSignProperties(const Value &Val, const Environment &Env) {  in getSignProperties()
260 Value *getOrCreateValue(const Expr *E, Environment &Env) {  in getOrCreateValue()
363   void transfer(const CFGElement &Elt, NoopLattice &L, Environment &Env) {  in transfer()
457 getProperty(const Environment &Env, ASTContext &ASTCtx, const Node *N,  in getProperty()
477 testing::AssertionResult isPropertyImplied(const Environment &Env,  in isPropertyImplied()
493                                     const Environment &Env) {  in isNegative()
504                                     const Environment &Env) {  in isPositive()
515                                 const Environment &Env) {  in isZero()
526                                const Environment &Env) {  in isTop()
555         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");  in TEST()  local
587         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");  in TEST()  local
610         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");  in TEST()  local
912         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");  in TEST()  local