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 removeFOLDomainListener(FOLDomainListener listener)
{
lock (listeners)
{
listeners.Remove(listener);
}
}
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 override void notifyListener(FOLDomainListener listener)
{
listener.skolemConstantAdded(this);
}
public abstract void notifyListener(FOLDomainListener listener);
public abstract void notifyListener(FOLDomainListener listener);
public override void notifyListener(FOLDomainListener listener)
{
listener.answerLiteralNameAdded(this);
}
public override void notifyListener(FOLDomainListener listener)
{
listener.skolemFunctionAdded(this);
}