checkloconorder(3) [debian man page]

CHECKLOCONORDER(3)					       MBK LOGICAL FUNCTIONS						CHECKLOCONORDER(3)

NAME

       checkloconorder - checks the consistency of a list of logical connectors

ORIGIN

       This  software  belongs	to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
       Paris, France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr

SYNOPSYS

       #include "mlo.h"
       void checkloconorder(connectors)
       locon_list *connectors;

PARAMETERS

       connectors	   Pointer to the head of the connector list that is to be sorted

DESCRIPTION

       checkloconorder checks the list of logical connectors pointed to by *connectors for conformity towards mbk(1)  consistency  rules.   Checks
       are done to warranty :

       order		   the functions checks that vectorized connectors are ordered and evolve monotonically, with a step of 1.

       name unicity	   Vector radicals may not appear as single entity.

       name validity	   No space should appear in the name, but a single one followed by a number in a vector.

ERRORS

       "*** mbk error *** radical name already used in a connector"
	      The  name is already used in a connector, either vectorized or not, and therefore cannot be used once more.  This ensures that f and
	      f 3 will not be used simultaneously.
       "*** mbk error *** the radical name has a spurious vectorized value"
	      The name is seen as a vector in mbk(1), but its index is not a number or some text follows that number.
       "*** mbk error *** the radical name is not vectorized properly"
	      The name is seen as a vector in mbk(1), but its index changes in such a way that it is not monotonically	increasing  or	decreasing
	      with a step of 1.

EXAMPLE

       #include "mlo.h"
       void savewithcheck(figname)
       char *figname;
       {
       lofig_list *figure = getlocon(figname, 'A');
	 checkloconorder(figure->LOCON);
	 savelofig(figure);
       }

SEE ALSO

       mbk(1), locon(3), addlocon(3), dellocon(3), checkloconorder(3), qsort(3).

BUG REPORT

       This tool is under development at the ASIM department of the LIP6 laboratory.
       We need your feedback to improve documentation and tools.

ASIM
/LIP6							  October 1, 1997						CHECKLOCONORDER(3)

ADDLOCON(3)						       MBK LOGICAL FUNCTIONS						       ADDLOCON(3)

NAME

       addlocon - create a logical connector

ORIGIN

       This  software  belongs	to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
       Paris, France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr

SYNOPSYS

       #include "mlo.h"
       locon_list *addlocon(ptfig, name, ptsig, dir)
       lofig_list *ptfig;
       char *name;
       losig_list *ptsig;
       char dir;

PARAMETERS

       ptfig		   Pointer to the figure in which the connector should be added

       name		   Name of the connector

       ptsig		   Pointer on the signal linked to the connector

       dir		   Connector direction type

DESCRIPTION

       addlocon creates a new figure connector called name and adds it to the list of connectors pointed to by ptfig->LOCON.  The new connector is
       added in front of the list, and becomes itself the list head.
       The parameters name, ptsig, dir, width fill respectivly the NAME, SIG and DIR fields of the locon structure. The name should be unique at a
       given hierarchical level since it's the connector identifier.
       The field TYPE is set to EXTERNAL since a cell connector is beeing created. The instance connectors are builded up by the addloins(3) call.
       See addloins(3) for details.  For a list of valid dir, see locon(3).

RETURN VALUE

       addlocon returns a pointer to the newly created connector.

ERRORS

       "*** mbk error *** addlocon impossible : connector name already exists in figure ptfig->NAME"
	      The name beeing the logical connector idenfier, two connectors may not have the same name in a given figure.
       "*** mbk error *** addlocon impossible : bad direction dir in figure ptfig->NAME"
	      The dir does not have a legal value. For the set of legal values, see locon(3).

EXAMPLE

       #include "mlo.h"
       locon_list *du_con(ptfig, ptcon) /* duplicate connector */
       lofig_list *ptfig;
       locon_list *ptcon;
       {
	  return addlocon(ptfig, ptcon->NAME, ptcon->SIG, ptcon->DIR);
       }

SEE ALSO

       mbk(1), locon(3), loins(3), lofig(3), getlocon(3), dellocon(3), phcon(3).

BUG REPORT

       This tool is under development at the ASIM department of the LIP6 laboratory.
       We need your feedback to improve documentation and tools.

ASIM
/LIP6							  October 1, 1997						       ADDLOCON(3)