On 01/11/2015 02:19 PM, Anthony Carrico wrote: > Here is some fake code that shows (partially) the data structures in > delta blue's pseudo code:
Actually, I in my pseudo code, this definition for Variable is wrong, because it implies that every constraint on this variable has the same type. In fact, the variable could have any set of constraints as long as one of the "columns" of the relation has type Tv: > (struct (Tv T ...) Variable > ((value : Tv) > (constraints : (Listof (Constraint T ...)))) > #:mutable > #:transparent) -- Anthony Carrico
signature.asc
Description: OpenPGP digital signature
____________________ Racket Users list: http://lists.racket-lang.org/users
