treecalc.comp.vm
Class VmFormula
java.lang.Object
treecalc.comp.vm.VmFormula
public class VmFormula
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
unop
public void unop(TcAst node)
or
public void or(TcAst node)
and
public void and(TcAst node)
binop
public void binop(TcAst node)
printFormula
public static PrintFormulaInfos printFormula(java.io.PrintStream out,
TcAst astFormula,
ModelSimple model)
isSimple
public static boolean isSimple(ModelSimple model,
TcAst node)
isSimple
public boolean isSimple(TcAst node)
generate
public static void generate(ModelSimple model,
java.lang.String foldernameout,
java.lang.String packagename)
throws java.io.IOException
- Throws:
java.io.IOException
Copyright © 2013. All Rights Reserved.