NuSMV/code/nusmv/core/utils/lsort.h File Reference

Go to the source code of this file.

Defines

#define DECL_SORT   static
#define DECL_SORT1   static
#define NEXT   next

Functions

DECL_SORT TYPE * SORT (TYPE *, int(*compare)(char *, char *), int cnt)

Variables

int cnt
int(* compare )(char *, char *)
DECL_SORT TYPE *TYPE * list_in

Define Documentation

#define DECL_SORT   static
Todo:
Missing synopsis
Todo:
Missing description
#define DECL_SORT1   static
Todo:
Missing synopsis
Todo:
Missing description
#define NEXT   next
Todo:
Missing synopsis
Todo:
Missing description

Function Documentation

DECL_SORT TYPE* SORT ( TYPE *  ,
int(*)(char *, char *)  compare,
int  cnt 
)

Variable Documentation

int cnt
int(* compare)(char *, char *)
DECL_SORT TYPE* TYPE* list_in
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1