#ifndef _PLALOAD_H
#define _PLALOAD_H
#include "../include/cudd.h"
#include "../include/util.h"

#define MAX_NAME_LENGTH 20

struct PlaArray{                   //pomocna struktura pro ulozeni matice hodnot vstupu a vystupu
	int 						*line;
	struct PlaArray	*next;
	};
  
struct Data{                         //pomocna struktura - je v ni ulozeny nacitany soubor ve vnitrni forme
	struct PlaArray	*iplaArray;
	struct PlaArray	*oplaArray;
	char  					**inames;
	char  					**onames;
	int   					terms;
	int   					inputs;
  int   					outputs;
  };

struct BddArray{       					//struktura s načtenými BDD a pomocnými informacemi
  DdNode  **roots;
  char    **inames;
  char    **onames;
  int     outputs;
  int     inputs;
	};


#endif
