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, visitTRUE
public FormulaResolveUnifyVisitor(Environment env)
public Formula visitVar(FormulaVar formulaVar)
visitVar
in interface FormulaVisitor1<Formula>
visitVar
in class FormulaUnifyVisitor