Constructor | Description |
---|---|
DefaultConverter() |
Modifier and Type | Method | Description |
---|---|---|
Formula |
apply(Formula formula) |
|
static Transformer |
asTransformer(Visitor<Formula> converter) |
|
Formula |
visit(BooleanConstant booleanConstant) |
|
Formula |
visit(Conjunction conjunction) |
|
Formula |
visit(Disjunction disjunction) |
|
Formula |
visit(FOperator fOperator) |
|
Formula |
visit(FrequencyG freq) |
|
Formula |
visit(GOperator gOperator) |
|
Formula |
visit(Literal literal) |
|
Formula |
visit(MOperator mOperator) |
|
Formula |
visit(ROperator rOperator) |
|
Formula |
visit(UOperator uOperator) |
|
Formula |
visit(WOperator wOperator) |
|
Formula |
visit(XOperator xOperator) |
public static Transformer asTransformer(Visitor<Formula> converter)
public Formula visit(BooleanConstant booleanConstant)
public Formula visit(Conjunction conjunction)
public Formula visit(Disjunction disjunction)
public Formula visit(FrequencyG freq)