public abstract class FormulaBinary extends Formula
Formula
a
b
FormulaBinary(Formula a, Formula b)
accept, negative, withSign
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final Formula a
public final Formula b
public FormulaBinary(Formula a, Formula b)