Muscat.FE.WeakForms.ASTOperations module¶

CheckASTWeakForm(GUI: bool = False) → str[source]¶

CheckDiffWeakForm(GUI: bool = False) → str[source]¶

CheckIntegrity(GUI: bool = False)[source]¶

amountTemporaryValues(tree: ASTWeakForm)[source]¶

getOptimizedTree(exp, knownFields=[], ipFields=[], constants={})[source]¶

getPartialTrees(expr: Expr, testFields: List, knownFields: List[str], ipFields: List[str], constants) → tuple[List[ASTWeakForm], List][source]¶

getTree(expr: Expr, knownFields: List[str], ipFields: List[str], constants) → ASTWeakForm[source]¶

leftBalance(tree: ASTWeakForm) → int[source]¶