Module Expr Str Import alias ClassDef bases NameLoad body Expr Str FunctionDef arguments args NameParam NameParam defaults body Expr Str Assign AttributeStore NameLoad attr ListLoad For NameStore Call NameLoad NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Return Call AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str If Call AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index NameLoad attr NameLoad body Return Assign NameStore SubscriptLoad AttributeLoad NameLoad attr Index NameLoad Assign NameStore Call NameLoad AttributeLoad NameLoad attr For NameStore Call NameLoad NameLoad body If Call AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index NameLoad attr NameLoad body Expr Call AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str Return SubscriptLoad AttributeLoad NameLoad attr Index NameLoad decorator_list decorator_list If CompareEq NameLoad Str body FunctionDef arguments args NameParam defaults body Expr Str Print Num Call AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr Print Num Call AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr Print Num Call AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr Print Num Call AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr Print Num Call AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr Print Num Call AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr Print Str decorator_list Assign NameStore Call NameLoad Num Print NameLoad Expr Call NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Num Num Expr Call NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Num Num Expr Call NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Num Num Expr Call NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Num Num Expr Call NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Num Num Expr Call NameLoad NameLoad
N/A N/A 
bit encoding of derivability relationships between syntax types
 N/A ellyBits DerivabilityMatrix N/A object N/A N/A 
    binary transitive closure matrix for derivability of syntax types

    attributes:
        dm   - row matrix
     __init__ N/A N/A self nmax N/A N/A N/A 
        initialization

        arguments:
            self  -
            nmax  - how many syntactic types to encode
         N/A N/A self dm N/A N/A i N/A range nmax N/A N/A rw N/A N/A ellyBits EllyBits nmax N/A N/A N/A rw set i N/A N/A N/A N/A self dm append rw N/A derivable N/A N/A self n gbs N/A N/A N/A 
        check whether any specified bits are on in specified matrix row

        arguments:
            self  -
            n     - which row, corresponding to syntactic type
            gbs   - goal bits to check

        returns:
            True if specified bit is on, False otherwise
         N/A N/A N/A N/A N/A self dm N/A n intersect gbs N/A join N/A N/A self left rght N/A N/A N/A 
        update derivability with information that left->rght or left-> rght x

        arguments:
            self  -
            left  - syntax type derivable from left  of rule
            rght  - syntax type derived   from right of rule
         N/A N/A N/A N/A N/A self dm N/A rght test left N/A N/A N/A rw N/A N/A self dm N/A left N/A lm N/A len N/A self dm N/A i N/A range lm N/A N/A N/A N/A N/A N/A self dm N/A i test rght N/A N/A N/A N/A N/A N/A self dm N/A i combine rw N/A row N/A N/A self n N/A N/A N/A 
        get row of matrix

        arguments:
            self  -
            n     - row index, corresponding to syntactic type

        returns:
            specified row as EllyBits
         N/A N/A N/A self dm N/A n N/A N/A N/A N/A __name__ __main__ N/A dump N/A N/A m N/A N/A N/A  to show bits in matrix for testing
         N/A 0 N/A N/A N/A N/A m dm N/A 0 hexadecimal N/A 1 N/A N/A N/A N/A m dm N/A 1 hexadecimal N/A 2 N/A N/A N/A N/A m dm N/A 2 hexadecimal N/A 3 N/A N/A N/A N/A m dm N/A 3 hexadecimal N/A 4 N/A N/A N/A N/A m dm N/A 4 hexadecimal N/A 5 N/A N/A N/A N/A m dm N/A 5 hexadecimal N/A N/A N/A mtx N/A DerivabilityMatrix 24 N/A mtx N/A N/A dump mtx N/A N/A N/A mtx join 0 1 N/A N/A dump mtx N/A N/A N/A mtx join 2 3 N/A N/A dump mtx N/A N/A N/A mtx join 1 2 N/A N/A dump mtx N/A N/A N/A mtx join 3 4 N/A N/A dump mtx N/A N/A N/A mtx join 4 5 N/A N/A dump mtx