AIMA.Core.Logic.FOL.Domain.FOLDomainSkolemFunctionAddedEvent.getSkolemConstantName C# (CSharp) Метод

Документация по классу FOLDomainSkolemFunctionAddedEvent Показать файл Открыть проект

getSkolemConstantName() публичный Метод

public getSkolemConstantName ( ) : String
Результат String 
        public String getSkolemConstantName()
        {
            return skolemFunctionName;
        }
FOLDomainSkolemFunctionAddedEvent
FOLDomainSkolemFunctionAddedEvent
getSkolemConstantName
notifyListener