specification Directory Reference

Directory dependency graph for specification:

Directories
directory	boolean_operations