petab.v1.math.SympyVisitor

PEtab-math to sympy conversion.

Functions

bool2num(x)

Convert sympy Booleans to Floats.

num2bool(x)

Convert sympy Floats to booleans.

Classes

MathVisitorSympy([evaluate])

ANTLR4 visitor for PEtab-math-to-sympy conversion.
class petab.v1.math.SympyVisitor.MathVisitorSympy(evaluate=True)[source]

Bases: PetabMathExprParserVisitor

ANTLR4 visitor for PEtab-math-to-sympy conversion.

Visitor for PEtab math expression AST generated using ANTLR4. Converts PEtab math expressions to sympy expressions.

Most users will not need to interact with this class directly, but rather use petab.math.sympify_petab().

Evaluation of any sub-expressions currently relies on sympy’s defaults.

For a general introduction to ANTLR4 visitors, see: https://github.com/antlr/antlr4/blob/7d4cea92bc3f7d709f09c3f1ac77c5bbc71a6749/doc/python-target.md

Parameters:

evaluate – Whether to evaluate the expression.

visitAddExpr(ctx: AddExprContext) → Expr[source]

Convert addition and subtraction expressions to sympy.

visitArgumentList(ctx: ArgumentListContext) → list[Basic | Expr][source]

Convert function argument lists to a list of sympy expressions.

visitBooleanAndOrExpr(ctx: BooleanAndOrExprContext) → Basic | Expr[source]

Convert boolean AND and OR expressions to sympy.

visitBooleanLiteral(ctx: BooleanLiteralContext) → Boolean[source]

Convert boolean literals to sympy.

visitBooleanNotExpr(ctx: BooleanNotExprContext) → Basic | Expr[source]

Convert boolean NOT expressions to sympy.

visitComparisonExpr(ctx: ComparisonExprContext) → Basic | Expr[source]

Convert comparison expressions to sympy.

visitFunctionCall(ctx: FunctionCallContext) → Expr[source]

Convert function call to sympy expression.

visitMultExpr(ctx: MultExprContext) → Expr[source]

Convert multiplication and division expressions to sympy.

visitNumber(ctx: NumberContext) → Float[source]

Convert number to sympy Float.

visitParenExpr(ctx: ParenExprContext)[source]

Convert parenthesized expression to sympy.

visitPetabExpression(ctx: PetabExpressionContext) → Expr | Basic[source]

Visit the root of the expression tree.

visitPowerExpr(ctx: PowerExprContext) → Pow[source]

Convert power expression to sympy.

visitUnaryExpr(ctx: UnaryExprContext) → Basic | Expr[source]

Convert unary expressions to sympy.

visitVar(ctx: VarContext) → Symbol[source]

Convert identifier to sympy Symbol.