source: vis_dev/vis-2.3/src/ltl/ltlUtil.c @ 25

Last change on this file since 25 was 14, checked in by cecile, 13 years ago

vis2.3
File size: 1.9 KB
Line 
1/**CFile***********************************************************************
2
3  FileName    [ltlUtil.c]
4
5  PackageName [ltl]
6
7  Synopsis    [Utilities for LTL model checker]
8
9  Author      [Chao Wang <chao.wang@colorado.EDU]
10
11  Copyright   [This file was created at the University of Colorado at Boulder.
12  The University of Colorado at Boulder makes no warranty about the suitability
13  of this software for any purpose.  It is presented on an AS IS basis.]
14
15******************************************************************************/
16
17#include "ltlInt.h"
18#include <errno.h>
19
20
21/*---------------------------------------------------------------------------*/
22/* Macro declarations                                                        */
23/*---------------------------------------------------------------------------*/
24
25
26/**AutomaticStart*************************************************************/
27
28/*---------------------------------------------------------------------------*/
29/* Static function prototypes                                                */
30/*---------------------------------------------------------------------------*/
31
32
33/**AutomaticEnd***************************************************************/
34
35
36/*---------------------------------------------------------------------------*/
37/* Definition of exported functions                                          */
38/*---------------------------------------------------------------------------*/
39
40/*---------------------------------------------------------------------------*/
41/* Definition of internal functions                                          */
42/*---------------------------------------------------------------------------*/
43
44
45/*---------------------------------------------------------------------------*/
46/* Definition of static functions                                            */
47/*---------------------------------------------------------------------------*/
48
Note: See TracBrowser for help on using the repository browser.