Lines Matching defs:problem
182 datatype problem =
188 val hasCnfConjecture : problem -> bool
189 val hasFofConjecture : problem -> bool
190 val hasConjecture : problem -> bool
192 val freeVars : problem -> NameSet.set
199 problem : Problem.problem} -> problem
202 problem ->
204 problem : Problem.problem,
207 val goal : problem -> Formula.formula
209 val read : {mapping : mapping, filename : string} -> problem
212 {problem : problem,
223 {problem : problem,