public static bool TTEntails(ILogicalExpression kb, ILogicalExpression query)
{
var kbSymbols = kb.GetSymbols();
var querySymbols = query.GetSymbols();
kbSymbols.AddRange(querySymbols);
return(TTCheckAll(kb, query, kbSymbols, new Dictionary <CellSymbol, bool>()));
}
public List <CellSymbol> GetSymbols()
{
return(logic.GetSymbols());
}