Typedef ComponentAnalyzer

• Defined in File component_management.h

Typedef Documentation

typedef AltComponentAnalyzer ComponentAnalyzer

component_management.h

Purpose: Defines the ComponentManager() class for managing the Boolean formula components.

Copyright (C) 2018 Zayd Hammoudeh. All rights reserved.

Author

Zayd Hammoudeh zayd@ucsc.edu

Version

0.00.00

This software may be modified and distributed under the terms of the MIT license. See the LICENSE file for details.

Original Author: Marc Thurley.