common.h File Reference

Project-wide definitions and macros. More...

#include "ptree.h"
#include "cudd.h"

Data Structures
struct	specification_t

Macros
#define	False   0
#define	GR1C_COPYRIGHT
#define	GR1C_INTERACTIVE_PROMPT   ">>> "
#define	GR1C_VERSION   "0.12.0"
#define	PRINT_LINKED_VERSIONS()
#define	READLINE_PRINT_VERSION()
#define	SPC_INIT(X)
#define	True   1

Typedefs
typedef char	bool
typedef unsigned char	byte
typedef int	vartype

Detailed Description

Project-wide definitions and macros.

SCL; 2012-2015

Macro Definition Documentation

GR1C_COPYRIGHT

#define GR1C_COPYRIGHT

Value:

"Copyright (c) 2012-2017 by Scott C. Livingston,\n" \
                       "California Institute of Technology\n\n" \
                       "This is free, open source software, released under a BSD license\n" \
                       "and without warranty."

PRINT_LINKED_VERSIONS

#define PRINT_LINKED_VERSIONS

(

)

Value:

printf( "\nLinked with the following externals:\n" ); \
    READLINE_PRINT_VERSION(); \
    printf( "CUDD " ); \
    Cudd_PrintVersion( stdout )

SPC_INIT

#define SPC_INIT

(

X

)

Value:

X.nonbool_var_list = NULL; \
    X.original_num_env = 0; \
    X.original_num_sys = 0; \
    X.offw = NULL; \
    X.evar_list = NULL; \
    X.svar_list = NULL; \
    X.sys_init = NULL; \
    X.env_init = NULL; \
    X.env_goals = NULL; \
    X.sys_goals = NULL; \
    X.num_egoals = 0; \
    X.num_sgoals = 0; \
    X.env_trans_array = NULL; \
    X.sys_trans_array = NULL; \
    X.et_array_len = 0; \
    X.st_array_len = 0