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