IntVisitor
public final class PropositionVisitor extends java.lang.Object implements IntVisitor
Modifier and Type | Method | Description |
---|---|---|
static java.util.Deque<Formula> |
extractPropositions(Formula formula) |
|
int |
visit(BooleanConstant booleanConstant) |
|
int |
visit(Conjunction conjunction) |
|
int |
visit(Disjunction disjunction) |
|
int |
visit(FOperator fOperator) |
|
int |
visit(FrequencyG freq) |
|
int |
visit(GOperator gOperator) |
|
int |
visit(Literal literal) |
|
int |
visit(MOperator mOperator) |
|
int |
visit(ROperator rOperator) |
|
int |
visit(UOperator uOperator) |
|
int |
visit(WOperator wOperator) |
|
int |
visit(XOperator xOperator) |
public int visit(BooleanConstant booleanConstant)
visit
in interface IntVisitor
public int visit(Conjunction conjunction)
visit
in interface IntVisitor
public int visit(Disjunction disjunction)
visit
in interface IntVisitor
public int visit(FOperator fOperator)
visit
in interface IntVisitor
public int visit(FrequencyG freq)
visit
in interface IntVisitor
public int visit(GOperator gOperator)
visit
in interface IntVisitor
public int visit(Literal literal)
visit
in interface IntVisitor
public int visit(MOperator mOperator)
visit
in interface IntVisitor
public int visit(ROperator rOperator)
visit
in interface IntVisitor
public int visit(UOperator uOperator)
visit
in interface IntVisitor
public int visit(WOperator wOperator)
visit
in interface IntVisitor
public int visit(XOperator xOperator)
visit
in interface IntVisitor