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()); }