/**
* Allow a PLVisitor to walk over the abstract syntax tree represented by this
* Sentence.
*
* @param plv
* a Propositional Logic visitor.
* @param arg
* an optional argument for use by the visior.
* @return a result specific to the visitors behavior.
*/
public virtual R accept <A, R>(PLVisitor <A, R> plv, A arg)
{
R result = default(R);
if (isPropositionSymbol())
{
result = plv.visitPropositionSymbol((PropositionSymbol)this, arg);
}
else if (isUnarySentence())
{
result = plv.visitUnarySentence((ComplexSentence)this, arg);
}
else if (isBinarySentence())
{
result = plv.visitBinarySentence((ComplexSentence)this, arg);
}
return(result);
}
public override Object accept(PLVisitor plv, Object arg)
{
return plv.visitBinarySentence(this, arg);
}
public override Object accept(PLVisitor plv, Object arg)
{
return(plv.visitBinarySentence(this, arg));
}
