001    package aima.logic.fol.domain;
002    
003    /**
004     * @author Ciaran O'Reilly
005     * 
006     */
007    public class FOLDomainSkolemFunctionAddedEvent extends FOLDomainEvent {
008    
009            private static final long serialVersionUID = 1L;
010    
011            private String skolemFunctionName;
012    
013            public FOLDomainSkolemFunctionAddedEvent(Object source,
014                            String skolemFunctionName) {
015                    super(source);
016    
017                    this.skolemFunctionName = skolemFunctionName;
018            }
019    
020            public String getSkolemConstantName() {
021                    return skolemFunctionName;
022            }
023    
024            public void notifyListener(FOLDomainListener listener) {
025                    listener.skolemFunctionAdded(this);
026            }
027    }