(*
 * CS 671 p7 1, Spring 2014
 *
 * @author Justin Mansfield, jmc2598
 * @date   April 15, 2014
 *)

(*this is for the soduku portion*)
use "prop-sig.sml";
use "state-sig.sml";

structure BoolListState : BOOL_STATE = struct

    type value = bool
    type state = (string*value) list

    val blankState = []:state

    (*val set : state -> string * value -> state*)
    fun set _ = raise Fail "not done"

    (*val unset : state -> string -> state*)
    fun unset _ = raise Fail "not done"

    (*val get : state -> string -> value option*)
	fun get b1 c = NONE

    (*val dumpState : state -> unit*)
    fun dumpState s1 = print "dumpstate"
end

structure BoolPairState : BOOL_STATE = struct
	(* A state in which no variable is set*)
    type value = bool

    type state = (string list) * (string list)
    val blankState = ([],[]):state
    (*val set : state -> string * value -> state*)
    fun set _= raise Fail "not done"

    (*val unset : state -> string -> state*)
    fun unset _= raise Fail "not done"

    (*val get : state -> string -> value option*)
	fun get _= raise Fail "not done"

    (*val dumpState : state -> unit*)
    fun dumpState _= raise Fail "not done"
end
(*use "pairPropStub.sml";*)