Method ~FactPointTo

src/FactPointTo.cpp:411–414

* */

 *
 */
FactPointTo::~FactPointTo(void)
{
	// Nothing else to do.
}

/*
 * return 1 if v (or a field of v) is in the point-to set