pbes Directory Reference

Directories
	detail
	rewriters
	tools

Files
	absinthe.h
	add your file description here.
	absinthe_strategy.h
	add your file description here.
	abstract.h
	The PBES abstract algorithm.
	add_binding.h
	add your file description here.
	algorithms.h
	add your file description here.
	anonymize.h
	add your file description here.
	bisimulation.h
	Bisimulation algorithms.
	bisimulation_type.h
	add your file description here.
	builder.h
	add your file description here.
	complement.h
	The complement function for pbes expressions.
	complps2pbes.h
	add your file description here.
	constelm.h
	The constelm algorithm.
	enumerator.h
	add your file description here.
	eqelm.h
	The eqelm algorithm.
	equation_index.h
	add your file description here.
	find.h
	Search functions of the pbes library.
	find_equalities.h
	add your file description here.
	fixpoint_symbol.h
	The class fixpoint_symbol.
	gauss_elimination_algorithm.h
	Gauss elimination algorithm for pbes equation systems.
	io.h
	IO routines for boolean equation systems.
	is_bes.h
	add your file description here.
	is_monotonous.h
	Functions for computing monotonicity of pbes data types.
	join.h
	add your file description here.
	lps2pbes.h
	Add your file description here.
	lts2pbes.h
	add your file description here.
	normal_forms.h
	add your file description here.
	normalize.h
	Normalization of pbes expressions.
	normalize_sorts.h
	add your file description here.
	parelm.h
	The parelm algorithm.
	parity_game_generator.h
	A class for generating a parity game from a pbes.
	parse.h
	Parser for pbes expressions.
	parse_impl.h
	add your file description here.
	partial_order_reduction.h
	add your file description here.
	pbes.h
	The class pbes.
	pbes_equation.h
	The class pbes_equation.
	pbes_equation_index.h
	add your file description here.
	pbes_explorer.h
	pbes_expression.h
	The class pbes_expression.
	pbes_functions.h
	add your file description here.
	pbes_gauss_elimination.h
	add your file description here.
	pbes_input_output_tool.h
	Base class for tools that produce a (P)BES as output.
	pbes_input_tool.h
	Base class for tools that produce a (P)BES as output.
	pbes_output_tool.h
	Base class for tools that produce a (P)BES as output.
	pbes_rewriter_tool.h
	Base class for tools that use a pbes rewriter.
	pbes_rewriter_type.h
	add your file description here.
	pbes_solver_test.h
	This file contains a simple solver for pbesses. This solver is mainly intended for testing purposes.
	pbes_summand_group.h
	pbesinst_algorithm.h
	Algorithm for instantiating a PBES.
	pbesinst_alternative_lazy_algorithm.h
	An alternative lazy algorithm for instantiating a PBES, ported from bes_deprecated.h.
	pbesinst_fatal_attractors.h
	add your file description here.
	pbesinst_find_loops.h
	add your file description here.
	pbesinst_finite_algorithm.h
	add your file description here.
	pbesinst_lazy.h
	pbesinst_partial_solve.h
	add your file description here.
	pbesinst_strategy.h
	add your file description here.
	pbesinst_structure_graph.h
	A variant of the lazy algorithm for instantiating a PBES, that produces a structure_graph.
	pbesinst_structure_graph2.h
	add your file description here.
	pbesinst_symbolic.h
	add your file description here.
	pbesreach.h
	pbessolve_attractors.h
	add your file description here.
	pbessolve_options.h
	add your file description here.
	pbessolve_vertex_set.h
	add your file description here.
	pg_parse.h
	print.h
	add your file description here.
	propositional_variable.h
	The classes propositional_variable and propositional_variable_instantiation.
	quantifier_propagate.h
	remove_equations.h
	add your file description here.
	remove_level.h
	BES variable remove level when generating a BES from a PBES.
	remove_parameters.h
	Functions for removing insignificant parameters from pbes types.
	replace.h
	add your file description here.
	replace_capture_avoiding.h
	add your file description here.
	replace_capture_avoiding_with_an_identifier_generator.h
	add your file description here.
	replace_constants_by_variables.h
	add your file description here.
	replace_subterm.h
	add your file description here.
	resolve_name_clashes.h
	add your file description here.
	rewrite.h
	add your file description here.
	rewriter.h
	Rewriters for pbes expressions.
	search_strategy.h
	Search strategy when generating a BES from a PBES.
	significant_variables.h
	add your file description here.
	simple_structure_graph.h
	add your file description here.
	small_progress_measures.h
	add your file description here.
	solution_strategy.h
	Strategies to solve a BES.
	solve_structure_graph.h
	add your file description here.
	srf_pbes.h
	add your file description here.
	stategraph.h
	add your file description here.
	structure_graph.h
	add your file description here.
	structure_graph_builder.h
	add your file description here.
	substitutions.h
	add your file description here.
	symbolic_parity_game.h
	symbolic_pbessolve.h
	tools.h
	add your file description here.
	transformation_strategy.h
	Strategies for the generation of a BES from a PBES.
	transformations.h
	add your file description here.
	translate_user_notation.h
	add your file description here.
	traverser.h
	add your file description here.
	txt2pbes.h
	Function for parsing a pbes specification.
	typecheck.h
	add your file description here.
	unify_parameters.h
	add your file description here.
	untyped_pbes.h
	add your file description here.