Searched refs:mKnownValues (Results 1 – 1 of 1) sorted by relevance
47 private Map<Expr, Boolean> mKnownValues = new HashMap<Expr, Boolean>(); field in ExecutionPath68 final Boolean knownValue = mKnownValues.get(pred); in addBranch()81 path.mKnownValues.put(pred, expectedValue); in addBranch()103 path.mKnownValues.putAll(mKnownValues); in createPath()129 if (!mKnownValues.isEmpty()) { in debug()131 for (Map.Entry<Expr, Boolean> entry : mKnownValues.entrySet()) { in debug()189 return mKnownValues; in getKnownValues()