public bool ttCheckAll(Sentence kbSentence, Sentence querySentence,
ArrayList symbols, Model model)
{
if (symbols.Count == 0)
{
if (model.isTrue(kbSentence))
{
//System.out.println("#");
return(model.isTrue(querySentence));
}
else
{
//System.out.println("0");
return(true);
}
}
else
{
Symbol symbol = (Symbol)Util.first(symbols);
ArrayList rest = Util.rest(symbols);
Model trueModel = model.extend(new Symbol(symbol.getValue()), true);
Model falseModel = model.extend(new Symbol(symbol.getValue()),
false);
return(ttCheckAll(kbSentence, querySentence, rest, trueModel) && (ttCheckAll(
kbSentence, querySentence, rest, falseModel)));
}
}
public bool ttCheckAll(Sentence kbSentence, Sentence querySentence,
ArrayList symbols, Model model)
{
if (symbols.Count == 0)
{
if (model.isTrue(kbSentence))
{
//System.out.println("#");
return model.isTrue(querySentence);
}
else
{
//System.out.println("0");
return true;
}
}
else
{
Symbol symbol = (Symbol)Util.first(symbols);
ArrayList rest = Util.rest(symbols);
Model trueModel = model.extend(new Symbol(symbol.getValue()), true);
Model falseModel = model.extend(new Symbol(symbol.getValue()),
false);
return (ttCheckAll(kbSentence, querySentence, rest, trueModel) && (ttCheckAll(
kbSentence, querySentence, rest, falseModel)));
}
}
