What does (true opl (false op2 true)) evaluate to? ○ true ○ false Recall that Operational Semantics gives meaning to expressions by the operations performed. Consider the two operational semantic rules for two languages A and B. OCaml will be the meta- language for both. Language A A; true true A; false false A; e1 ⇒v1 A; e2 ⇒ V2 A; (e1 opl e2) V3 = if v₁ then V2 else V1 v3 A; e1⇒v1 A; e2 ⇒ V2 v3 if v₁ then v₁ else v₂ A; (e1 op2 e2) v3 Language B A; true true A; false => false A; e1 ⇒v1 A; e2 ⇒ V2 V3 = v₁ && v₂ A; op3 e₁ e2 V3 A; e1 ⇒v1 A; e2 ⇒ V2 v3 = v1 || v2 A; op4 e₁ e2 ⇒ V3

Consider the definition of the class product Type as given in Exercise 8. Answer the following questions. (1, 2, 3, 5, 7) a. Write the definition of the function set so that instance variables are set according to the paramaters. Instance variables quantitieslnStock, price, and discount must be nonnegative. b. Write the definition of the function print to output the values of the instance variables. c Write the definition of the function setQuantitiesInStock to set the value of the instance variable quantitiesInStock according to the parameter. d. Write the definition of the function updateQuantitiesInStock to update the value of instance variable quantitiesInStock by adding the value of the parameter. e. Write the definition of the function getQuantitiesInStock to return the value of instance variable quantitiesInStock. f. Write the definition of the function setPrice to set the value of the instance variable price according to the parameter. g. Write the definition of the function getPrice to return the value of the instance variable price. h. Write the definition of the function setDiscount to set the value of the instance variable discount according to the parameter. i. Write the definition of the function getDiscount to return the value of the instance variable discount.

Assume the definition of class houseType as given in Exercise 11. Answer the following questions. (1, 2, 3, 5, 7) a. Write the definition of the member function set so that private members are set according to the parameters. b. Write the definition of the member function print that prints the values of the data members. c. Write the definition of the constructor of the class houseType so that the private member variables are initialized to according to the parameters. d. Write a C++ statement that prints the value of the object newHouse. e. Write a C + + statement that declares an object house of type newHouse, and initializes the member variables of house to "Ranch", 3, 2, 2, 2005, 1300, 185000, and 3600.0, respectively. f. Which function members are accessors and which are mutators?