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

FOLDomainSkolemFunctionAddedEvent Class Documentation Mostra file Open project: PaulMineau/AIMA.Net

getSkolemConstantName() public method

public getSkolemConstantName ( ) : String
return String 
        public String getSkolemConstantName()
        {
            return skolemFunctionName;
        }
FOLDomainSkolemFunctionAddedEvent
FOLDomainSkolemFunctionAddedEvent
getSkolemConstantName
notifyListener