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()#