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