treecalc.comp.js
Class JSFormula

java.lang.Object
  treecalc.comp.js.JSFormula

public class JSFormula
extends java.lang.Object

Method Summary

void	and(TcAst node)
void	binop(TcAst node)
static java.lang.Object[]	dropFirstElement(java.lang.Object[] a)
static java.lang.String	getConstNameInMethod(treecalc.rt.V constant)
static boolean	isSimple(ModelSimple model, TcAst node)
boolean	isSimple(TcAst node)
void	or(TcAst node)
static PrintFormulaInfos	printFormula(java.io.PrintStream out, TcAst astFormula, ModelSimple model, int indent, java.lang.String prefix, java.lang.String postfix)
void	unop(TcAst node)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getConstNameInMethod

public static java.lang.String getConstNameInMethod(treecalc.rt.V constant)

dropFirstElement

public static java.lang.Object[] dropFirstElement(java.lang.Object[] a)

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,
                                             int indent,
                                             java.lang.String prefix,
                                             java.lang.String postfix)

isSimple

public static boolean isSimple(ModelSimple model,
                               TcAst node)

isSimple

public boolean isSimple(TcAst node)