C# Class AIMA.Core.Logic.FOL.Domain.FOLDomainSkolemFunctionAddedEvent

Inheritance: FOLDomainEvent
Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

Méthode Description
FOLDomainSkolemFunctionAddedEvent ( Object source, String skolemFunctionName ) : System
getSkolemConstantName ( ) : String
notifyListener ( FOLDomainListener listener ) : void

Method Details

FOLDomainSkolemFunctionAddedEvent() public méthode

public FOLDomainSkolemFunctionAddedEvent ( Object source, String skolemFunctionName ) : System
source Object
skolemFunctionName String
Résultat System

getSkolemConstantName() public méthode

public getSkolemConstantName ( ) : String
Résultat String

notifyListener() public méthode

public notifyListener ( FOLDomainListener listener ) : void
listener FOLDomainListener
Résultat void