public class FormulaVar extends Formula
java.lang.String
name
boolean
positive
FormulaVar(java.lang.String name, boolean positive)
<T> T
accept(FormulaVisitor1<T> visitor)
Formula
negative()
withSign
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final java.lang.String name
public final boolean positive
public FormulaVar(java.lang.String name, boolean positive)
public Formula negative()
negative
public <T> T accept(FormulaVisitor1<T> visitor)
accept