Module Import alias Import alias identifier ClassDef bases AttributeLoad NameLoad attr body FunctionDef arguments args NameParam defaults body Assign NameStore Call AttributeLoad Call AttributeLoad NameLoad attr attr Assign NameStore ListComp Call AttributeLoad NameLoad attr comprehension NameStore NameLoad For NameStore NameLoad body Expr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr NameLoad Call AttributeLoad NameLoad attr NameLoad BinOpMod Str Call NameLoad NameLoad decorator_list decorator_list
N/A N/A unittest N/A ufora.FORA.python.Runtime Runtime AxiomsTest N/A N/A unittest TestCase N/A testAxiomLookups N/A N/A self N/A N/A N/A axioms N/A N/A N/A N/A Runtime getMainRuntime getAxioms N/A jmtsToTest N/A N/A N/A axiom signature N/A axiom axioms N/A tupJmt jmtsToTest N/A N/A N/A N/A self assertEqual N/A N/A axioms axiomSearchLinear tupJmt N/A N/A axioms axiomSearchTree tupJmt N/A Didn't produce same results for %s N/A str tupJmt N/A N/A