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 Model extend(string s, bool b)
{
Model m = new Model();
//iterator i = this.h.keySet().iterator();
//while (i.hasNext())
foreach (string key in this.h.Keys)
{
//String key = i.next();
bool value = (bool)h[key];
string newKey = new string(((string) key).ToCharArray());
// if (value == null)
// {
// throw new Exception();
// }
m.h.Add(key, value);
}
m.h.Add(s, b);
return m;
}
public Model extend(Symbol symbol, bool b)
{
Model m = new Model();
return extend(symbol.getValue(),b);
}
