% Delivered to the Government in Accordance with Contract FA8650-10-C-7080
% 
%  (c) 2011 United Technologies Corp.
% Developed with the sponsorship of the Defense Advanced Research Projects Agency (DARPA).
%  
% Permission is hereby granted, free of charge, to any person obtaining a copy of this data, including any software or models in source or binary form, as well as any drawings, specifications, and documentation (collectively "the Data"), to deal in the Data without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Data, and to permit persons to whom the Data is furnished to do so, subject to the following conditions:
%  
% The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Data.
%  
% THE DATA IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS, SPONSORS, DEVELOPERS, CONTRIBUTORS, OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE DATA OR THE USE OR OTHER DEALINGS IN THE DATA.
% 
Decision Diagram Based Complexity Evaluation Tool

Author: Liangpeng Guo
Email:  glp@eecs.berkeley.edu
Description: This is the prototype of a complexity evalutation tool based on decision diagram. 
The basic idea is that the models are represented as transition functions. And then these functions
are transformed to decision diagrams, which we believe reflects the intrinsic complexities of the 
models. The fastest way to learn the tool is going through the attached tutorial and examples.

Directory structure:

tutorial.pdf: gives a quick tutorial of the tool
readme.txt
src/: source files of the complexity evaluation tool
	decisiondiagram.py: the interfaces of decision diagram operations
	decisiondiagram_core: the main implementation of decision diagram
	decisiondiagram_basic: routines for producing the decision diagram by brute-force search
	decisiondiagram_operation: the implementations of decision diagram operations
examples/:
	power-control-data-flow/: the power control case study in data flow implementation
		models/: the python model of the power control system
		main.py: the complexity evaluation script
	power-control-logic-cone/: the power control case study in logic cone implementation
		models/: the python model of the power control system
		main.py: the complexity evaluation script

