@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onAnd(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onAtom(this,param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onIff(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onNot(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onImplies(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onParen(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onOr(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onNot(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onImplies(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onParen(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onOr(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onIff(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onAnd(this, param); }
@Override public <V, P> V accept(LabelVisitor<V, P> visitor, P param) { return visitor.onAtom(this,param); }