tools Directory Reference

Files
	pbesbackelm.h
	This file provides a tool that can simplify PBESs by substituting PBES equations for variables in the rhs, simplifying the result, and keeping it when it can eliminate PBES variables.
	pbeschain.h
	This file provides a tool that can simplify PBESs by substituting PBES equations for variables in the rhs, simplifying the result, and keeping it when it can eliminate PBES variables.
	pbesfixpointsolve.h
	This file provides a tool that can simplify PBESs by substituting PBES equations for variables in the rhs, simplifying the result, and keeping it when it can eliminate PBES variables.
	pbesstategraph_options.h
	add your file description here.