Method add_effect

src/Effect.cpp:181–214

* */

 *
 */
void
Effect::add_effect(const Effect &e, bool include_lhs_effects)
{
	if (this == &e) {
		return;
	}

	// Stuff that so badly wants to be rewritten using decent STL containers
	// and algorithms... compute the union effect.

	vector<const Variable *>::size_type len;
	vector<const Variable *>::size_type i;

	len = e.read_vars.size();
	for (i = 0; i < len; ++i) {
		// this->read_var(e.read_vars[i]);
		if (!is_read(e.read_vars[i])) {
			this->read_vars.push_back(e.read_vars[i]);
		}
	}
	len = e.write_vars.size();
	for (i = 0; i < len; ++i) {
		// this->write_var(e.write_vars[i]);
		if (!is_written(e.write_vars[i])) {
			this->write_vars.push_back(e.write_vars[i]);
		}
	}

	if (include_lhs_effects) {
		add_variables_to_set(lhs_write_vars, e.get_lhs_write_vars());
	}
	pure &= e.pure;
	side_effect_free &= e.side_effect_free;
}

/*
 *