generic/interface/BrowLogRel_io.h

/*
 *  BrowLogRel_io.h
 *  by Kirk Abbott and Ben Allan
 *  Created: 1/94
 *  Version: $Revision: 1.7 $
 *  Version control file: $RCSfile: BrowLogRel_io.h,v $
 *  Date last modified: $Date: 2003/08/23 18:43:04 $
 *  Last modified by: $Author: ballan $
 *
 *  This file is part of the ASCEND Tcl/Tk interface
 *
 *  Copyright 1997, Carnegie Mellon University
 *
 *  The ASCEND Tcl/Tk interface is free software; you can redistribute
 *  it and/or modify it under the terms of the GNU General Public License as
 *  published by the Free Software Foundation; either version 2 of the
 *  License, or (at your option) any later version.
 *
 *  The ASCEND Tcl/Tk interface is distributed in hope that it will be
 *  useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 *  General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with the program; if not, write to the Free Software Foundation,
 *  Inc., 675 Mass Ave, Cambridge, MA 02139 USA.  Check the file named
 *  COPYING.  COPYING is found in ../compiler.
 */

/** @file
 *  Browser Logical Relation Output Routines
 *  <pre>
 *  To include this header, you must include the following:
 *      #include "tcl.h"
 *      #include "utilities/ascConfig.h"
 *      #include "interface/BrowLogRel_io.h"
 *  </pre>
 */

#ifndef ASCTK_BROWLOGREL_IO_H
#define ASCTK_BROWLOGREL_IO_H

extern int Asc_BrowWriteLogRelListCmd(ClientData cdata, Tcl_Interp *interp,
                                      int argc, CONST84 char *argv[]);
/**<
 *  Registered as: bgetlogrels  ?cur?search? save
 *  Write a list of logical relations in INFIX representation
 */

extern int Asc_BrowWriteCondLogRelListCmd(ClientData cdata, Tcl_Interp *interp,
                                          int argc, CONST84 char *argv[]);
/**<
 *  Registered as: bgetcondlogrels
 *  Write the list of conditional logical relations in infix to the
 *  interpreter.
 */

extern int Asc_BrowWriteLogRelListPostfixCmd(ClientData cdata,
                                             Tcl_Interp *interp,
                                             int argc,
                                             CONST84 char *argv[]);
/**<
 *  Registered as: bgetlogrelspf ?cur?search? save
 *  Writes a list of logical relations in POSTFIX to the interpreter
 *  rather than to a file.
 */

extern int Asc_BrowWriteLogRelsForAtomCmd(ClientData cdata, Tcl_Interp *interp,
                                          int argc, CONST84 char *argv[]);
/**<
 *  Registered as: __brow_logrelsforatom ?cur?search.
 *
 *  Will return a proper Tcl list of all logical relations associated
 *  with the given atom. Works on the current or the search instance.
 *  Will return TCL_ERROR if the instance is NULL, or the atom is not
 *  a BOOLEAN_ATOM_INST. If some of the logical relations are conditional,
 *  this information is also provided.
 */

#endif /* ASCTK_BROWLOGREL_IO_H */

1	/*
2	* BrowLogRel_io.h
3	* by Kirk Abbott and Ben Allan
4	* Created: 1/94
5	* Version: $Revision: 1.7 $
6	* Version control file: $RCSfile: BrowLogRel_io.h,v $
7	* Date last modified: $Date: 2003/08/23 18:43:04 $
8	* Last modified by: $Author: ballan $
9	*
10	* This file is part of the ASCEND Tcl/Tk interface
11	*
12	* Copyright 1997, Carnegie Mellon University
13	*
14	* The ASCEND Tcl/Tk interface is free software; you can redistribute
15	* it and/or modify it under the terms of the GNU General Public License as
16	* published by the Free Software Foundation; either version 2 of the
17	* License, or (at your option) any later version.
18	*
19	* The ASCEND Tcl/Tk interface is distributed in hope that it will be
20	* useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
21	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
22	* General Public License for more details.
23	*
24	* You should have received a copy of the GNU General Public License
25	* along with the program; if not, write to the Free Software Foundation,
26	* Inc., 675 Mass Ave, Cambridge, MA 02139 USA. Check the file named
27	* COPYING. COPYING is found in ../compiler.
28	*/
29
30	/** @file
31	* Browser Logical Relation Output Routines
32	* <pre>
33	* To include this header, you must include the following:
34	* #include "tcl.h"
35	* #include "utilities/ascConfig.h"
36	* #include "interface/BrowLogRel_io.h"
37	* </pre>
38	*/
39
40	#ifndef ASCTK_BROWLOGREL_IO_H
41	#define ASCTK_BROWLOGREL_IO_H
42
43	extern int Asc_BrowWriteLogRelListCmd(ClientData cdata, Tcl_Interp *interp,
44	int argc, CONST84 char *argv[]);
45	/**<
46	* Registered as: bgetlogrels ?cur?search? save
47	* Write a list of logical relations in INFIX representation
48	*/
49
50	extern int Asc_BrowWriteCondLogRelListCmd(ClientData cdata, Tcl_Interp *interp,
51	int argc, CONST84 char *argv[]);
52	/**<
53	* Registered as: bgetcondlogrels
54	* Write the list of conditional logical relations in infix to the
55	* interpreter.
56	*/
57
58	extern int Asc_BrowWriteLogRelListPostfixCmd(ClientData cdata,
59	Tcl_Interp *interp,
60	int argc,
61	CONST84 char *argv[]);
62	/**<
63	* Registered as: bgetlogrelspf ?cur?search? save
64	* Writes a list of logical relations in POSTFIX to the interpreter
65	* rather than to a file.
66	*/
67
68	extern int Asc_BrowWriteLogRelsForAtomCmd(ClientData cdata, Tcl_Interp *interp,
69	int argc, CONST84 char *argv[]);
70	/**<
71	* Registered as: __brow_logrelsforatom ?cur?search.
72	*
73	* Will return a proper Tcl list of all logical relations associated
74	* with the given atom. Works on the current or the search instance.
75	* Will return TCL_ERROR if the instance is NULL, or the atom is not
76	* a BOOLEAN_ATOM_INST. If some of the logical relations are conditional,
77	* this information is also provided.
78	*/
79
80	#endif /* ASCTK_BROWLOGREL_IO_H */
81