------
README
------

This file is part of EST package.

This file describes, how Process Algebra module is builded.

1. INTRODUCTION
---------------

The short name of Process Algebra module is 'pa'. This name is placed
in front of all filenames and external identifiers related to the module.
It may appear in all lowercase, or with its first letter capitalized,
written as 'pa' and 'Pa', respectively.

There are three categories of C functions:
- exported functions are visible outside the package,
- internal functions are visible to all files within the package only,
- static functions are visible to the file only.

There are two C headers, external and internal. The external header file,
named 'pa.h', defines features visible from outside the package.
The internal header file, named 'paInt.h' defines features used in
multiple files inside the package, but not outside.

2. AN OVERVIEW
--------------

Process Algebra module consists of the following files:

  README		    - this file
  Makefile		    - Makefile
  Makefile.Linux	- Makefile for GNU/Linux
  Makefile.SunOS	- Makefile for Solaris
  Makefile.MINGW	- Makefile for MS Windows
  Makefile.Darwin	- Makefile for MacOSX
  pa.def	        - symbol definition for MS Windows
  pastubs.def       - symbol definition for MS Windows

  pa.h
  paInt.h
  paMain.c
  paKod.c
  paOutput.c
  paParser.l
  paParser.y
  paTcl.c
  paDialog.tcl

  pa.decls
  paDecls.h
  paStubInit.c
  paStubLib.c

3. HEADER FILES
---------------

pa.h:
  TAction	- structure
  PAction	- structure
  TState	- structure
  PState	- structure
  TTransition	- structure
  PTransition	- structure
  TSort		- structure
  PSort		- structure
  TProcess	- structure
  PProcess	- structure
  TComposition	- structure
  PComposition	- structure

  pa_sortTable		- variable
  pa_processTable	- variable
  pa_compositionTable	- variable
  pa_sorts		- variable
  pa_processes		- variable
  pa_compositions	- variable
  pa_variables		- variable

  Pa_Init		- function
  Pa_AddNewSort		- function
  Pa_FindSort		- function
  Pa_FOASortAction	- function
  Pa_FindSortAction	- function
  Pa_AddNewProcess	- function
  Pa_FindProcess	- function
  Pa_FOAStateProcess	- function
  Pa_FOATransition	- function
  PaSaveSortActions	- function
  PaSaveProcStates	- function
  Pa_EncodeSort		- function
  Pa_EncodeProcess	- function
  Pa_DecodeProcess	- function
  IZPIS_SORTOV		- function
  IZPIS_SORTA		- function
  IZPIS_PROCESOV	- function
  IZPIS_PROCESA		- function

paInt.h:
  VSTAVI_SORT			- function
  VSTAVI_AKCIJO_SORTA		- function
  VSTAVI_IME_PROCESA		- function
  VSTAVI_IME_SORTA		- function
  VSTAVI_AKCIJO_PROCESA		- function
  VSTAVI_ZACETNO_STANJE_PROCESA	- function
  VSTAVI_PREHOD_PROCESA		- function
  IZLOCI_AKCIJO			- function
  IZLOCI_STANJE			- function
  RAZPOZNAVANJE_PROCESOV_SORTOV	- function

4. SOURCE FILES
---------------

paMain.c:
  pa_sortTable		- variable
  pa_processTable	- variable
  pa_compositionTable	- variable
  pa_sorts		- variable
  pa_processes		- variable
  pa_compositions	- variable
  pa_variables		- variable

  Pa_Init		- exported function
  Pa_AddNewSort		- exported function
  Pa_FindSort		- exported function
  Pa_FOASortAction	- exported function
  Pa_FindSortAction	- exported function
  Pa_AddNewProcess	- exported function
  Pa_FindProcess	- exported function
  Pa_FOAStateProcess	- exported function
  Pa_FOATransition	- exported function
  PaSaveSortActions	- exported function
  PaSaveProcStates	- exported function

paKod.c:
  Pa_EncodeSort			- exported function
  Pa_EncodeProcess		- exported function
  Pa_DecodeProcess		- exported function

  Pa_EncodeMinterm	- static function
  Pa_DecodeTransitions	- static function
  Pa_DecodeMinterm	- static function
  Pa_DecodeState	- static function
  Pa_DecodeAction	- static function

paOutput.c:
  IZPIS_SORTOV		- exported function
  IZPIS_SORTA		- exported function
  IZPIS_PROCESOV	- exported function
  IZPIS_PROCESA		- exported function
  IZPIS_AKCIJ_SORTA			- static function
  IZPIS_SORTA_PROCESA			- static function
  IZPIS_STANJ_PROCESA			- static function
  IZPIS_ZACETNEGA_STANJA_PROCESA	- static function
  IZPIS_PREHODOV_PROCESA		- static function

paParser.y:
  j,k,l,ime,akcija1,stanje1,
  prehod11,prehod22,ime1	- variables

  VSTAVI_SORT			- internal function
  VSTAVI_AKCIJO_SORTA		- internal function
  VSTAVI_IME_PROCESA		- internal function
  VSTAVI_IME_SORTA		- internal function
  VSTAVI_AKCIJO_PROCESA		- internal function
  VSTAVI_ZACETNO_STANJE_PROCESA	- internal function
  IZLOCI_AKCIJO			- internal function
  IZLOCI_STANJE			- internal function
  VSTAVI_PREHOD_PROCESA		- internal function
  RAZPOZNAVANJE_PROCESOV_SORTOV	- internal function

paTcl.c:
  Pa_TclInit			- exported function
  PaAboutCmd			- static function
  PaInitCmd			- static function
  PaReadSortCmd			- static function
  PaReadProcessCmd		- static function
  PaWriteSortCmd		- static function
  PaWriteProcessCmd		- static function
  PaEncodeSortCmd		- static function
  PaEncodeProcessCmd		- static function
  PaDecodeProcessCmd		- static function

paTcl.c:

paDialog.tcl:
