C# Класс AIMA.Core.Logic.FOL.Domain.FOLDomainSkolemFunctionAddedEvent

Наследование: FOLDomainEvent

Показать файл Открыть проект

Открытые методы

Метод	Описание
FOLDomainSkolemFunctionAddedEvent ( Object source, String skolemFunctionName ) : System
getSkolemConstantName ( ) : String
notifyListener ( FOLDomainListener listener ) : void

Описание методов

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

public FOLDomainSkolemFunctionAddedEvent ( Object source, String skolemFunctionName ) : System
source	Object
skolemFunctionName	String
Результат	System

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

public getSkolemConstantName ( ) : String
Результат	String

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

public notifyListener ( FOLDomainListener listener ) : void
listener	FOLDomainListener
Результат	void