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

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

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

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

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

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

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

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

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

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

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

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