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

FOLDomainSkolemConstantAddedEvent Class Documentation Show file Open project: PaulMineau/AIMA.Net

getSkolemConstantName() public method

public getSkolemConstantName ( ) : String
return String 
	public String getSkolemConstantName() {
		return skolemConstantName;
	}
FOLDomainSkolemConstantAddedEvent
FOLDomainSkolemConstantAddedEvent
getSkolemConstantName
notifyListener