Lines Matching refs:interpret
991 (* Taking apart terms to interpret them. *)
1029 fun interpret tm =
1032 | Term.Fn (f,tms) => interpretFunction M (f, List.map interpret tms)
1034 interpret
1044 fun interpret V fm =
1049 | Formula.Not p => not (interpret V p)
1050 | Formula.Or (p,q) => interpret V p orelse interpret V q
1051 | Formula.And (p,q) => interpret V p andalso interpret V q
1052 | Formula.Imp (p,q) => interpret V (Formula.Or (Formula.Not p, q))
1053 | Formula.Iff (p,q) => interpret V p = interpret V q
1054 | Formula.Forall (v,p) => interpret' V p v N
1056 interpret V (Formula.Not (Formula.Forall (v, Formula.Not p)))
1058 and interpret' V fm v i =
1064 interpret V' fm andalso interpret' V fm v i
1067 interpret
1084 fun check interpret {maxChecks} M fv x =
1089 if interpret M V x then {T = T + 1, F = F} else {T = T, F = F + 1}