Method size

src/FactPointTo.cpp:170–174

}

int
FactPointTo::size() const
{
	return point_to_vars.size();
}

vector<const Fact*>
FactPointTo::rhs_to_lhs_transfer(const vector<const Fact*>& facts, const vector<const Variable*>& lvars, const Expression* rhs)