proj3 - Project 3 Overview CMSC 330: Organization of...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CMSC 330: Organization of Programming Languages 2 Project 3 Overview • Values True, False • Operations Not, And, Or, Forall, Exists • Variable assignments lists of 2-tuples (‘a’, true) • Determine satisfiability of boolean formulae • 1 bit formula evaluating to True or False • N-bit integer list of n formulae • Addition operation on lists of formulae – Represent magic square as boolean formulae • Using addition, comparison 3 Starting OCaml Code – boolean.ml • Type formula – Represents boolean formulae • type formula = False | True | Var of char | And of formula * formula | Or of formula * formula | Not of formula | Forall of char * formula | Exists of char * formula 4 Project Notes – bool (native data like int, float) • true, false
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/13/2012 for the course CMSC 330 taught by Professor Staff during the Fall '08 term at Maryland.

Page1 / 2

proj3 - Project 3 Overview CMSC 330: Organization of...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online