KekLib.LogicalExpression

LogicalExpression.py

Copyright (c) 2021, Masatsuyo Takahashi, KEK-PF

class LogicalExpression(closure)

Bases: object

analyze(closure)

evaluate()

get_reason(judge)

tracer(*args)

class PrintNodeVisitor

Bases: NodeVisitor

visit(node)

Visit a node.

spike()