public FOLDomainSkolemFunctionAddedEvent ( Object source, String skolemFunctionName ) : System | ||
source | Object | |
skolemFunctionName | String | |
return | System |
public FOLDomainSkolemFunctionAddedEvent(Object source,
String skolemFunctionName) : base(source)
{
this.skolemFunctionName = skolemFunctionName;
}