rewriters Directory Reference

Files
	bqnf_rewriter.h
	add your file description here.
	data2pbes_rewriter.h
	data_rewriter.h
	add your file description here.
	dataspec_prune_rewriter.h
	enumerate_quantifiers_rewriter.h
	add your file description here.
	if_rewriter.h
	add your file description here.
	one_point_rule_rewriter.h
	add your file description here.
	pbes2data_rewriter.h
	pfnf_rewriter.h
	add your file description here.
	quantifier_expansion_mode.h
	quantifiers_inside_rewriter.h
	add your file description here.
	simplify_quantifiers_rewriter.h
	add your file description here.
	simplify_rewriter.h
	add your file description here.