AIMA.Core.Logic.Propositional.Algorithms.PLResolution.ClauseSymbols.getComplementedSymbols C# (CSharp) Method

            public List<Symbol> getComplementedSymbols()
            {
                return SetOps.union(positiveInClause1NegativeInClause2,
                        negativeInClause1PositiveInClause2);
            }