AIMA.Core.Logic.FOL.KB.Data.Literal.newInstance C# (CSharp) Method

        public virtual Literal newInstance(AtomicSentence atom)
        {
            return new Literal(atom, negativeLiteral);
        }

 public Literal subst(Dictionary<Variable, Term> theta, Literal aLiteral)
 {
     return aLiteral.newInstance((AtomicSentence)aLiteral
             .getAtomicSentence().accept(this, theta));
 }