API Reference

• decomon package
  • Subpackages
    • decomon.backward_layers package
      • Submodules
      • decomon.backward_layers.activations module
      • decomon.backward_layers.backward_layers module
      • decomon.backward_layers.backward_maxpooling module
      • decomon.backward_layers.backward_merge module
      • decomon.backward_layers.backward_reshape module
      • decomon.backward_layers.convert module
      • decomon.backward_layers.core module
      • decomon.backward_layers.utils module
      • decomon.backward_layers.utils_conv module
      • Module contents
    • decomon.layers package
      • Submodules
      • decomon.layers.activations module
      • decomon.layers.convert module
      • decomon.layers.core module
      • decomon.layers.decomon_layers module
      • decomon.layers.decomon_merge_layers module
      • decomon.layers.decomon_reshape module
      • decomon.layers.maxpooling module
      • decomon.layers.utils module
      • decomon.layers.utils_pooling module
      • Module contents
    • decomon.metrics package
      • Submodules
      • decomon.metrics.complexity module
      • decomon.metrics.loss module
      • decomon.metrics.metric module
      • decomon.metrics.utils module
      • Module contents
    • decomon.models package
      • Submodules
      • decomon.models.backward_cloning module
      • decomon.models.convert module
      • decomon.models.crown module
      • decomon.models.forward_cloning module
      • decomon.models.models module
      • decomon.models.utils module
      • Module contents
    • decomon.types package
      • Module contents
  • Submodules
  • decomon.core module
    • BallDomain
      • BallDomain.get_config()
      • BallDomain.get_lower()
      • BallDomain.get_nb_x_components()
      • BallDomain.get_upper()
      • BallDomain.opt_option
    • BoxDomain
      • BoxDomain.get_lower()
      • BoxDomain.get_nb_x_components()
      • BoxDomain.get_upper()
      • BoxDomain.opt_option
    • ForwardMode
      • ForwardMode.AFFINE
      • ForwardMode.HYBRID
      • ForwardMode.IBP
    • GridDomain
      • GridDomain.opt_option
    • InputsOutputsSpec
      • InputsOutputsSpec.affine
      • InputsOutputsSpec.extract_inputsformode_from_fullinputs()
      • InputsOutputsSpec.extract_inputshapesformode_from_fullinputshapes()
      • InputsOutputsSpec.extract_outputsformode_from_fulloutputs()
      • InputsOutputsSpec.get_empty_tensor()
      • InputsOutputsSpec.get_fullinputs_by_type_from_inputsformode_to_merge()
      • InputsOutputsSpec.get_fullinputs_from_inputsformode()
      • InputsOutputsSpec.get_fullinputshapes_from_inputshapesformode()
      • InputsOutputsSpec.get_kerasinputshape()
      • InputsOutputsSpec.get_kerasinputshape_from_inputshapesformode()
      • InputsOutputsSpec.ibp
      • InputsOutputsSpec.nb_tensors
      • InputsOutputsSpec.split_inputsformode_to_merge()
    • Option
      • Option.lagrangian
      • Option.milp
    • PerturbationDomain
      • PerturbationDomain.get_config()
      • PerturbationDomain.get_lower()
      • PerturbationDomain.get_nb_x_components()
      • PerturbationDomain.get_upper()
      • PerturbationDomain.get_x_input_shape_wo_batchsize()
      • PerturbationDomain.opt_option
    • Slope
      • Slope.A_SLOPE
      • Slope.O_SLOPE
      • Slope.S_SLOPE
      • Slope.V_SLOPE
      • Slope.Z_SLOPE
    • VertexDomain
      • VertexDomain.opt_option
    • get_affine()
    • get_ibp()
    • get_lower_ball()
    • get_lower_ball_finetune()
    • get_lower_box()
    • get_lq_norm()
    • get_mode()
    • get_upper_ball()
    • get_upper_ball_finetune()
    • get_upper_box()
  • decomon.keras_utils module
    • BatchedDiagLike
      • BatchedDiagLike.call()
      • BatchedDiagLike.compute_output_spec()
    • BatchedIdentityLike
      • BatchedIdentityLike.call()
      • BatchedIdentityLike.compute_output_spec()
    • check_if_single_shape()
    • get_weight_index()
    • get_weight_index_from_name()
    • is_symbolic_tensor()
    • reset_layer()
    • reset_layer_all_weights()
    • share_layer_all_weights()
    • share_weights_and_build()
  • decomon.utils module
    • add()
    • convert_lower_search_2_subset_sum()
    • get_bound_grid()
    • get_linear_hull_relu()
    • get_linear_hull_s_shape()
    • get_linear_hull_sigmoid()
    • get_linear_hull_tanh()
    • get_linear_softplus_hull()
    • get_lower_bound_grid()
    • get_t_lower()
    • get_t_upper()
    • get_upper_bound_grid()
    • maximum()
    • minimum()
    • minus()
    • relu_()
    • relu_prime()
    • sigmoid_prime()
    • softsign_prime()
    • subset_sum_lower()
    • subtract()
    • tanh_prime()
  • decomon.wrapper module
    • IntegerType
    • LabelType
    • check_adv_box()
    • get_adv_box()
    • get_adv_noise()
    • get_lower_box()
    • get_lower_noise()
    • get_range_box()
    • get_range_noise()
    • get_upper_box()
    • get_upper_noise()
    • prepare_labels()
    • refine_box()
    • refine_boxes()
  • decomon.wrapper_with_tuning module
    • get_lower_box_tuning()
    • get_upper_box_tuning()
  • Module contents
    • Decomon