public getNegativeSymbolsIn ( |
||
sentence | ||
Результат | List |
// // PRIVATE METHODS // private List<Sentence> filterOutClausesWithTwoComplementaryLiterals( List<Sentence> clauses) { List<Sentence> filtered = new List<Sentence>(); SymbolClassifier classifier = new SymbolClassifier(); foreach(Sentence clause in clauses) { List<Symbol> positiveSymbols = classifier .getPositiveSymbolsIn(clause); List<Symbol> negativeSymbols = classifier .getNegativeSymbolsIn(clause); if ((SetOps.intersection(positiveSymbols, negativeSymbols).Count == 0)) { filtered.Add(clause); } } return filtered; }
public ClauseSymbols(Sentence clause1, Sentence clause2) { SymbolClassifier classifier = new SymbolClassifier(); clause1Symbols = classifier.getSymbolsIn(clause1); clause1PositiveSymbols = classifier.getPositiveSymbolsIn(clause1); clause1NegativeSymbols = classifier.getNegativeSymbolsIn(clause1); clause2Symbols = classifier.getSymbolsIn(clause2); clause2PositiveSymbols = classifier.getPositiveSymbolsIn(clause2); clause2NegativeSymbols = classifier.getNegativeSymbolsIn(clause2); positiveInClause1NegativeInClause2 = SetOps.intersection( clause1PositiveSymbols, clause2NegativeSymbols); negativeInClause1PositiveInClause2 = SetOps.intersection( clause1NegativeSymbols, clause2PositiveSymbols); }