Method clone

src/FactUnion.cpp:159–165

}

Fact*
FactUnion::clone(void) const
{
	FactUnion *fact = new FactUnion(var, last_written_fid);
	facts_.push_back(fact);
	return fact;
}

FactUnion *
FactUnion::make_fact(const Variable* v, int fid)