public void addFOLDomainListener(FOLDomainListener listener) { if (!listeners.Contains(listener)) { listeners.Add(listener); } }
public void removeFOLDomainListener(FOLDomainListener listener) { lock (listeners) { listeners.Remove(listener); } }
public override void notifyListener(FOLDomainListener listener) { listener.answerLiteralNameAdded(this); }
public void addFOLDomainListener(FOLDomainListener listener) { lock (listeners) { if (!listeners.Contains(listener)) { listeners.Add(listener); } } }
public override void notifyListener(FOLDomainListener listener) { listener.skolemFunctionAdded(this); }
public override void notifyListener(FOLDomainListener listener) { listener.skolemConstantAdded(this); }
public abstract void notifyListener(FOLDomainListener listener);