public final class AAndBinop extends PBinop
AAndBinop()
AAndBinop(TAnd _and_)
void
apply(Switch sw)
java.lang.Object
clone()
TAnd
getAnd()
setAnd(TAnd node)
java.lang.String
toString()
cloneList, cloneNode, parent, replaceBy, toString, toString
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public AAndBinop()
public AAndBinop(TAnd _and_)
public java.lang.Object clone()
clone
Node
public void apply(Switch sw)
public TAnd getAnd()
public void setAnd(TAnd node)
public java.lang.String toString()
toString