All Methods Instance Methods Default Methods
Modifier and Type	Method	Description
`default int`	`applyAsInt(Formula value)`
`default int`	`visit(Biconditional biconditional)`
`default int`	`visit(BooleanConstant booleanConstant)`
`default int`	`visit(Conjunction conjunction)`
`default int`	`visit(Disjunction disjunction)`
`default int`	`visit(FOperator fOperator)`
`default int`	`visit(GOperator gOperator)`
`default int`	`visit(Literal literal)`
`default int`	`visit(MOperator mOperator)`
`default int`	`visit(Negation negation)`
`default int`	`visit(ROperator rOperator)`
`default int`	`visit(UOperator uOperator)`
`default int`	`visit(WOperator wOperator)`
`default int`	`visit(XOperator xOperator)`

default int visit(Biconditional biconditional)

default int visit(BooleanConstant booleanConstant)

default int visit(Conjunction conjunction)

default int visit(Disjunction disjunction)

default int visit(Literal literal)

default int visit(Negation negation)

default int visit(FOperator fOperator)

default int visit(GOperator gOperator)

default int visit(MOperator mOperator)

default int visit(ROperator rOperator)

default int visit(UOperator uOperator)

default int visit(WOperator wOperator)

default int visit(XOperator xOperator)

Interface IntVisitor