private bool areAllClausesTrue(Model model, List<Sentence> clauseList)
{
for (int i = 0; i < clauseList.Count; i++)
{
Sentence clause = (Sentence)clauseList[i];
// System.Console.WriteLine("evaluating " + clause.ToString());
if (!isClauseTrueInModel(clause, model))
{ // ie if false or
// UNKNOWN
// System.Console.WriteLine(clause.ToString()+ " is not true");
return false;
}
}
return true;
}