#!/usr/bin/env wish
# generated by: rp2luc

lappend auto_path  $::env(LUSTRE_INSTALL)/tcl
package require Luciole 2.0
namespace import luc::*

# uncomment for debugging
# luc::set_dbg 1

# change font magnification (%)
ezfont::scale 20

ecexe game "./game.ec" {
   { "c_0_0" "bool" }
   { "c_0_1" "bool" }
   { "c_0_2" "bool" }
   { "c_1_0" "bool" }
   { "c_1_1" "bool" }
   { "c_1_2" "bool" }
   { "c_2_0" "bool" }
   { "c_2_1" "bool" }
   { "c_2_2" "bool" }
   { "start" "bool" }
} {
   { "x_0_0" "int" }
   { "x_0_1" "int" }
   { "x_0_2" "int" }
   { "x_1_0" "int" }
   { "x_1_1" "int" }
   { "x_1_2" "int" }
   { "x_2_0" "int" }
   { "x_2_1" "int" }
   { "x_2_2" "int" }
   { "win" "bool" }
}

panel inputs col -text "Inputs" {
 $c_0_0 $c_0_1 $c_0_2 $c_1_0 $c_1_1 $c_1_2 $c_2_0 $c_2_1 $c_2_2 $start
}

panel outputs col -text "Outputs" {
 $x_0_0 $x_0_1 $x_0_2 $x_1_0 $x_1_1 $x_1_2 $x_2_0 $x_2_1 $x_2_2 $win
}

stdgui line {
   $inputs
   $outputs
}

