Searched refs:getOrCreateState (Results 1 – 2 of 2) sorted by relevance
232 StateT *getOrCreateState(PointT point);412 return solver.getOrCreateState<StateT>(point); in getOrCreate()448 StateT *DataFlowSolver::getOrCreateState(PointT point) { in getOrCreateState() function
42 auto *cv = solver->getOrCreateState<Lattice<ConstantValue>>(value); in onUpdate()