Modifier and Type | Method | Description |
---|---|---|
static java.lang.String |
toString(Formula formula,
java.util.List<java.lang.String> variableMapping) |
|
static java.lang.String |
toString(Formula formula,
java.util.List<java.lang.String> variableMapping,
boolean parenthesize) |
|
static java.lang.String |
toString(LabelledFormula formula,
boolean parenthesize) |
|
java.lang.String |
visit(BooleanConstant booleanConstant) |
|
java.lang.String |
visit(Conjunction conjunction) |
|
java.lang.String |
visit(Disjunction disjunction) |
|
java.lang.String |
visit(FOperator fOperator) |
|
java.lang.String |
visit(FrequencyG freq) |
|
java.lang.String |
visit(GOperator gOperator) |
|
java.lang.String |
visit(Literal literal) |
|
java.lang.String |
visit(MOperator mOperator) |
|
java.lang.String |
visit(ROperator rOperator) |
|
java.lang.String |
visit(UOperator uOperator) |
|
java.lang.String |
visit(WOperator wOperator) |
|
java.lang.String |
visit(XOperator xOperator) |
public static java.lang.String toString(Formula formula, java.util.List<java.lang.String> variableMapping)
public static java.lang.String toString(Formula formula, @Nullable java.util.List<java.lang.String> variableMapping, boolean parenthesize)
public static java.lang.String toString(LabelledFormula formula, boolean parenthesize)
public java.lang.String visit(BooleanConstant booleanConstant)
public java.lang.String visit(Conjunction conjunction)
public java.lang.String visit(Disjunction disjunction)
public java.lang.String visit(FOperator fOperator)
public java.lang.String visit(FrequencyG freq)
public java.lang.String visit(GOperator gOperator)
public java.lang.String visit(Literal literal)
public java.lang.String visit(MOperator mOperator)
public java.lang.String visit(ROperator rOperator)
public java.lang.String visit(UOperator uOperator)
public java.lang.String visit(WOperator wOperator)