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