Method imply

src/FactPointTo.cpp:628–638

* return false if point-to already contains point-to-set in f, true otherwise */

 * return false if point-to already contains point-to-set in f, true otherwise
 */
bool
FactPointTo::imply(const Fact& f) const
{
    if (is_related(f)) {
        const FactPointTo& fact = (const FactPointTo&)f;
        if (sub_variable_sets(fact.get_point_to_vars(), point_to_vars)) {
            return true;
        }
    }
    return false;
}

void output_var(const Variable* var, std::ostream &out)
{