public class FormulaNonDataVar extends Formula
Constructor and Description |
---|
FormulaNonDataVar(java.lang.String name,
boolean positive) |
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(FormulaVisitor1<T> visitor) |
Formula |
negative() |