Method is_field_readable

src/FactUnion.cpp:293–300

}

bool
FactUnion::is_field_readable(const Variable* v, int fid, const vector<const Fact*>& facts)
{
	assert(v->type->eType == eUnion && fid >=0 && fid < (int)(v->type->fields.size()));
	FactUnion tmp(v, fid);
	const FactUnion* fu = dynamic_cast<const FactUnion*>(find_related_fact(facts, &tmp));
	return (fu && tmp.imply(*fu)) ;
}

void
FactUnion::Output(std::ostream &out) const