Lines Matching refs:Problem
1768 Problem of
1773 fun hasCnfConjecture (Problem {formulas,...}) =
1776 fun hasFofConjecture (Problem {formulas,...}) =
1779 fun hasConjecture (Problem {formulas,...}) =
1782 fun freeVars (Problem {formulas,...}) = freeVarsListFormula formulas;
1831 Problem
1839 {problem : Problem.problem,
2009 fun goal (Problem {formulas,...}) =
2030 fun normalize (Problem {formulas,...}) =
2110 Problem
2142 val Problem {comments,includes,formulas} = problem
2540 val Problem {formulas,...} = problem