rewriters Directory Reference

Files
	data_rewriter.h
	add your file description here.
	one_point_condition_rewrite.h
	Rewriter for LPSs that takes equalities of the form p_i == c, where p_i is a process parameter, and c is a constant, into account when simplifying the remainder of a summand.