AIMA.Core.Logic.FOL.KB.Data.Chain.getLiterals C# (CSharp) Method

        public List<Literal> getLiterals()
        {
            return new ReadOnlyCollection<Literal>(literals).ToList<Literal>();
        }

        public static int standardizeApart(Chain c, int saIdx) {
		List<Variable> variables = new List<Variable>();
		foreach (Literal l in c.getLiterals()) {
			collectAllVariables(l.getAtomicSentence(), variables);
		}

		return standardizeApart(variables, c, saIdx);
	}