#!/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 col0 col {
	col { $x_0_0 hbar { $c_0_0}}
	col { $x_0_1 hbar { $c_0_1}}
	col { $x_0_2 hbar { $c_0_2}}
}

panel col1 col {
	col { $x_1_0 hbar { $c_1_0}}
	col { $x_1_1 hbar { $c_1_1}}
	col { $x_1_2 hbar { $c_1_2}}
}

panel col2 col {
	col { $x_2_0 hbar { $c_2_0}}
	col { $x_2_1 hbar { $c_2_1}}
	col { $x_2_2 hbar { $c_2_2}}
}

stdgui col {
	line {
   	$col0
   	$col1
   	$col2
	}
	$start
	$win
	
}

