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

Inheritance: FOLDomainEvent

Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

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

Method Details

FOLDomainSkolemConstantAddedEvent() public méthode

public FOLDomainSkolemConstantAddedEvent ( Object source, String skolemConstantName ) : System
source	Object
skolemConstantName	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