Beispiel #1
0
 public override Node ReplaceObjectVariableNewNode(char from, char to)
 {
     return(new UniversalQuantifier(Variable, Proposition.ReplaceObjectVariableNewNode(from, to)));
 }