SYMBOL INDEX (795 symbols across 41 files) FILE: dd/_abc.py function _literals_of (line 18) | def _literals_of( function _literals_of_recurse (line 30) | def _literals_of_recurse( class BDD (line 147) | class BDD(_ty.Protocol[Ref]): method __init__ (line 152) | def __init__( method __eq__ (line 160) | def __eq__( method __len__ (line 166) | def __len__( method __contains__ (line 171) | def __contains__( method __str__ (line 178) | def __str__( method configure (line 183) | def configure( method statistics (line 191) | def statistics( method succ (line 200) | def succ( method declare (line 211) | def declare( method var (line 223) | def var( method var_at_level (line 230) | def var_at_level( method level_of_var (line 237) | def level_of_var( method var_levels (line 247) | def var_levels( method copy (line 252) | def copy( method support (line 261) | def support( method let (line 277) | def let( method forall (line 292) | def forall( method exist (line 302) | def exist( method count (line 312) | def count( method pick (line 331) | def pick( method pick_iter (line 376) | def pick_iter( method add_expr (line 404) | def add_expr( method to_expr (line 415) | def to_expr( method ite (line 422) | def ite( method apply (line 441) | def apply( method _add_int (line 456) | def _add_int( method cube (line 463) | def cube( method dump (line 471) | def dump( method load (line 511) | def load( method false (line 537) | def false( method true (line 543) | def true( function reorder (line 549) | def reorder( class Operator (line 564) | class Operator(_ty.Protocol): method __init__ (line 567) | def __init__( method __hash__ (line 576) | def __hash__( method to_expr (line 581) | def to_expr( method __int__ (line 586) | def __int__( method __str__ (line 594) | def __str__( method __len__ (line 609) | def __len__( method __del__ (line 614) | def __del__( method __eq__ (line 619) | def __eq__( method __ne__ (line 628) | def __ne__( method __lt__ (line 637) | def __lt__( method __le__ (line 643) | def __le__( method __invert__ (line 649) | def __invert__( method __and__ (line 654) | def __and__( method __or__ (line 660) | def __or__( method __xor__ (line 666) | def __xor__( method implies (line 672) | def implies( method equiv (line 678) | def equiv( method level (line 708) | def level( method var (line 714) | def var( method low (line 722) | def low( method high (line 731) | def high( method ref (line 740) | def ref( method negated (line 746) | def negated( method support (line 752) | def support( method let (line 758) | def let( method exist (line 768) | def exist( method forall (line 775) | def forall( method pick (line 782) | def pick( method count (line 792) | def count( FILE: dd/_copy.py class _BDD (line 21) | class _BDD( method add_var (line 26) | def add_var( method _top_cofactor (line 36) | def _top_cofactor( method reorder (line 47) | def reorder( method find_or_add (line 57) | def find_or_add( method incref (line 68) | def incref( method decref (line 75) | def decref( method assert_consistent (line 83) | def assert_consistent( class _Ref (line 92) | class _Ref(_ty.Protocol): method __int__ (line 101) | def __int__( method __invert__ (line 106) | def __invert__( class _Shelf (line 112) | class _Shelf( method __setitem__ (line 121) | def __setitem__( method __getitem__ (line 128) | def __getitem__( method __iter__ (line 133) | def __iter__( method __contains__ (line 138) | def __contains__( function _open_shelf (line 145) | def _open_shelf( function copy_vars (line 153) | def copy_vars( function copy_bdds_from (line 164) | def copy_bdds_from( function copy_bdd (line 177) | def copy_bdd( function _copy_bdd (line 198) | def _copy_bdd( function _flip (line 240) | def _flip( function copy_zdd (line 253) | def copy_zdd( function _copy_zdd (line 275) | def _copy_zdd( function dump_json (line 311) | def dump_json( function _dump_json (line 348) | def _dump_json( function _dump_bdd_info (line 369) | def _dump_bdd_info( function _dump_bdd (line 393) | def _dump_bdd( function load_json (line 427) | def load_json( function _load_json (line 459) | def _load_json( function _parse_line (line 522) | def _parse_line( function _store_line (line 537) | def _store_line( function _make_node (line 570) | def _make_node( function _decode_node (line 606) | def _decode_node( function _node_from_int (line 619) | def _node_from_int( function _node_to_int (line 638) | def _node_to_int( FILE: dd/_parser.py class _Token (line 16) | class _Token(_ty.Protocol): class Lexer (line 21) | class Lexer(astutils.Lexer): method __init__ (line 24) | def __init__( method t_NAME (line 62) | def t_NAME( method t_AND (line 75) | def t_AND( method t_OR (line 88) | def t_OR( method t_NOT (line 101) | def t_NOT( method t_IMPLIES (line 113) | def t_IMPLIES( method t_EQUIV (line 125) | def t_EQUIV( method t_trailing_comment (line 155) | def t_trailing_comment( method t_doubly_delimited_comment (line 163) | def t_doubly_delimited_comment( method t_newline (line 175) | def t_newline( class _ParserProtocol (line 185) | class _ParserProtocol( method _apply (line 191) | def _apply( method _add_var (line 200) | def _add_var( method _add_int (line 207) | def _add_int( method _add_bool (line 214) | def _add_bool( class Parser (line 222) | class Parser( method __init__ (line 227) | def __init__( method _apply (line 261) | def _apply( method _add_var (line 279) | def _add_var( method _add_int (line 287) | def _add_int( method _add_bool (line 295) | def _add_bool( method p_bool (line 303) | def p_bool( method p_node (line 313) | def p_node( method p_number (line 321) | def p_number( method p_negative_number (line 329) | def p_negative_number( method p_var (line 338) | def p_var( method p_unary (line 346) | def p_unary( method p_binary (line 355) | def p_binary( method p_ternary_conditional (line 371) | def p_ternary_conditional( method p_quantifier (line 383) | def p_quantifier( method p_rename (line 394) | def p_rename( method p_substitutions_iter (line 403) | def p_substitutions_iter( method p_substitutions_end (line 413) | def p_substitutions_end( method p_substitution (line 421) | def p_substitution( method p_names_iter (line 431) | def p_names_iter( method p_names_end (line 441) | def p_names_end( method p_name (line 449) | def p_name( method p_paren (line 458) | def p_paren( class _BDD (line 470) | class _BDD(_ty.Protocol[ method false (line 475) | def false( method true (line 481) | def true( method var (line 486) | def var( method apply (line 493) | def apply( method quantify (line 508) | def quantify( method rename (line 519) | def rename( method _add_int (line 528) | def _add_int( class _Translator (line 536) | class _Translator(Parser): method __init__ (line 539) | def __init__( method parse (line 545) | def parse( method _reset_state (line 562) | def _reset_state( method _add_bool (line 579) | def _add_bool( method _add_int (line 589) | def _add_int( method _add_var (line 597) | def _add_var( method _apply (line 604) | def _apply( function add_expr (line 635) | def add_expr( function _rewrite_tables (line 652) | def _rewrite_tables( function _main (line 663) | def _main( FILE: dd/_utils.py function import_module (line 40) | def import_module( function print_var_levels (line 57) | def print_var_levels( function var_counts (line 70) | def var_counts( function contiguous_levels (line 97) | def contiguous_levels( function raise_runtimerror_about_ref_count (line 116) | def raise_runtimerror_about_ref_count( function map_container (line 166) | def map_container( function map_container (line 176) | def map_container( function map_container (line 185) | def map_container( function _map_values (line 201) | def _map_values( function values_of (line 214) | def values_of( function total_memory (line 231) | def total_memory( function assert_operator_arity (line 273) | def assert_operator_arity( class DotGraph (line 328) | class DotGraph: method __init__ (line 329) | def __init__( method add_node (line 344) | def add_node( method add_edge (line 355) | def add_edge( method to_dot (line 367) | def to_dot( method dump (line 434) | def dump( FILE: dd/autoref.py class BDD (line 43) | class BDD(dd._abc.BDD[_Ref]): method __init__ (line 60) | def __init__( method __eq__ (line 69) | def __eq__( method __len__ (line 78) | def __len__( method __contains__ (line 83) | def __contains__( method __str__ (line 92) | def __str__( method _wrap (line 101) | def _wrap( method configure (line 118) | def configure( method succ (line 126) | def succ( method incref (line 144) | def incref( method decref (line 151) | def decref( method declare (line 159) | def declare( method add_var (line 167) | def add_var( method var (line 177) | def var( method var_at_level (line 185) | def var_at_level( method level_of_var (line 192) | def level_of_var( method var_levels (line 200) | def var_levels( method reorder (line 205) | def reorder( method copy (line 213) | def copy( method support (line 228) | def support( method let (line 239) | def let( method quantify (line 275) | def quantify( method forall (line 290) | def forall( method exist (line 299) | def exist( method ite (line 309) | def ite( method find_or_add (line 327) | def find_or_add( method count (line 341) | def count( method pick_iter (line 353) | def pick_iter( method add_expr (line 366) | def add_expr( method to_expr (line 374) | def to_expr( method apply (line 383) | def apply( method _add_int (line 412) | def _add_int( method cube (line 420) | def cube( method collect_garbage (line 428) | def collect_garbage( method dump (line 434) | def dump( method load (line 518) | def load( method _load_pickle (line 570) | def _load_pickle( method assert_consistent (line 582) | def assert_consistent( method false (line 588) | def false( method true (line 595) | def true( function image (line 602) | def image( function preimage (line 623) | def preimage( function reorder (line 644) | def reorder( function copy_vars (line 655) | def copy_vars( function copy_bdd (line 664) | def copy_bdd( class Function (line 674) | class Function(dd._abc.Operator): method __init__ (line 705) | def __init__( method __hash__ (line 719) | def __hash__( method to_expr (line 724) | def to_expr( method __int__ (line 730) | def __int__( method __len__ (line 735) | def __len__( method dag_size (line 741) | def dag_size( method __del__ (line 746) | def __del__( method __eq__ (line 756) | def __eq__( method __ne__ (line 768) | def __ne__( method __le__ (line 780) | def __le__( method __lt__ (line 788) | def __lt__( method __invert__ (line 796) | def __invert__( method __and__ (line 801) | def __and__( method __or__ (line 808) | def __or__( method __xor__ (line 815) | def __xor__( method implies (line 822) | def implies( method equiv (line 829) | def equiv( method _apply (line 836) | def _apply( method level (line 854) | def level( method var (line 861) | def var( method low (line 872) | def low( method high (line 884) | def high( method ref (line 896) | def ref( method negated (line 902) | def negated( method support (line 908) | def support( FILE: dd/bdd.py function _request_reordering (line 64) | def _request_reordering( function _try_to_reorder (line 79) | def _try_to_reorder( class _ReorderingContext (line 113) | class _ReorderingContext: method __init__ (line 116) | def __init__( method __enter__ (line 124) | def __enter__( method __exit__ (line 129) | def __exit__( class _NeedsReordering (line 142) | class _NeedsReordering(Exception): class BDD (line 167) | class BDD(dd._abc.BDD[_Ref]): method __init__ (line 200) | def __init__( method __copy__ (line 253) | def __copy__( method __del__ (line 265) | def __del__( method __len__ (line 290) | def __len__( method __contains__ (line 295) | def __contains__( method __iter__ (line 302) | def __iter__( method __str__ (line 306) | def __str__( method configure (line 315) | def configure( method ordering (line 344) | def ordering( method _init_terminal (line 350) | def _init_terminal( method succ (line 368) | def succ( method incref (line 376) | def incref( method decref (line 384) | def decref( method ref (line 405) | def ref( method declare (line 413) | def declare( method add_var (line 421) | def add_var( method _check_var (line 471) | def _check_var( method _next_free_level (line 512) | def _next_free_level( method var (line 554) | def var( method var_at_level (line 568) | def var_at_level( method level_of_var (line 580) | def level_of_var( method var_levels (line 594) | def var_levels( method _map_to_level (line 600) | def _map_to_level( method _map_to_level (line 613) | def _map_to_level( method _map_to_level (line 623) | def _map_to_level( method _assert_keys_are_levels (line 684) | def _assert_keys_are_levels( method _top_var (line 717) | def _top_var( method copy (line 727) | def copy( method descendants (line 737) | def descendants( method _descendants (line 758) | def _descendants( method is_essential (line 777) | def is_essential( method support (line 809) | def support( method _support (line 824) | def _support( method levels (line 855) | def levels( method _levels (line 883) | def _levels( method reduction (line 901) | def reduction( method undeclare_vars (line 929) | def undeclare_vars( method let (line 1007) | def let( method compose (line 1040) | def compose( method _compose (line 1070) | def _compose( method _vector_compose (line 1121) | def _vector_compose( method rename (line 1167) | def rename( method _top_cofactor (line 1182) | def _top_cofactor( method cofactor (line 1215) | def cofactor( method _cofactor (line 1233) | def _cofactor( method quantify (line 1296) | def quantify( method _quantify (line 1326) | def _quantify( method forall (line 1386) | def forall( method exist (line 1398) | def exist( method ite (line 1411) | def ite( method _ite (line 1424) | def _ite( method find_or_add (line 1458) | def find_or_add( method _next_free_int (line 1537) | def _next_free_int( method collect_garbage (line 1553) | def collect_garbage( method update_predecessors (line 1619) | def update_predecessors( method swap (line 1632) | def swap( method _low_high (line 1851) | def _low_high( method _swap_cofactor (line 1879) | def _swap_cofactor( method count (line 1907) | def count( method _assert_int (line 1944) | def _assert_int( method _sat_len (line 1959) | def _sat_len( method pick_iter (line 2009) | def pick_iter( method _sat_iter (line 2048) | def _sat_iter( method assert_consistent (line 2086) | def assert_consistent( method add_expr (line 2149) | def add_expr( method to_expr (line 2156) | def to_expr( method _to_expr (line 2169) | def _to_expr( method apply (line 2201) | def apply( method _add_int (line 2263) | def _add_int( method cube (line 2276) | def cube( method dump (line 2295) | def dump( method _dump_figure (line 2336) | def _dump_figure( method _dump_bdd (line 2351) | def _dump_bdd( method load (line 2379) | def load( method _load_pickle (line 2403) | def _load_pickle( method _load (line 2441) | def _load( method _dump_manager (line 2478) | def _dump_manager( method _load_manager (line 2498) | def _load_manager( method false (line 2516) | def false( method true (line 2522) | def true( function _enumerate_minterms (line 2528) | def _enumerate_minterms( function _assert_isomorphic_orders (line 2563) | def _assert_isomorphic_orders( function _assert_valid_ordering (line 2597) | def _assert_valid_ordering( function rename (line 2618) | def rename( function _assert_valid_rename (line 2648) | def _assert_valid_rename( function _all_adjacent (line 2674) | def _all_adjacent( function _adjacent (line 2692) | def _adjacent( function _assert_no_overlap (line 2713) | def _assert_no_overlap( function image (line 2723) | def image( function preimage (line 2784) | def preimage( function _image (line 2837) | def _image( function reorder (line 2917) | def reorder( function _apply_sifting (line 2945) | def _apply_sifting( function _reorder_var (line 2967) | def _reorder_var( function _shift (line 3002) | def _shift( function _sort_to_order (line 3043) | def _sort_to_order( function reorder_to_pairs (line 3082) | def reorder_to_pairs( function copy_bdd (line 3113) | def copy_bdd( function _copy_bdd (line 3142) | def _copy_bdd( function _flip (line 3206) | def _flip( function to_nx (line 3216) | def to_nx( function _to_dot (line 3282) | def _to_dot( FILE: dd/dddmp.py class Lexer (line 41) | class Lexer: method __init__ (line 44) | def __init__( method t_KEYWORD (line 103) | def t_KEYWORD( method t_NAME (line 115) | def t_NAME( method t_comment (line 126) | def t_comment( method t_newline (line 132) | def t_newline( method t_error (line 137) | def t_error( method build (line 143) | def build( class Parser (line 165) | class Parser: method __init__ (line 168) | def __init__( method build (line 176) | def build( method parse (line 197) | def parse( method _parse_header (line 208) | def _parse_header( method _parse_body (line 277) | def _parse_body( method _add_node (line 301) | def _add_node( method reset (line 329) | def reset( method _assert_consistent (line 349) | def _assert_consistent( method p_file (line 386) | def p_file( method p_lines_iter (line 391) | def p_lines_iter( method p_lines_end (line 395) | def p_lines_end( method p_line (line 399) | def p_line( method p_version (line 419) | def p_version( method p_text_mode (line 423) | def p_text_mode( method p_varinfo (line 435) | def p_varinfo( method p_dd_name (line 440) | def p_dd_name( method p_num_nodes (line 445) | def p_num_nodes( method p_num_vars (line 450) | def p_num_vars( method p_nsupport_vars (line 455) | def p_nsupport_vars( method p_support_varnames (line 460) | def p_support_varnames( method p_ordered_varnames (line 465) | def p_ordered_varnames( method p_varnames_iter (line 470) | def p_varnames_iter( method p_varnames_end (line 476) | def p_varnames_end( method p_varname (line 481) | def p_varname( method p_var_ids (line 488) | def p_var_ids( method p_permuted_ids (line 493) | def p_permuted_ids( method p_aux_ids (line 498) | def p_aux_ids( method p_integers_iter (line 503) | def p_integers_iter( method p_integers_end (line 509) | def p_integers_end( method p_num_roots (line 514) | def p_num_roots( method p_root_ids (line 519) | def p_root_ids( method p_root_names (line 524) | def p_root_names( method p_algebraic_dd (line 529) | def p_algebraic_dd( method p_number (line 534) | def p_number( method p_neg_number (line 539) | def p_neg_number( method p_expression_name (line 544) | def p_expression_name( method p_error (line 549) | def p_error( function load (line 554) | def load( function _rewrite_tables (line 599) | def _rewrite_tables( FILE: dd/mdd.py class MDD (line 46) | class MDD: method __init__ (line 72) | def __init__( method __len__ (line 103) | def __len__( method __contains__ (line 108) | def __contains__( method __iter__ (line 116) | def __iter__( method _allocate (line 121) | def _allocate( method _release (line 131) | def _release( method incref (line 149) | def incref( method decref (line 157) | def decref( method ref (line 166) | def ref( method var_at_level (line 174) | def var_at_level( method level_of_var (line 186) | def level_of_var( method ite (line 194) | def ite( method _top_cofactor (line 229) | def _top_cofactor( method find_or_add (line 273) | def find_or_add( method collect_garbage (line 322) | def collect_garbage( method to_expr (line 360) | def to_expr( method apply (line 399) | def apply( method dump (line 457) | def dump( function bdd_to_mdd (line 483) | def bdd_to_mdd( function _enumerate_integer (line 595) | def _enumerate_integer( function _debug_dump (line 609) | def _debug_dump( function _to_dot (line 636) | def _to_dot( FILE: download.py function extensions (line 78) | def extensions( function _copy_cudd_license (line 154) | def _copy_cudd_license( function _copy_extern_licenses (line 171) | def _copy_extern_licenses( function _join (line 200) | def _join( function fetch (line 212) | def fetch( function _check_file_hash (line 296) | def _check_file_hash( function _assert_sha (line 311) | def _assert_sha( function untar (line 371) | def untar( function make_cudd (line 382) | def make_cudd( function fetch_cudd (line 391) | def fetch_cudd( function download_licenses (line 400) | def download_licenses( function _fetch_file (line 437) | def _fetch_file( FILE: examples/_test_examples.py function _main (line 7) | def _main( FILE: examples/bdd_traversal.py function traverse_breadth_first (line 20) | def traverse_breadth_first(u): function traverse_depth_first (line 34) | def traverse_depth_first(u): function run_traversals (line 48) | def run_traversals(): FILE: examples/boolean_satisfiability.py function example (line 5) | def example(): function is_satisfiable (line 19) | def is_satisfiable(formula, names): function _print_result (line 34) | def _print_result(formula, sat): FILE: examples/cudd_memory_limits.py function configure (line 5) | def configure(): FILE: examples/cudd_statistics.py function print_statistics (line 7) | def print_statistics(): function format_dict (line 16) | def format_dict(d): function format_number (line 21) | def format_number(x): FILE: examples/cudd_zdd.py function zdd_example (line 5) | def zdd_example(): FILE: examples/good_vs_bad_variable_order.py function comparing_two_variable_orders (line 16) | def comparing_two_variable_orders(): function list_to_dict (line 42) | def list_to_dict(c): function prime (line 46) | def prime(s): FILE: examples/json_example.py function json_example (line 5) | def json_example(): function dump_bdd_as_json (line 12) | def dump_bdd_as_json(filename): function load_bdd_from_json (line 22) | def load_bdd_from_json(filename): FILE: examples/json_load.py function dump_load_example (line 18) | def dump_load_example( function create_and_dump_bdd (line 36) | def create_and_dump_bdd( class BDDGraph (line 50) | class BDDGraph( method __init__ (line 54) | def __init__( function load_and_map_to_nx (line 63) | def load_and_map_to_nx( FILE: examples/np.py function comparing_two_variable_orders (line 16) | def comparing_two_variable_orders(): function list_to_dict (line 54) | def list_to_dict(c): function prime (line 60) | def prime(s): FILE: examples/queens.py function solve_queens (line 20) | def solve_queens(n): function queens_formula (line 34) | def queens_formula(n): function at_least_one_queen_per_row (line 47) | def at_least_one_queen_per_row(n): function at_most_one_queen_per_line (line 57) | def at_most_one_queen_per_line(row, n): function at_most_one_queen_per_diagonal (line 74) | def at_most_one_queen_per_diagonal(slash, n): function mutex (line 102) | def mutex(v): function _var_str (line 117) | def _var_str(i, j): function _conjoin (line 122) | def _conjoin( function _disjoin (line 135) | def _disjoin( function _apply_infix (line 148) | def _apply_infix( function _parenthesize (line 160) | def _parenthesize(string) -> str: function benchmark (line 165) | def benchmark(n): function _example (line 182) | def _example(): FILE: examples/reachability.py function transition_system (line 18) | def transition_system(bdd): function least_fixpoint (line 33) | def least_fixpoint(transitions, bdd): function reachability_example (line 54) | def reachability_example(): FILE: examples/reordering.py function demo_dynamic_reordering (line 7) | def demo_dynamic_reordering(): function show_logging (line 28) | def show_logging(): function create_manager (line 39) | def create_manager(): function trigger_reordering (line 47) | def trigger_reordering(bdd): function print_var_levels (line 70) | def print_var_levels(bdd): function demo_static_reordering (line 81) | def demo_static_reordering(): function demo_specific_var_order (line 97) | def demo_specific_var_order(): function print_manager_size (line 114) | def print_manager_size(bdd): FILE: examples/transfer_bdd.py function transfer (line 5) | def transfer(): function copy_variable_order (line 20) | def copy_variable_order(): FILE: examples/variable_substitution.py function variable_substitution (line 6) | def variable_substitution(): FILE: examples/what_is_a_bdd.py function bdd_implementation_example (line 10) | def bdd_implementation_example(): function let (line 66) | def let( FILE: setup.py function git_version (line 69) | def git_version( function _parse_version (line 101) | def _parse_version( function parse_args (line 113) | def parse_args( function read_env_vars (line 141) | def read_env_vars( function run_setup (line 157) | def run_setup( function _build_parsers (line 204) | def _build_parsers( function _parser_requirements_installed (line 216) | def _parser_requirements_installed( FILE: tests/autoref_test.py class Tests (line 18) | class Tests(common.Tests): method setup_method (line 19) | def setup_method(self): class BDDTests (line 23) | class BDDTests(common_bdd.Tests): method setup_method (line 24) | def setup_method(self): function test_str (line 28) | def test_str(): function test_find_or_add (line 34) | def test_find_or_add(): function test_count (line 47) | def test_count(): function test_dump_load (line 61) | def test_dump_load(): function test_dump_using_graphviz (line 79) | def test_dump_using_graphviz(): function test_image (line 97) | def test_image(): function test_preimage (line 109) | def test_preimage(): function test_reorder_2 (line 121) | def test_reorder_2(): function test_configure_dynamic_reordering (line 142) | def test_configure_dynamic_reordering(): function test_collect_garbage (line 170) | def test_collect_garbage(): function test_copy_vars (line 185) | def test_copy_vars(): function test_copy_bdd (line 194) | def test_copy_bdd(): function test_func_len (line 208) | def test_func_len(): function test_dd_version (line 219) | def test_dd_version(): FILE: tests/bdd_test.py class BDD (line 14) | class BDD(_bdd.BDD): method __del__ (line 23) | def __del__(self): function test_add_var (line 27) | def test_add_var(): function test_var (line 83) | def test_var(): function test_assert_consistent (line 96) | def test_assert_consistent(): function test_level_to_variable (line 118) | def test_level_to_variable(): function test_var_levels_attr (line 127) | def test_var_levels_attr(): function test_descendants (line 136) | def test_descendants(): function test_is_essential (line 174) | def test_is_essential(): function test_support (line 194) | def test_support(): function test_count (line 206) | def test_count(): function test_pick_iter (line 244) | def test_pick_iter(): function compare_iter_to_list_of_sets (line 290) | def compare_iter_to_list_of_sets(u, g, s, care_bits): function test_enumerate_minterms (line 298) | def test_enumerate_minterms(): function set_from_generator_of_dict (line 331) | def set_from_generator_of_dict(gen): function test_isomorphism (line 338) | def test_isomorphism(): function test_elimination (line 352) | def test_elimination(): function test_reduce_combined (line 363) | def test_reduce_combined(): function test_reduction_complemented_edges (line 394) | def test_reduction_complemented_edges(): function _test_reduction_complemented_edges (line 412) | def _test_reduction_complemented_edges(expr, bdd): function test_find_or_add (line 423) | def test_find_or_add(): function test_next_free_int (line 527) | def test_next_free_int(): function _assert_smaller_are_nodes (line 554) | def _assert_smaller_are_nodes(start, bdd): function test_collect_garbage (line 559) | def test_collect_garbage(): function test_top_cofactor (line 592) | def test_top_cofactor(): function test_ite (line 605) | def test_ite(): function test_add_expr (line 631) | def test_add_expr(): function test_expr_comments (line 645) | def test_expr_comments(): function test_compose (line 663) | def test_compose(): function test_vector_compose (line 700) | def test_vector_compose(): function test_cofactor (line 718) | def test_cofactor(): function test_swap (line 743) | def test_swap(): function test_sifting (line 829) | def test_sifting(): function test_request_reordering (line 848) | def test_request_reordering(): function test_reordering_context (line 866) | def test_reordering_context(): class Dummy (line 895) | class Dummy: method __init__ (line 898) | def __init__(self): method __len__ (line 903) | def __len__(self): method assert_ (line 906) | def assert_(self, value): function test_dynamic_reordering (line 911) | def test_dynamic_reordering(): class TrackReorderings (line 951) | class TrackReorderings(BDD): method __init__ (line 954) | def __init__(self, *arg, **kw): method swap (line 958) | def swap(self, *arg, **kw): method reordering_is_on (line 962) | def reordering_is_on(self): function test_undeclare_vars (line 968) | def test_undeclare_vars(): function test_del_repeated_calls (line 1007) | def test_del_repeated_calls(): function _references_exist (line 1025) | def _references_exist(refs): function test_dump_load (line 1031) | def test_dump_load(): function test_dump_load_manager (line 1050) | def test_dump_load_manager(): function test_dump_using_graphviz (line 1065) | def test_dump_using_graphviz(): function _dump_bdd_roots_as_filetype (line 1078) | def _dump_bdd_roots_as_filetype( function test_quantify (line 1087) | def test_quantify(): function test_quantifier_syntax (line 1120) | def test_quantifier_syntax(): function test_rename (line 1152) | def test_rename(): function test_rename_syntax (line 1190) | def test_rename_syntax(): function test_image_rename_map_checks (line 1216) | def test_image_rename_map_checks(): function test_preimage (line 1250) | def test_preimage(): function test_assert_valid_ordering (line 1310) | def test_assert_valid_ordering(): function test_assert_refined_ordering (line 1318) | def test_assert_refined_ordering(): function test_to_graphviz_dot (line 1324) | def test_to_graphviz_dot(): function _graph_from_dot (line 1352) | def _graph_from_dot(dot_graph): function _graph_from_dot_recurse (line 1358) | def _graph_from_dot_recurse(dot_graph, g): function test_function_wrapper (line 1369) | def test_function_wrapper(): function x_or_y (line 1431) | def x_or_y(): function x_and_y (line 1444) | def x_and_y(): function two_vars_xy (line 1456) | def two_vars_xy(): function x_and_not_y (line 1475) | def x_and_not_y(): function assert_valid_succ_pred (line 1505) | def assert_valid_succ_pred(u, t, g): function ref_var (line 1514) | def ref_var(i): function ref_x_and_y (line 1523) | def ref_x_and_y(): function ref_x_or_y (line 1535) | def ref_x_or_y(): function compare (line 1547) | def compare(u, bdd, h): function _nm (line 1561) | def _nm(x, y): function _em (line 1565) | def _em(x, y): FILE: tests/common.py class Tests (line 9) | class Tests: method setup_method (line 10) | def setup_method(self): method test_true_false (line 14) | def test_true_false(self): method test_configure_reordering (line 25) | def test_configure_reordering(self): method test_succ (line 37) | def test_succ(self): method test_add_var (line 47) | def test_add_var(self): method test_var_cofactor (line 56) | def test_var_cofactor(self): method test_richcmp (line 67) | def test_richcmp(self): method test_len (line 73) | def test_len(self): method test_contains (line 78) | def test_contains(self): method test_var_levels (line 91) | def test_var_levels(self): method test_var_levels_attr (line 111) | def test_var_levels_attr(self): method test_levels (line 119) | def test_levels(self): method test_copy (line 138) | def test_copy(self): method test_compose (line 151) | def test_compose(self): method test_cofactor (line 204) | def test_cofactor(self): method test_count (line 263) | def test_count(self): method test_pick_iter (line 308) | def test_pick_iter(self): method equal_list_contents (line 368) | def equal_list_contents(self, x, y): method test_apply (line 374) | def test_apply(self): method test_quantify (line 429) | def test_quantify(self): method test_exist_forall (line 475) | def test_exist_forall(self): method test_cube (line 507) | def test_cube(self): method test_add_expr (line 527) | def test_add_expr(self): method test_to_expr (line 558) | def test_to_expr(self): method test_support (line 574) | def test_support(self): method test_rename (line 611) | def test_rename(self): method test_ite (line 676) | def test_ite(self): method test_reorder_with_args (line 690) | def test_reorder_with_args(self): method test_reorder_without_args (line 703) | def test_reorder_without_args(self): method _confirm_var_order (line 725) | def _confirm_var_order(self, vrs, bdd): method test_reorder_contains (line 730) | def test_reorder_contains(self): method test_comparators (line 737) | def test_comparators(self): method test_function_support (line 774) | def test_function_support(self): method test_node_hash (line 785) | def test_node_hash(self): method test_add_int (line 793) | def test_add_int(self): method test_dump_using_graphviz (line 807) | def test_dump_using_graphviz( FILE: tests/common_bdd.py class Tests (line 9) | class Tests: method setup_method (line 10) | def setup_method(self): method test_succ (line 13) | def test_succ(self): method test_find_or_add (line 22) | def test_find_or_add(self): method test_function (line 39) | def test_function(self): method test_function_properties (line 116) | def test_function_properties(self): method test_negated (line 145) | def test_negated(self): method test_dump_pdf (line 155) | def test_dump_pdf(self): method test_dump_load_json (line 166) | def test_dump_load_json(self): method rm_file (line 182) | def rm_file(self, fname): FILE: tests/common_cudd.py class Tests (line 7) | class Tests: method setup_method (line 8) | def setup_method(self): method test_add_var (line 14) | def test_add_var(self): method test_len (line 31) | def test_len(self): method test_levels (line 39) | def test_levels(self): method test_var_at_level_exceptions (line 58) | def test_var_at_level_exceptions(self): method test_incref_decref_locally_inconsistent (line 91) | def test_incref_decref_locally_inconsistent(self): method test_decref_incref_locally_inconsistent (line 114) | def test_decref_incref_locally_inconsistent(self): method test_double_incref_decref_locally_inconsistent (line 139) | def test_double_incref_decref_locally_inconsistent(self): method test_decref_and_dealloc (line 169) | def test_decref_and_dealloc(self): method test_decref (line 195) | def test_decref(self): method test_decref_ref_lower_bound (line 223) | def test_decref_ref_lower_bound(self): method test_dealloc_wrong_ref_lower_bound (line 263) | def test_dealloc_wrong_ref_lower_bound(self): method test_dealloc_multiple_calls (line 280) | def test_dealloc_multiple_calls(self): FILE: tests/copy_test.py function test_involution (line 9) | def test_involution(): function _test_involution (line 14) | def _test_involution(mod): function test_bdd_mapping (line 22) | def test_bdd_mapping(): function _test_bdd_mapping (line 27) | def _test_bdd_mapping(mod): function _check_bdd_mapping (line 36) | def _check_bdd_mapping(umap, old_bdd, new_bdd): function _map_node (line 60) | def _map_node(u, umap): function _setup (line 67) | def _setup(mod): function test_dump_load_same_order (line 75) | def test_dump_load_same_order(): function _test_dump_load_same_order (line 80) | def _test_dump_load_same_order(mod): function test_dump_load_different_order (line 102) | def test_dump_load_different_order(): function _test_dump_load_different_order (line 107) | def _test_dump_load_different_order(mod): FILE: tests/cudd_test.py class Tests (line 17) | class Tests(common.Tests): method setup_method (line 18) | def setup_method(self): class BDDTests (line 22) | class BDDTests(common_bdd.Tests): method setup_method (line 23) | def setup_method(self): class CuddTests (line 27) | class CuddTests(common_cudd.Tests): method setup_method (line 28) | def setup_method(self): function test_str (line 33) | def test_str(): function test_insert_var (line 40) | def test_insert_var(): function test_refs (line 53) | def test_refs(): function test_len (line 58) | def test_len(): function test_cube_array (line 84) | def test_cube_array(): function test_dump_load_dddmp (line 89) | def test_dump_load_dddmp(): function test_load_sample0 (line 100) | def test_load_sample0(): function test_and_exists (line 114) | def test_and_exists(): function test_or_forall (line 130) | def test_or_forall(): function test_swap (line 142) | def test_swap(): function test_copy_bdd_same_indices (line 203) | def test_copy_bdd_same_indices(): function test_copy_bdd_different_indices (line 226) | def test_copy_bdd_different_indices(): function test_copy_bdd_different_order (line 250) | def test_copy_bdd_different_order(): function test_count_nodes (line 289) | def test_count_nodes(): function test_function (line 304) | def test_function(): FILE: tests/cudd_zdd_test.py class Tests (line 18) | class Tests(common.Tests): method setup_method (line 19) | def setup_method(self): class CuddTests (line 23) | class CuddTests(common_cudd.Tests): method setup_method (line 24) | def setup_method(self): function test_str (line 29) | def test_str(): function test_false (line 36) | def test_false(): function test_true (line 42) | def test_true(): function test_true_node (line 51) | def test_true_node(): function test_index_at_level (line 60) | def test_index_at_level(): function test_var_level_gaps (line 88) | def test_var_level_gaps(): function _max_var_level (line 97) | def _max_var_level(zdd): function test_gt_var_levels (line 116) | def test_gt_var_levels(): function test_number_of_cudd_vars_without_gaps (line 134) | def test_number_of_cudd_vars_without_gaps(): function test_number_of_cudd_vars_with_gaps (line 148) | def test_number_of_cudd_vars_with_gaps(): function _assert_n_vars_max_level (line 162) | def _assert_n_vars_max_level( function test_var (line 181) | def test_var(): function test_support_cudd (line 195) | def test_support_cudd(): function test_cudd_cofactor (line 206) | def test_cudd_cofactor(): function test_find_or_add (line 219) | def test_find_or_add(): function test_count (line 231) | def test_count(): function test_bdd_to_zdd_copy (line 246) | def test_bdd_to_zdd_copy(): function test_len (line 263) | def test_len(): function test_ith_var_without_gaps (line 280) | def test_ith_var_without_gaps(): function test_ith_var_with_gaps (line 339) | def test_ith_var_with_gaps(): function test_disjunction (line 351) | def test_disjunction(): function test_conjunction (line 377) | def test_conjunction(): function test_methods_disjoin_conjoin_gaps_opt (line 390) | def test_methods_disjoin_conjoin_gaps_opt(): function test_methods_disjoin_conjoin_gaps (line 395) | def test_methods_disjoin_conjoin_gaps(): function test_method_disjoin (line 411) | def test_method_disjoin(): function test_methods_disjoin_conjoin_with_opt (line 421) | def test_methods_disjoin_conjoin_with_opt(): function test_methods_disjoin_conjoin (line 426) | def test_methods_disjoin_conjoin(): function run_python_with_optimization (line 445) | def run_python_with_optimization( function _assert (line 474) | def _assert(test): function test_c_disjunction (line 480) | def test_c_disjunction(): function test_c_conjunction (line 490) | def test_c_conjunction(): function test_c_disjoin_conjoin (line 500) | def test_c_disjoin_conjoin(): function test_c_disjoin_conjoin_leaf_check (line 514) | def test_c_disjoin_conjoin_leaf_check(): function test_c_exist (line 534) | def test_c_exist(): function test_dump (line 551) | def test_dump(): function test_dict_to_zdd (line 563) | def test_dict_to_zdd(): function print_size (line 577) | def print_size(u, msg): FILE: tests/dddmp_test.py function test_lexer (line 14) | def test_lexer(): function test_parser (line 24) | def test_parser(): function test_sample0 (line 32) | def test_sample0(): function test_sample1 (line 56) | def test_sample1(): function test_sample2 (line 66) | def test_sample2(): function test_sample3 (line 90) | def test_sample3(): function test_load_dddmp (line 106) | def test_load_dddmp(): function test_rewrite_tables (line 136) | def test_rewrite_tables(): function to_nx (line 146) | def to_nx(bdd, n_vars, ordering, roots): function test_dump_with_cudd_load_with_dddmp (line 185) | def test_dump_with_cudd_load_with_dddmp(): FILE: tests/inspect_cython_signatures.py function inspect_signatures (line 33) | def inspect_signatures(spec, imp): function is_hidden (line 82) | def is_hidden(method_name): function get_signature (line 87) | def get_signature(func): function _main (line 99) | def _main(): FILE: tests/iterative_recursive_flattener.py function _recurse_syntax_tree (line 24) | def _recurse_syntax_tree( function _reduce_syntax_tree (line 85) | def _reduce_syntax_tree( function _reduce_step (line 105) | def _reduce_step( function _reduce_quantifier (line 144) | def _reduce_quantifier( function _reduce_substitution (line 169) | def _reduce_substitution( function _reduce_operator (line 191) | def _reduce_operator( FILE: tests/mdd_test.py function test_ite (line 12) | def test_ite(): function test_find_or_add (line 25) | def test_find_or_add(): function test_bdd_to_mdd (line 34) | def test_bdd_to_mdd(): function test_mdd_dump_to_pdf (line 51) | def test_mdd_dump_to_pdf(): FILE: tests/parser_test.py function _make_parser_test_expressions (line 21) | def _make_parser_test_expressions( function test_all_parsers_same_results (line 81) | def test_all_parsers_same_results(): function test_translator_vs_recursion_limit (line 104) | def test_translator_vs_recursion_limit(): function test_log_syntax_tree_to_bdd (line 116) | def test_log_syntax_tree_to_bdd(): function test_linear_syntax_tree_to_bdd (line 131) | def test_linear_syntax_tree_to_bdd(): function make_expr_gt_recursion_limit (line 146) | def make_expr_gt_recursion_limit( function syntax_tree_of_shape (line 160) | def syntax_tree_of_shape( function _delimit (line 186) | def _delimit( function test_lexing (line 202) | def test_lexing(): function _assert_names_operator (line 333) | def _assert_names_operator( function tokenize (line 349) | def tokenize( function test_parsing (line 367) | def test_parsing(): function _check_binary_operator (line 549) | def _check_binary_operator( function _assert_binary_operator_tree (line 565) | def _assert_binary_operator_tree( function _assert_false_true_nodes (line 577) | def _assert_false_true_nodes( function _assert_false_node (line 584) | def _assert_false_node( function _assert_true_node (line 590) | def _assert_true_node( function test_add_expr (line 596) | def test_add_expr(): class BDD (line 603) | class BDD: method __init__ (line 606) | def __init__( method _add_int (line 611) | def _add_int( method var (line 617) | def var( method apply (line 623) | def apply( method quantify (line 633) | def quantify( method rename (line 645) | def rename( function test_recursive_traversal_vs_recursion_limit (line 656) | def test_recursive_traversal_vs_recursion_limit(): function test_iterative_traversal_vs_recursion_limit (line 670) | def test_iterative_traversal_vs_recursion_limit(): FILE: tests/regressions_test.py function test_reordering_setting_restore (line 4) | def test_reordering_setting_restore(): FILE: tests/sylvan_test.py function test_len (line 9) | def test_len(): function test_true_false (line 25) | def test_true_false(): function test_add_var (line 36) | def test_add_var(): function test_insert_var (line 55) | def test_insert_var(): function test_add_expr (line 68) | def test_add_expr(): function test_support (line 101) | def test_support(): function test_compose (line 117) | def test_compose(): function test_cofactor (line 129) | def test_cofactor(): function test_rename (line 146) | def test_rename(): function test_count (line 169) | def test_count(): function test_pick_iter (line 200) | def test_pick_iter(): function equal_list_contents (line 263) | def equal_list_contents(x, y): function test_py_operators (line 270) | def test_py_operators():