public class FormulaResolveUnifyVisitor extends FormulaUnifyVisitor
| Constructor and Description |
|---|
FormulaResolveUnifyVisitor(Environment env) |
| Modifier and Type | Method and Description |
|---|---|
Formula |
visitVar(FormulaVar formulaVar) |
visitAdd, visitAND, visitConditional, visitDiv, visitEqual, visitFALSE, visitFunc, visitLess, visitLessEqual, visitMul, visitNonDataVar, visitNotEqual, visitNum, visitOR, visitPow, visitSub, visitTRUEpublic FormulaResolveUnifyVisitor(Environment env)
public Formula visitVar(FormulaVar formulaVar)
visitVar in interface FormulaVisitor1<Formula>visitVar in class FormulaUnifyVisitor