/*
**
** The C code is generated by ATS/Anairiats
** The compilation time is: 2011-9-10: 22h:12m
**
*/

/* include some .h files */
#ifndef _ATS_HEADER_NONE
#include "ats_config.h"
#include "ats_basics.h"
#include "ats_types.h"
#include "ats_exception.h"
#include "ats_memory.h"
#endif /* _ATS_HEADER_NONE */

/* include some .cats files */
#ifndef _ATS_PRELUDE_NONE
#include "prelude/CATS/basics.cats"
#include "prelude/CATS/bool.cats"
#include "prelude/CATS/byte.cats"
#include "prelude/CATS/char.cats"
#include "prelude/CATS/float.cats"
#include "prelude/CATS/integer.cats"
#include "prelude/CATS/integer_fixed.cats"
#include "prelude/CATS/integer_ptr.cats"
#include "prelude/CATS/lazy.cats"
#include "prelude/CATS/lazy_vt.cats"
#include "prelude/CATS/pointer.cats"
#include "prelude/CATS/printf.cats"
#include "prelude/CATS/reference.cats"
#include "prelude/CATS/sizetype.cats"
#include "prelude/CATS/string.cats"
#include "prelude/CATS/array.cats"
#include "prelude/CATS/list.cats"
#include "prelude/CATS/matrix.cats"
#include "prelude/CATS/option.cats"
#endif /* _ATS_PRELUDE_NONE */
/* prologues from statically loaded files */
/* external codes at top */
/* type definitions */
typedef struct {
ats_ptr_type atslab_3 ;
ats_ptr_type atslab_4 ;
} anairiats_rec_0 ;

typedef struct {
ats_ptr_type atslab_2 ;
ats_size_type atslab_3 ;
} anairiats_rec_1 ;

typedef struct {
ats_int_type atslab_node ;
ats_bool_type atslab_ismove ;
ats_ptr_type atslab_pred ;
ats_ptr_type atslab_succ ;
ats_ptr_type atslab_useset ;
ats_ptr_type atslab_defset ;
ats_ptr_type atslab_inset ;
ats_ptr_type atslab_outset ;
} anairiats_rec_2 ;

/* external typedefs */
typedef anairiats_rec_2 *fgnodeinfo_t ;

/* external dynamic constructor declarations */
ATSextern_val(ats_exn_type, ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__ArraySubscriptException) ;

/* external dynamic constant declarations */
ATSextern_fun(ats_void_type, atspre_vbox_make_view_ptr) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_newline) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_bool) (ats_ptr_type, ats_bool_type) ;
ATSextern_fun(ats_bool_type, atspre_igte) (ats_int_type, ats_int_type) ;
ATSextern_val(ats_ptr_type, atspre_null_ptr) ;
ATSextern_fun(ats_ptr_type, atspre_padd_size) (ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atspre_ref_make_elt_tsz) (ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_size1_of_int1) (ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_add_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_mul2_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_lt_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_neq_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_string) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, atspre_array_ptr_alloc_tsz) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_free) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_initialize_elt_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_initialize_funenv_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_initialize_cloenv_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, atspre_array_ptr_split_tsz) (ats_ptr_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atspre_array_ptr_takeout_tsz) (ats_ptr_type, ats_size_type, ats_size_type) ;
ATSextern_fun(anairiats_rec_0, atspre_array_ptr_takeout2_tsz) (ats_ptr_type, ats_size_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_foreach_funenv_tsz) (ats_ref_type, ats_ptr_type, ats_size_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_iforeach_funenv_tsz) (ats_ref_type, ats_ptr_type, ats_size_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, atspre_array2_ptr_takeout_tsz) (ats_ptr_type, ats_size_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e6_2prelude_2SATS_2array0_2esats__array0_make_arrsz) (anairiats_rec_1) ;
ATSextern_fun(ats_size_type, ATS_2d0_2e2_2e6_2prelude_2SATS_2array0_2esats__array0_size) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnode) (ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnodelst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_nil) () ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_add) (ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_nil) () ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_make_templst) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__fprint_tempset) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_pred_get) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_succ_get) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, fgnodeinfo_pred_set) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, fgnodeinfo_succ_set) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fprint_fgnodeinfo) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get) (ats_ptr_type, ats_int_type) ;

/* external dynamic terminating constant declarations */
#ifdef _ATS_PROOFCHECK
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____copy_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____free_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____assert_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* sum constructor declarations */
/* exn constructor declarations */
/* global dynamic (non-functional) constant declarations */
/* internal function declarations */
static
ats_void_type loop_12 (ats_ptr_type arg0, ats_ptr_type arg1, ats_size_type arg2, ats_size_type arg3) ;
static
ats_ptr_type array0_make_elt_01354_ats_ptr_type (ats_size_type arg0, ats_ptr_type arg1) ;
static
ats_ptr_type array0_get_elt_at_01357_ats_ptr_type (ats_ptr_type arg0, ats_size_type arg1) ;
static
ats_ptr_type array0_get_elt_at__intsz_01359_ats_ptr_type (ats_ptr_type arg0, ats_int_type arg1) ;
static
ats_void_type array0_set_elt_at_01358_ats_ptr_type (ats_ptr_type arg0, ats_size_type arg1, ats_ptr_type arg2) ;
static
ats_void_type array0_set_elt_at__intsz_01360_ats_ptr_type (ats_ptr_type arg0, ats_int_type arg1, ats_ptr_type arg2) ;

/* partial value template declarations */
/* static temporary variable declarations */
/* external value variable declarations */

/* function implementations */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 767(line=48, offs=3) -- 1073(line=58, offs=6)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_make (ats_int_type arg0, ats_bool_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp0) ;
ATSlocal (ats_ptr_type, tmp1) ;
ATSlocal (ats_ptr_type, tmp2) ;
ATSlocal (ats_ptr_type, tmp3) ;
ATSlocal (ats_ptr_type, tmp4) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_make:
#line 49 "fgraph.dats"
tmp1 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_nil () ;
#line 50 "fgraph.dats"
tmp2 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_make_templst (arg2) ;
#line 51 "fgraph.dats"
tmp3 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_make_templst (arg3) ;
#line 57 "fgraph.dats"
tmp4 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_nil () ;
#line 52 "fgraph.dats"
tmp0 = ATS_MALLOC(sizeof(anairiats_rec_2)) ;
ats_selptrset_mac(anairiats_rec_2, tmp0, atslab_node, arg0) ;
ats_selptrset_mac(anairiats_rec_2, tmp0, atslab_ismove, arg1) ;
ats_selptrset_mac(anairiats_rec_2, tmp0, atslab_pred, tmp1) ;
ats_selptrset_mac(anairiats_rec_2, tmp0, atslab_succ, tmp1) ;
ats_selptrset_mac(anairiats_rec_2, tmp0, atslab_useset, tmp2) ;
ats_selptrset_mac(anairiats_rec_2, tmp0, atslab_defset, tmp3) ;
ats_selptrset_mac(anairiats_rec_2, tmp0, atslab_inset, tmp2) ;
ats_selptrset_mac(anairiats_rec_2, tmp0, atslab_outset, tmp4) ;

return (tmp0) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_make] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 1135(line=60, offs=33) -- 1155(line=60, offs=53)
*/
ATSglobaldec()
ats_bool_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_ismove_get (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp5) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_ismove_get:
#line 60 "fgraph.dats"
tmp5 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_ismove) ;
return (tmp5) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_ismove_get] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 1186(line=61, offs=31) -- 1204(line=61, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_pred_get (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp6) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_pred_get:
#line 61 "fgraph.dats"
tmp6 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_pred) ;
return (tmp6) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_pred_get] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 1235(line=62, offs=31) -- 1253(line=62, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_succ_get (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp7) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_succ_get:
#line 62 "fgraph.dats"
tmp7 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_succ) ;
return (tmp7) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_succ_get] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 1286(line=63, offs=33) -- 1306(line=63, offs=53)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_useset_get (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp8) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_useset_get:
#line 63 "fgraph.dats"
tmp8 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_useset) ;
return (tmp8) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_useset_get] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 1339(line=64, offs=33) -- 1359(line=64, offs=53)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_defset_get (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp9) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_defset_get:
#line 64 "fgraph.dats"
tmp9 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_defset) ;
return (tmp9) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_defset_get] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 1391(line=65, offs=32) -- 1410(line=65, offs=51)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_inset_get (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp10) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_inset_get:
#line 65 "fgraph.dats"
tmp10 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_inset) ;
return (tmp10) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_inset_get] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 1443(line=66, offs=33) -- 1463(line=66, offs=53)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_outset_get (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp11) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_outset_get:
#line 66 "fgraph.dats"
tmp11 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_outset) ;
return (tmp11) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_outset_get] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 1493(line=68, offs=29) -- 2486(line=100, offs=2)
*/
ATSglobaldec()
ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fprint_fgnodeinfo (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp12) ;
// ATSlocal_void (tmp13) ;
// ATSlocal_void (tmp14) ;
ATSlocal (ats_int_type, tmp15) ;
// ATSlocal_void (tmp16) ;
// ATSlocal_void (tmp17) ;
// ATSlocal_void (tmp18) ;
ATSlocal (ats_bool_type, tmp19) ;
// ATSlocal_void (tmp20) ;
// ATSlocal_void (tmp21) ;
// ATSlocal_void (tmp22) ;
ATSlocal (ats_ptr_type, tmp23) ;
// ATSlocal_void (tmp24) ;
// ATSlocal_void (tmp25) ;
// ATSlocal_void (tmp26) ;
ATSlocal (ats_ptr_type, tmp27) ;
// ATSlocal_void (tmp28) ;
// ATSlocal_void (tmp29) ;
// ATSlocal_void (tmp30) ;
ATSlocal (ats_ptr_type, tmp31) ;
// ATSlocal_void (tmp32) ;
// ATSlocal_void (tmp33) ;
// ATSlocal_void (tmp34) ;
ATSlocal (ats_ptr_type, tmp35) ;
// ATSlocal_void (tmp36) ;
// ATSlocal_void (tmp37) ;
// ATSlocal_void (tmp38) ;
ATSlocal (ats_ptr_type, tmp39) ;
// ATSlocal_void (tmp40) ;
// ATSlocal_void (tmp41) ;
// ATSlocal_void (tmp42) ;
ATSlocal (ats_ptr_type, tmp43) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fprint_fgnodeinfo:
#line 69 "fgraph.dats"
/* tmp13 = */ atspre_fprint_string (arg0, ATSstrcst("node= ")) ;
#line 70 "fgraph.dats"
tmp15 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg1), atslab_node) ;
#line 70 "fgraph.dats"
/* tmp14 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnode (arg0, tmp15) ;
#line 71 "fgraph.dats"
/* tmp16 = */ atspre_fprint_newline (arg0) ;
#line 73 "fgraph.dats"
/* tmp17 = */ atspre_fprint_string (arg0, ATSstrcst("ismove= ")) ;
#line 74 "fgraph.dats"
tmp19 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg1), atslab_ismove) ;
#line 74 "fgraph.dats"
/* tmp18 = */ atspre_fprint_bool (arg0, tmp19) ;
#line 75 "fgraph.dats"
/* tmp20 = */ atspre_fprint_newline (arg0) ;
#line 77 "fgraph.dats"
/* tmp21 = */ atspre_fprint_string (arg0, ATSstrcst("pred= ")) ;
#line 78 "fgraph.dats"
tmp23 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg1), atslab_pred) ;
#line 78 "fgraph.dats"
/* tmp22 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnodelst (arg0, tmp23) ;
#line 79 "fgraph.dats"
/* tmp24 = */ atspre_fprint_newline (arg0) ;
#line 81 "fgraph.dats"
/* tmp25 = */ atspre_fprint_string (arg0, ATSstrcst("succ= ")) ;
#line 82 "fgraph.dats"
tmp27 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg1), atslab_succ) ;
#line 82 "fgraph.dats"
/* tmp26 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnodelst (arg0, tmp27) ;
#line 83 "fgraph.dats"
/* tmp28 = */ atspre_fprint_newline (arg0) ;
#line 85 "fgraph.dats"
/* tmp29 = */ atspre_fprint_string (arg0, ATSstrcst("useset= ")) ;
#line 86 "fgraph.dats"
tmp31 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg1), atslab_useset) ;
#line 86 "fgraph.dats"
/* tmp30 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__fprint_tempset (arg0, tmp31) ;
#line 87 "fgraph.dats"
/* tmp32 = */ atspre_fprint_newline (arg0) ;
#line 89 "fgraph.dats"
/* tmp33 = */ atspre_fprint_string (arg0, ATSstrcst("defset= ")) ;
#line 90 "fgraph.dats"
tmp35 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg1), atslab_defset) ;
#line 90 "fgraph.dats"
/* tmp34 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__fprint_tempset (arg0, tmp35) ;
#line 91 "fgraph.dats"
/* tmp36 = */ atspre_fprint_newline (arg0) ;
#line 93 "fgraph.dats"
/* tmp37 = */ atspre_fprint_string (arg0, ATSstrcst("inset= ")) ;
#line 94 "fgraph.dats"
tmp39 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg1), atslab_inset) ;
#line 94 "fgraph.dats"
/* tmp38 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__fprint_tempset (arg0, tmp39) ;
#line 95 "fgraph.dats"
/* tmp40 = */ atspre_fprint_newline (arg0) ;
#line 97 "fgraph.dats"
/* tmp41 = */ atspre_fprint_string (arg0, ATSstrcst("outset= ")) ;
#line 98 "fgraph.dats"
tmp43 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg1), atslab_outset) ;
#line 98 "fgraph.dats"
/* tmp42 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__fprint_tempset (arg0, tmp43) ;
#line 99 "fgraph.dats"
/* tmp12 = */ atspre_fprint_newline (arg0) ;
return /* (tmp12) */ ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fprint_fgnodeinfo] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 2568(line=104, offs=28) -- 2613(line=104, offs=73)
*/
ATSglobaldec()
ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__print_fgnodeinfo (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp44) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__print_fgnodeinfo:
#line 104 "fgraph.dats"
/* tmp44 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fprint_fgnodeinfo (stdout, arg0) ;
return /* (tmp44) */ ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__print_fgnodeinfo] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 2641(line=105, offs=28) -- 2686(line=105, offs=73)
*/
ATSglobaldec()
ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__prerr_fgnodeinfo (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp45) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__prerr_fgnodeinfo:
#line 105 "fgraph.dats"
/* tmp45 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fprint_fgnodeinfo (stderr, arg0) ;
return /* (tmp45) */ ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__prerr_fgnodeinfo] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 2817(line=114, offs=7) -- 3127(line=122, offs=8)
*/
ATSstaticdec()
ats_void_type
loop_12 (ats_ptr_type arg0, ats_ptr_type arg1, ats_size_type arg2, ats_size_type arg3) {
/* local vardec */
// ATSlocal_void (tmp47) ;
ATSlocal (ats_bool_type, tmp48) ;
// ATSlocal_void (tmp49) ;
ATSlocal (ats_ptr_type, tmp50) ;
// ATSlocal_void (tmp51) ;
ATSlocal (ats_size_type, tmp52) ;

__ats_lab_loop_12:
#line 118 "fgraph.dats"
tmp48 = atspre_lt_size1_size1 (arg3, arg2) ;
#line 118 "fgraph.dats"
if (tmp48) {
#line 119 "fgraph.dats"
tmp50 = ats_caselind_mac(ats_ptr_type, arg1, [arg3]) ;
#line 119 "fgraph.dats"
/* tmp49 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fprint_fgnodeinfo (arg0, tmp50) ;
#line 119 "fgraph.dats"
/* tmp51 = */ atspre_fprint_newline (arg0) ;
#line 121 "fgraph.dats"
tmp52 = atspre_add_size1_int1 (arg3, 1) ;
#line 121 "fgraph.dats"
arg0 = arg0 ;
#line 121 "fgraph.dats"
arg1 = arg1 ;
#line 121 "fgraph.dats"
arg2 = arg2 ;
#line 121 "fgraph.dats"
arg3 = tmp52 ;
#line 121 "fgraph.dats"
goto __ats_lab_loop_12 ; // tail call
} else {
/* empty */
} /* end of [if] */
return /* (tmp47) */ ;
} /* end of [loop_12] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 2795(line=113, offs=25) -- 3370(line=130, offs=4)
*/
ATSglobaldec()
ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fprint_fgraph (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp46) ;
ATSlocal (ats_ptr_type, tmp53) ;
ATSlocal (ats_ptr_type, tmp54) ;
ATSlocal (ats_size_type, tmp55) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fprint_fgraph:
#line 125 "fgraph.dats"
tmp53 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, arg1)), atslab_1) ;
#line 128 "fgraph.dats"
tmp54 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp53), atslab_2) ;
#line 128 "fgraph.dats"
tmp55 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp53), atslab_3) ;
#line 128 "fgraph.dats"
/* tmp46 = */ loop_12 (arg0, tmp54, tmp55, 0) ;
return /* (tmp46) */ ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fprint_fgraph] */

/*
// /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/array0.dats: 2117(line=73, offs=17) -- 2410(line=81, offs=4)
*/
ATSstaticdec()
ats_ptr_type
array0_make_elt_01354_ats_ptr_type (ats_size_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp58) ;
ATSlocal (ats_ptr_type, tmp59) ;
ATSlocal (ats_ptr_type, tmp60) ;
ATSlocal (ats_ptr_type, tmp61) ;
// ATSlocal_void (tmp62) ;
ATSlocal (anairiats_rec_1, tmp63) ;

__ats_lab_array0_make_elt_01354_ats_ptr_type:
#line 76 "array0.dats"
tmp59 = atspre_array_ptr_alloc_tsz (ats_castfn_mac(ats_size_type, arg0), sizeof(ats_ptr_type)) ;
#line 76 "array0.dats"
tmp60 = ats_selsin_mac(tmp59, atslab_2) ;
#line 77 "array0.dats"
/* ats_ptr_type tmp61 ; */
#line 77 "array0.dats"
tmp61 = arg1 ;
#line 78 "array0.dats"
/* tmp62 = */ atspre_array_ptr_initialize_elt_tsz (tmp60, ats_castfn_mac(ats_size_type, arg0), (&tmp61), sizeof(ats_ptr_type)) ;
#line 80 "array0.dats"
tmp63.atslab_2 = tmp60 ;
tmp63.atslab_3 = ats_castfn_mac(ats_size_type, arg0) ;

#line 80 "array0.dats"
tmp58 = ATS_2d0_2e2_2e6_2prelude_2SATS_2array0_2esats__array0_make_arrsz (tmp63) ;
return (tmp58) ;
} /* end of [array0_make_elt_01354_ats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 3448(line=134, offs=27) -- 3526(line=136, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_make_elt (ats_int_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp56) ;
ATSlocal (ats_size_type, tmp57) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_make_elt:
#line 135 "fgraph.dats"
tmp57 = atspre_size1_of_int1 (arg0) ;
#line 135 "fgraph.dats"
tmp56 = array0_make_elt_01354_ats_ptr_type (tmp57, arg1) ;
return (tmp56) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_make_elt] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 3599(line=140, offs=23) -- 3621(line=140, offs=45)
*/
ATSglobaldec()
ats_size_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_size (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_size_type, tmp64) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_size:
#line 140 "fgraph.dats"
tmp64 = ATS_2d0_2e2_2e6_2prelude_2SATS_2array0_2esats__array0_size (arg0) ;
return (tmp64) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_size] */

/*
// /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/array0.dats: 3020(line=108, offs=19) -- 3385(line=122, offs=4)
*/
ATSstaticdec()
ats_ptr_type
array0_get_elt_at_01357_ats_ptr_type (ats_ptr_type arg0, ats_size_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp68) ;
ATSlocal (ats_ptr_type, tmp69) ;
ATSlocal (ats_ptr_type, tmp70) ;
ATSlocal (ats_size_type, tmp71) ;
ATSlocal (ats_bool_type, tmp72) ;
ATSlocal (ats_ptr_type, tmp73) ;

__ats_lab_array0_get_elt_at_01357_ats_ptr_type:
#line 109 "array0.dats"
tmp69 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ;
#line 111 "array0.dats"
tmp70 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp69), atslab_2) ;
#line 111 "array0.dats"
tmp71 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp69), atslab_3) ;
#line 113 "array0.dats"
tmp72 = atspre_lt_size1_size1 (ats_castfn_mac(ats_size_type, arg1), tmp71) ;
#line 113 "array0.dats"
if (tmp72) {
#line 115 "array0.dats"
tmp68 = ats_caselind_mac(ats_ptr_type, tmp70, [ats_castfn_mac(ats_size_type, arg1)]) ;
} else {
#line 120 "array0.dats"
tmp73 = (ats_sum_ptr_type)(&ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__ArraySubscriptException) ;
#line 120 "array0.dats"
/* tmp68 = */ ats_raise_exn (tmp73) ;
} /* end of [if] */
return (tmp68) ;
} /* end of [array0_get_elt_at_01357_ats_ptr_type] */

/*
// /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/array0.dats: 3923(line=143, offs=26) -- 4102(line=151, offs=4)
*/
ATSstaticdec()
ats_ptr_type
array0_get_elt_at__intsz_01359_ats_ptr_type (ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp66) ;
ATSlocal (ats_bool_type, tmp67) ;
ATSlocal (ats_size_type, tmp74) ;
ATSlocal (ats_ptr_type, tmp75) ;

__ats_lab_array0_get_elt_at__intsz_01359_ats_ptr_type:
#line 146 "array0.dats"
tmp67 = atspre_igte (ats_castfn_mac(ats_int_type, arg1), 0) ;
#line 146 "array0.dats"
if (tmp67) {
#line 147 "array0.dats"
tmp74 = atspre_size1_of_int1 (ats_castfn_mac(ats_int_type, arg1)) ;
#line 147 "array0.dats"
tmp66 = array0_get_elt_at_01357_ats_ptr_type (arg0, tmp74) ;
} else {
#line 149 "array0.dats"
tmp75 = (ats_sum_ptr_type)(&ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__ArraySubscriptException) ;
#line 149 "array0.dats"
/* tmp66 = */ ats_raise_exn (tmp75) ;
} /* end of [if] */
return (tmp66) ;
} /* end of [array0_get_elt_at__intsz_01359_ats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 3675(line=144, offs=31) -- 3756(line=146, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get (ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp65) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get:
#line 145 "fgraph.dats"
tmp65 = array0_get_elt_at__intsz_01359_ats_ptr_type (arg0, ats_castfn_mac(ats_int_type, arg1)) ;
return (tmp65) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get] */

/*
// /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/array0.dats: 3451(line=124, offs=32) -- 3829(line=138, offs=4)
*/
ATSstaticdec()
ats_void_type
array0_set_elt_at_01358_ats_ptr_type (ats_ptr_type arg0, ats_size_type arg1, ats_ptr_type arg2) {
/* local vardec */
// ATSlocal_void (tmp79) ;
ATSlocal (ats_ptr_type, tmp80) ;
ATSlocal (ats_ptr_type, tmp81) ;
ATSlocal (ats_size_type, tmp82) ;
ATSlocal (ats_bool_type, tmp83) ;
ATSlocal (ats_ptr_type, tmp84) ;

__ats_lab_array0_set_elt_at_01358_ats_ptr_type:
#line 125 "array0.dats"
tmp80 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ;
#line 127 "array0.dats"
tmp81 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp80), atslab_2) ;
#line 127 "array0.dats"
tmp82 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp80), atslab_3) ;
#line 129 "array0.dats"
tmp83 = atspre_lt_size1_size1 (ats_castfn_mac(ats_size_type, arg1), tmp82) ;
#line 129 "array0.dats"
if (tmp83) {
#line 131 "array0.dats"
ats_caselind_mac(ats_ptr_type, tmp81, [ats_castfn_mac(ats_size_type, arg1)]) = arg2 ;
} else {
#line 136 "array0.dats"
tmp84 = (ats_sum_ptr_type)(&ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__ArraySubscriptException) ;
#line 136 "array0.dats"
/* tmp79 = */ ats_raise_exn (tmp84) ;
} /* end of [if] */
return /* (tmp79) */ ;
} /* end of [array0_set_elt_at_01358_ats_ptr_type] */

/*
// /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/array0.dats: 4184(line=154, offs=26) -- 4369(line=162, offs=4)
*/
ATSstaticdec()
ats_void_type
array0_set_elt_at__intsz_01360_ats_ptr_type (ats_ptr_type arg0, ats_int_type arg1, ats_ptr_type arg2) {
/* local vardec */
// ATSlocal_void (tmp77) ;
ATSlocal (ats_bool_type, tmp78) ;
ATSlocal (ats_size_type, tmp85) ;
ATSlocal (ats_ptr_type, tmp86) ;

__ats_lab_array0_set_elt_at__intsz_01360_ats_ptr_type:
#line 157 "array0.dats"
tmp78 = atspre_igte (ats_castfn_mac(ats_int_type, arg1), 0) ;
#line 157 "array0.dats"
if (tmp78) {
#line 158 "array0.dats"
tmp85 = atspre_size1_of_int1 (ats_castfn_mac(ats_int_type, arg1)) ;
#line 158 "array0.dats"
/* tmp77 = */ array0_set_elt_at_01358_ats_ptr_type (arg0, tmp85, arg2) ;
} else {
#line 160 "array0.dats"
tmp86 = (ats_sum_ptr_type)(&ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__ArraySubscriptException) ;
#line 160 "array0.dats"
/* tmp77 = */ ats_raise_exn (tmp86) ;
} /* end of [if] */
return /* (tmp77) */ ;
} /* end of [array0_set_elt_at__intsz_01360_ats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 3820(line=148, offs=31) -- 3913(line=150, offs=4)
*/
ATSglobaldec()
ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_set (ats_ptr_type arg0, ats_int_type arg1, ats_ptr_type arg2) {
/* local vardec */
// ATSlocal_void (tmp76) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_set:
#line 149 "fgraph.dats"
/* tmp76 = */ array0_set_elt_at__intsz_01360_ats_ptr_type (arg0, ats_castfn_mac(ats_int_type, arg1), arg2) ;
return /* (tmp76) */ ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_set] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgraph.dats: 3999(line=155, offs=3) -- 4604(line=170, offs=2)
*/
ATSglobaldec()
ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_edge_insert (ats_ptr_type arg0, ats_int_type arg1, ats_int_type arg2) {
/* local vardec */
// ATSlocal_void (tmp87) ;
ATSlocal (ats_ptr_type, tmp88) ;
ATSlocal (ats_ptr_type, tmp89) ;
ATSlocal (ats_ptr_type, tmp90) ;
// ATSlocal_void (tmp91) ;
ATSlocal (ats_ptr_type, tmp92) ;
ATSlocal (ats_ptr_type, tmp93) ;
ATSlocal (ats_ptr_type, tmp94) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_edge_insert:
#line 158 "fgraph.dats"
tmp88 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get (arg0, arg1) ;
#line 159 "fgraph.dats"
tmp89 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_succ_get (tmp88) ;
#line 160 "fgraph.dats"
tmp90 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_add (tmp89, arg2) ;
#line 161 "fgraph.dats"
/* tmp91 = */ fgnodeinfo_succ_set (tmp88, tmp90) ;
#line 165 "fgraph.dats"
tmp92 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get (arg0, arg2) ;
#line 166 "fgraph.dats"
tmp93 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_pred_get (tmp92) ;
#line 167 "fgraph.dats"
tmp94 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_add (tmp93, arg1) ;
#line 168 "fgraph.dats"
/* tmp87 = */ fgnodeinfo_pred_set (tmp92, tmp94) ;
return /* (tmp87) */ ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_edge_insert] */

/* static load function */

extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__staload (void) ;
extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__staload (void) ;
extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__staload (void) ;
extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__staload (void) ;
// extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats__staload (void) ;
extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array0_2edats__staload (void) ;

ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2edats__staload () {
static int _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2edats__staload_flag = 0 ;
if (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2edats__staload_flag) return ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2edats__staload_flag = 1 ;

_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__staload () ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__staload () ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__staload () ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__staload () ;
// ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats__staload () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2array0_2edats__staload () ;

return ;
} /* staload function */

/* dynamic load function */

// dynload flag declaration
extern ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2edats__dynload_flag ;

ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2edats__dynload () {
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2edats__dynload_flag = 1 ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____copy_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____free_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____assert_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */

/* marking external values for GC */

/* code for dynamic loading */
return ;
} /* end of [dynload function] */

/* external codes at mid */
/* external codes at bot */
#line 174 "fgraph.dats"


ats_void_type
fgnodeinfo_pred_set
  (ats_ptr_type info, ats_ptr_type predlst) {
  ((fgnodeinfo_t)info)->atslab_pred = predlst ; return ;
}

ats_void_type
fgnodeinfo_succ_set
  (ats_ptr_type info, ats_ptr_type succlst) {
  ((fgnodeinfo_t)info)->atslab_succ = succlst ; return ;
}

ats_void_type
fgnodeinfo_inset_set
  (ats_ptr_type info, ats_ptr_type inset) {
  ((fgnodeinfo_t)info)->atslab_inset = inset ; return ;
}

ats_void_type
fgnodeinfo_outset_set
  (ats_ptr_type info, ats_ptr_type outset) {
  ((fgnodeinfo_t)info)->atslab_outset = outset ; return ;
}



/* ****** ****** */

/* end of [fgraph_dats.c] */