AIMA.Core.Logic.FOL.Domain.FOLDomainSkolemFunctionAddedEvent.FOLDomainSkolemFunctionAddedEvent C# (CSharp) Method

        public FOLDomainSkolemFunctionAddedEvent(Object source,
                String skolemFunctionName) : base(source)
        {
            this.skolemFunctionName = skolemFunctionName;
        }