Lines Matching defs:model
77 (* A model of size N has integer elements 0...N-1. *)
107 (* The parts of the model that are fixed. *)
247 (* Renaming fixed model parts. *)
296 (* Standard fixed model parts. *)
926 datatype model =
976 (* A default model *)
1004 (* Interpreting terms and formulas in the model. *)
1080 (* Check whether random groundings of a formula are true in the model. *)
1119 (* Updating the model. *)
1164 (* Perturbing the model. *)