pres Directory Reference

Directories
	detail
	rewriters
	tools

Files
	add_binding.h
	add your file description here.
	algorithms.h
	add your file description here.
	builder.h
	A builder framework for the class pres.
	constelm.h
	The constelm algorithm.
	enumerator.h
	add your file description here.
	find.h
	Search functions of the pres library.
	find_equalities.h
	add your file description here.
	io.h
	IO routines for boolean equation systems.
	is_monotonous.h
	Functions for computing monotonicity of pres data types.
	is_res.h
	add your file description here.
	join.h
	add your file description here.
	lps2pres.h
	Basic routines to translate a modal formula to a pres.
	lts2pres.h
	add your file description here.
	normalize.h
	Normalization of pres expressions.
	normalize_sorts.h
	add your file description here.
	parelm.h
	The parelm algorithm.
	parse.h
	Parser for pres expressions.
	parse_impl.h
	add your file description here.
	pres.h
	The class pres.
	pres2res.h
	A straightforward algorithm that gets pres, and instantiates it to a res.
	pres_equation.h
	The class pres_equation.
	pres_expression.h
	The class pres_expression.
	pres_input_output_tool.h
	Base class for tools that produce a (P)BES as output.
	pres_input_tool.h
	Base class for tools that produce a (P)RES as output.
	pres_output_tool.h
	Base class for tools that produce a (P)RES as output.
	pres_rewriter_tool.h
	Base class for tools that use a pres rewriter.
	pres_rewriter_type.h
	add your file description here.
	presinst_algorithm.h
	Algorithm for instantiating a PRES.
	presinst_finite_algorithm.h
	add your file description here.
	presinst_strategy.h
	add your file description here.
	pressolve_options.h
	This file declares the options for res solvers.
	print.h
	add your file description here.
	remove_equations.h
	add your file description here.
	remove_parameters.h
	Functions for removing insignificant parameters from pres types.
	replace.h
	add your file description here.
	replace_capture_avoiding.h
	Describes capture avoiding replacement for pres expressions.
	replace_capture_avoiding_with_an_identifier_generator.h
	add your file description here.
	resalgorithm_type.h
	ressolve_gauss_elimination.h
	This contains a gauss-elimination like algorithm to solve a res.
	ressolve_numerical.h
	This contains a gauss-elimination like algorithm to solve a res.
	ressolve_numerical_directed.h
	rewrite.h
	add your file description here.
	rewriter.h
	Rewriters for pres expressions.
	significant_variables.h
	add your file description here.
	substitutions.h
	add your file description here.
	tools.h
	add your file description here.
	translate_user_notation.h
	add your file description here.
	traverser.h
	A traverser framework for pres's.
	txt2pres.h
	Function for parsing a pres specification.
	typecheck.h
	add your file description here.
	untyped_pres.h
	add your file description here.