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

        public String addSkolemFunction()
        {
            String sf = null;
            do
            {
                sf = "SF" + (skolemFunctionIndexical++);
            } while (constants.Contains(sf) || functions.Contains(sf)
                    || predicates.Contains(sf));

            addFunction(sf);
            notifyFOLDomainListeners(new FOLDomainSkolemFunctionAddedEvent(this, sf));

            return sf;
        }