public class FormulaConditional extends Formula
Constructor and Description |
---|
FormulaConditional(BooleanFormula p,
Formula a,
Formula b) |
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(FormulaVisitor1<T> visitor) |
public final BooleanFormula p
public final Formula a
public final Formula b
public FormulaConditional(BooleanFormula p, Formula a, Formula b)
public <T> T accept(FormulaVisitor1<T> visitor)