core Directory Reference

Directories
	detail

Files
	add_binding.h
	add your file description here.
	builder.h
	add your file description here.
	dparser.h
	add your file description here.
	identifier_string.h
	aterm representations of identifier strings.
	load_aterm.h
	add your file description here.
	optimized_boolean_operators.h
	parse.h
	Parse mCRL2 specifications and expressions.
	parser_utility.h
	add your file description here.
	print.h
	Functions for pretty printing ATerms.
	print_format.h
	add your file description here.
	term_traits.h
	Traits class for (boolean) terms.
	traverser.h
	add your file description here.