|
public visitQuantifiedSentence ( |
||
| sentence | ||
| arg | Object | |
| return | Object | |
public Object visitQuantifiedSentence(QuantifiedSentence sentence,
Object arg)
{
return new QuantifiedSentence(sentence.getQuantifier(), sentence
.getVariables(), (Sentence)sentence.getQuantified().accept(
this, arg));
}
}