decomon
main
Contents
Installation
Getting started
Tutorials
API Reference
Contributing
Github
decomon
Index
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
K
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
|
Z
A
A_SLOPE (decomon.core.Slope attribute)
abs() (in module decomon.layers.utils)
add() (in module decomon.utils)
AdversarialCheck (class in decomon.metrics.metric)
AdversarialScore (class in decomon.metrics.metric)
affine (decomon.backward_layers.backward_merge.BackwardMerge property)
(decomon.backward_layers.core.BackwardLayer property)
AFFINE (decomon.core.ForwardMode attribute)
affine (decomon.core.InputsOutputsSpec property)
(decomon.layers.core.DecomonLayer property)
B
BackendTensor (in module decomon.types)
BACKWARD (decomon.metrics.metric.MetricMode attribute)
(decomon.models.utils.FeedDirection attribute)
backward_add() (in module decomon.backward_layers.utils)
backward_elu() (in module decomon.backward_layers.activations)
backward_exponential() (in module decomon.backward_layers.activations)
backward_hard_sigmoid() (in module decomon.backward_layers.activations)
backward_linear() (in module decomon.backward_layers.activations)
backward_linear_prod() (in module decomon.backward_layers.utils)
backward_max_() (in module decomon.backward_layers.utils)
backward_maximum() (in module decomon.backward_layers.utils)
backward_minimum() (in module decomon.backward_layers.utils)
backward_minus() (in module decomon.backward_layers.utils)
backward_multiply() (in module decomon.backward_layers.utils)
backward_relu() (in module decomon.backward_layers.activations)
backward_scale() (in module decomon.backward_layers.utils)
backward_selu() (in module decomon.backward_layers.activations)
backward_sigmoid() (in module decomon.backward_layers.activations)
backward_softmax() (in module decomon.backward_layers.activations)
backward_softplus() (in module decomon.backward_layers.activations)
backward_softsign() (in module decomon.backward_layers.activations)
backward_softsign_() (in module decomon.backward_layers.activations)
backward_sort() (in module decomon.backward_layers.utils)
backward_subtract() (in module decomon.backward_layers.utils)
backward_tanh() (in module decomon.backward_layers.activations)
BackwardActivation (class in decomon.backward_layers.backward_layers)
BackwardAdd (class in decomon.backward_layers.backward_merge)
BackwardAverage (class in decomon.backward_layers.backward_merge)
BackwardBatchNormalization (class in decomon.backward_layers.backward_layers)
BackwardConcatenate (class in decomon.backward_layers.backward_merge)
BackwardConv2D (class in decomon.backward_layers.backward_layers)
BackwardDense (class in decomon.backward_layers.backward_layers)
BackwardDot (class in decomon.backward_layers.backward_merge)
BackwardDropout (class in decomon.backward_layers.backward_layers)
BackwardFlatten (class in decomon.backward_layers.backward_layers)
BackwardInputLayer (class in decomon.backward_layers.backward_layers)
BackwardLayer (class in decomon.backward_layers.core)
BackwardMaximum (class in decomon.backward_layers.backward_merge)
BackwardMaxPooling2D (class in decomon.backward_layers.backward_maxpooling)
BackwardMerge (class in decomon.backward_layers.backward_merge)
BackwardMinimum (class in decomon.backward_layers.backward_merge)
BackwardMultiply (class in decomon.backward_layers.backward_merge)
BackwardPermute (class in decomon.backward_layers.backward_layers)
BackwardReshape (class in decomon.backward_layers.backward_layers)
BackwardSubtract (class in decomon.backward_layers.backward_merge)
BallDomain (class in decomon.core)
BatchedDiagLike (class in decomon.keras_utils)
BatchedIdentityLike (class in decomon.keras_utils)
BoxDomain (class in decomon.core)
broadcast() (in module decomon.layers.utils)
build() (decomon.backward_layers.backward_layers.BackwardActivation method)
(decomon.backward_layers.backward_layers.BackwardDense method)
(decomon.backward_layers.backward_merge.BackwardMerge method)
(decomon.backward_layers.core.BackwardLayer method)
(decomon.layers.core.DecomonLayer method)
(decomon.layers.decomon_layers.DecomonActivation method)
(decomon.layers.decomon_layers.DecomonBatchNormalization method)
(decomon.layers.decomon_layers.DecomonConv2D method)
(decomon.layers.decomon_layers.DecomonDense method)
(decomon.layers.decomon_layers.DecomonDropout method)
(decomon.layers.decomon_layers.DecomonFlatten method)
(decomon.layers.decomon_merge_layers.DecomonMerge method)
(decomon.metrics.loss.DecomonLossFusion method)
(decomon.metrics.loss.DecomonRadiusRobust method)
build_asymptotic_crossentropy_model() (in module decomon.metrics.loss)
build_crossentropy_model() (in module decomon.metrics.loss)
build_formal_adv_check_model() (in module decomon.metrics.metric)
build_formal_adv_model() (in module decomon.metrics.metric)
build_formal_upper_model() (in module decomon.metrics.metric)
build_radius_robust_model() (in module decomon.metrics.loss)
C
call() (decomon.backward_layers.backward_layers.BackwardActivation method)
(decomon.backward_layers.backward_layers.BackwardBatchNormalization method)
(decomon.backward_layers.backward_layers.BackwardConv2D method)
(decomon.backward_layers.backward_layers.BackwardDense method)
(decomon.backward_layers.backward_layers.BackwardDropout method)
(decomon.backward_layers.backward_layers.BackwardFlatten method)
(decomon.backward_layers.backward_layers.BackwardInputLayer method)
(decomon.backward_layers.backward_layers.BackwardPermute method)
(decomon.backward_layers.backward_layers.BackwardReshape method)
(decomon.backward_layers.backward_maxpooling.BackwardMaxPooling2D method)
(decomon.backward_layers.backward_merge.BackwardAdd method)
(decomon.backward_layers.backward_merge.BackwardAverage method)
(decomon.backward_layers.backward_merge.BackwardConcatenate method)
(decomon.backward_layers.backward_merge.BackwardDot method)
(decomon.backward_layers.backward_merge.BackwardMaximum method)
(decomon.backward_layers.backward_merge.BackwardMerge method)
(decomon.backward_layers.backward_merge.BackwardMinimum method)
(decomon.backward_layers.backward_merge.BackwardMultiply method)
(decomon.backward_layers.backward_merge.BackwardSubtract method)
(decomon.backward_layers.core.BackwardLayer method)
(decomon.keras_utils.BatchedDiagLike method)
(decomon.keras_utils.BatchedIdentityLike method)
(decomon.layers.core.DecomonLayer method)
(decomon.layers.decomon_layers.DecomonActivation method)
(decomon.layers.decomon_layers.DecomonBatchNormalization method)
(decomon.layers.decomon_layers.DecomonConv2D method)
(decomon.layers.decomon_layers.DecomonDense method)
(decomon.layers.decomon_layers.DecomonDropout method)
(decomon.layers.decomon_layers.DecomonFlatten method)
(decomon.layers.decomon_layers.DecomonInputLayer method)
(decomon.layers.decomon_merge_layers.DecomonAdd method)
(decomon.layers.decomon_merge_layers.DecomonAverage method)
(decomon.layers.decomon_merge_layers.DecomonConcatenate method)
(decomon.layers.decomon_merge_layers.DecomonDot method)
(decomon.layers.decomon_merge_layers.DecomonMaximum method)
(decomon.layers.decomon_merge_layers.DecomonMinimum method)
(decomon.layers.decomon_merge_layers.DecomonMultiply method)
(decomon.layers.decomon_merge_layers.DecomonSubtract method)
(decomon.layers.decomon_reshape.DecomonPermute method)
(decomon.layers.decomon_reshape.DecomonReshape method)
(decomon.layers.maxpooling.DecomonMaxPooling2D method)
(decomon.metrics.loss.DecomonLossFusion method)
(decomon.metrics.loss.DecomonRadiusRobust method)
(decomon.metrics.metric.AdversarialCheck method)
(decomon.metrics.metric.AdversarialScore method)
(decomon.metrics.metric.MetricLayer method)
(decomon.metrics.metric.UpperScore method)
(decomon.models.crown.Convert2BackwardMode method)
(decomon.models.crown.Fuse method)
(decomon.models.crown.MergeWithPrevious method)
(decomon.models.utils.Convert2Mode method)
call_backward() (decomon.metrics.loss.DecomonLossFusion method)
(decomon.metrics.loss.DecomonRadiusRobust method)
call_no_backward() (decomon.metrics.loss.DecomonLossFusion method)
(decomon.metrics.loss.DecomonRadiusRobust method)
categorical_cross_entropy() (in module decomon.metrics.utils)
check_adv_box() (in module decomon.wrapper)
check_if_single_shape() (in module decomon.keras_utils)
check_model2convert_inputs() (in module decomon.models.utils)
ClipAlpha (class in decomon.layers.utils)
ClipAlphaAndSumtoOne (class in decomon.layers.utils)
ClipAlphaGrid (class in decomon.layers.utils)
clone() (in module decomon.models.convert)
compute_output_shape() (decomon.backward_layers.backward_merge.BackwardMerge method)
(decomon.backward_layers.core.BackwardLayer method)
(decomon.layers.core.DecomonLayer method)
(decomon.layers.decomon_merge_layers.DecomonMerge method)
(decomon.metrics.loss.DecomonLossFusion method)
(decomon.metrics.loss.DecomonRadiusRobust method)
(decomon.models.crown.Fuse method)
(decomon.models.crown.MergeWithPrevious method)
(decomon.models.utils.Convert2Mode method)
compute_output_spec() (decomon.keras_utils.BatchedDiagLike method)
(decomon.keras_utils.BatchedIdentityLike method)
(decomon.layers.core.DecomonLayer method)
convert() (in module decomon.models.convert)
Convert2BackwardMode (class in decomon.models.crown)
Convert2Mode (class in decomon.models.utils)
convert_backward() (in module decomon.models.backward_cloning)
convert_forward() (in module decomon.models.forward_cloning)
convert_forward_functional_model() (in module decomon.models.forward_cloning)
convert_lower_search_2_subset_sum() (in module decomon.utils)
ConvertMethod (class in decomon.models.utils)
CROWN (decomon.models.utils.ConvertMethod attribute)
crown_() (in module decomon.models.backward_cloning)
CROWN_FORWARD_AFFINE (decomon.models.utils.ConvertMethod attribute)
CROWN_FORWARD_HYBRID (decomon.models.utils.ConvertMethod attribute)
CROWN_FORWARD_IBP (decomon.models.utils.ConvertMethod attribute)
crown_model() (in module decomon.models.backward_cloning)
D
data_format (decomon.backward_layers.backward_maxpooling.BackwardMaxPooling2D attribute)
(decomon.layers.maxpooling.DecomonMaxPooling2D attribute)
decomon
module
decomon.backward_layers
module
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
decomon.core
module
decomon.keras_utils
module
decomon.layers
module
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
decomon.metrics
module
decomon.metrics.complexity
module
decomon.metrics.loss
module
decomon.metrics.metric
module
decomon.metrics.utils
module
decomon.models
module
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
decomon.types
module
decomon.utils
module
decomon.wrapper
module
decomon.wrapper_with_tuning
module
DecomonActivation (class in decomon.layers.decomon_layers)
DecomonAdd (class in decomon.layers.decomon_merge_layers)
DecomonAverage (class in decomon.layers.decomon_merge_layers)
DecomonBatchNormalization (class in decomon.layers.decomon_layers)
DecomonConcatenate (class in decomon.layers.decomon_merge_layers)
DecomonConv2D (class in decomon.layers.decomon_layers)
DecomonDense (class in decomon.layers.decomon_layers)
DecomonDot (class in decomon.layers.decomon_merge_layers)
DecomonDropout (class in decomon.layers.decomon_layers)
DecomonFlatten (class in decomon.layers.decomon_layers)
DecomonInputLayer (class in decomon.layers.decomon_layers)
DecomonLayer (class in decomon.layers.core)
DecomonLossFusion (class in decomon.metrics.loss)
DecomonMaximum (class in decomon.layers.decomon_merge_layers)
DecomonMaxPool2d (in module decomon.layers.maxpooling)
DecomonMaxPooling2D (class in decomon.layers.maxpooling)
DecomonMerge (class in decomon.layers.decomon_merge_layers)
DecomonMinimum (class in decomon.layers.decomon_merge_layers)
DecomonModel (class in decomon.models.models)
DecomonMultiply (class in decomon.layers.decomon_merge_layers)
DecomonPermute (class in decomon.layers.decomon_reshape)
DecomonRadiusRobust (class in decomon.metrics.loss)
DecomonReshape (class in decomon.layers.decomon_reshape)
DecomonSubtract (class in decomon.layers.decomon_merge_layers)
deserialize() (in module decomon.backward_layers.activations)
(in module decomon.layers.activations)
E
elu() (in module decomon.layers.activations)
ensure_functional_model() (in module decomon.models.utils)
exp() (in module decomon.layers.utils)
expand_dims() (in module decomon.layers.utils)
exponential() (in module decomon.layers.activations)
extract_inputsformode_from_fullinputs() (decomon.core.InputsOutputsSpec method)
extract_inputshapesformode_from_fullinputshapes() (decomon.core.InputsOutputsSpec method)
extract_outputsformode_from_fulloutputs() (decomon.core.InputsOutputsSpec method)
F
fast (decomon.backward_layers.backward_maxpooling.BackwardMaxPooling2D attribute)
FeedDirection (class in decomon.models.utils)
FORWARD (decomon.metrics.metric.MetricMode attribute)
(decomon.models.utils.FeedDirection attribute)
FORWARD_AFFINE (decomon.models.utils.ConvertMethod attribute)
FORWARD_HYBRID (decomon.models.utils.ConvertMethod attribute)
FORWARD_IBP (decomon.models.utils.ConvertMethod attribute)
ForwardMode (class in decomon.core)
frac_pos() (in module decomon.layers.utils)
frac_pos_hull() (in module decomon.layers.utils)
freeze_alpha() (decomon.backward_layers.backward_layers.BackwardActivation method)
(decomon.backward_layers.backward_merge.BackwardMerge method)
(decomon.backward_layers.core.BackwardLayer method)
(decomon.layers.core.DecomonLayer method)
(decomon.layers.decomon_layers.DecomonActivation method)
(decomon.models.models.DecomonModel method)
freeze_grid() (decomon.backward_layers.backward_layers.BackwardActivation method)
freeze_weights() (decomon.backward_layers.backward_layers.BackwardConv2D method)
(decomon.backward_layers.backward_layers.BackwardDense method)
(decomon.backward_layers.backward_merge.BackwardMerge method)
(decomon.backward_layers.core.BackwardLayer method)
(decomon.layers.core.DecomonLayer method)
(decomon.layers.decomon_layers.DecomonConv2D method)
(decomon.layers.decomon_layers.DecomonDense method)
(decomon.models.models.DecomonModel method)
Fuse (class in decomon.models.crown)
G
get() (in module decomon.backward_layers.activations)
(in module decomon.layers.activations)
get_AB() (in module decomon.models.models)
get_AB_finetune() (in module decomon.models.models)
get_adv_box() (in module decomon.wrapper)
get_adv_loss() (in module decomon.metrics.loss)
get_adv_noise() (in module decomon.wrapper)
get_affine() (in module decomon.core)
get_affine_components() (decomon.backward_layers.backward_layers.BackwardConv2D method)
get_bound_grid() (in module decomon.utils)
get_config() (decomon.backward_layers.backward_layers.BackwardActivation method)
(decomon.backward_layers.backward_merge.BackwardMerge method)
(decomon.backward_layers.core.BackwardLayer method)
(decomon.core.BallDomain method)
(decomon.core.PerturbationDomain method)
(decomon.layers.core.DecomonLayer method)
(decomon.metrics.loss.DecomonLossFusion method)
(decomon.metrics.loss.DecomonRadiusRobust method)
(decomon.metrics.metric.MetricLayer method)
(decomon.models.crown.Convert2BackwardMode method)
(decomon.models.crown.Fuse method)
(decomon.models.crown.MergeWithPrevious method)
(decomon.models.models.DecomonModel method)
(decomon.models.utils.Convert2Mode method)
get_depth_dict() (in module decomon.models.utils)
get_direction() (in module decomon.models.utils)
get_disconnected_input() (in module decomon.models.backward_cloning)
get_empty_tensor() (decomon.core.InputsOutputsSpec static method)
get_fullinputs_by_type_from_inputsformode_to_merge() (decomon.core.InputsOutputsSpec method)
get_fullinputs_from_inputsformode() (decomon.core.InputsOutputsSpec method)
get_fullinputshapes_from_inputshapesformode() (decomon.core.InputsOutputsSpec method)
get_graph_complexity() (in module decomon.metrics.complexity)
get_ibp() (in module decomon.core)
get_ibp_affine_from_method() (in module decomon.models.utils)
get_identity_lirpa() (in module decomon.backward_layers.utils)
get_identity_lirpa_shapes() (in module decomon.backward_layers.utils)
get_inner_layers() (in module decomon.models.utils)
get_input_dim() (in module decomon.models.utils)
get_input_nodes() (in module decomon.models.backward_cloning)
get_input_tensors() (in module decomon.models.utils)
get_kerasinputshape() (decomon.core.InputsOutputsSpec method)
get_kerasinputshape_from_inputshapesformode() (decomon.core.InputsOutputsSpec method)
get_layer_input_shape() (in module decomon.layers.convert)
get_linear_hull_relu() (in module decomon.utils)
get_linear_hull_s_shape() (in module decomon.utils)
get_linear_hull_sigmoid() (in module decomon.utils)
get_linear_hull_tanh() (in module decomon.utils)
get_linear_softplus_hull() (in module decomon.utils)
get_lower() (decomon.core.BallDomain method)
(decomon.core.BoxDomain method)
(decomon.core.PerturbationDomain method)
get_lower_ball() (in module decomon.core)
get_lower_ball_finetune() (in module decomon.core)
get_lower_bound_grid() (in module decomon.utils)
get_lower_box() (in module decomon.core)
(in module decomon.wrapper)
get_lower_box_tuning() (in module decomon.wrapper_with_tuning)
get_lower_linear_hull_max() (in module decomon.layers.utils_pooling)
get_lower_loss() (in module decomon.metrics.loss)
get_lower_noise() (in module decomon.wrapper)
get_lq_norm() (in module decomon.core)
get_mode() (in module decomon.core)
get_model() (in module decomon.metrics.loss)
get_nb_x_components() (decomon.core.BallDomain method)
(decomon.core.BoxDomain method)
(decomon.core.PerturbationDomain method)
get_range_box() (in module decomon.wrapper)
get_range_noise() (in module decomon.wrapper)
get_t_lower() (in module decomon.utils)
get_t_upper() (in module decomon.utils)
get_toeplitz() (in module decomon.backward_layers.utils_conv)
get_toeplitz_channels_first() (in module decomon.backward_layers.utils_conv)
get_toeplitz_channels_last() (in module decomon.backward_layers.utils_conv)
get_upper() (decomon.core.BallDomain method)
(decomon.core.BoxDomain method)
(decomon.core.PerturbationDomain method)
get_upper_ball() (in module decomon.core)
get_upper_ball_finetune() (in module decomon.core)
get_upper_bound_grid() (in module decomon.utils)
get_upper_box() (in module decomon.core)
(in module decomon.wrapper)
get_upper_box_tuning() (in module decomon.wrapper_with_tuning)
get_upper_linear_hull_max() (in module decomon.layers.utils_pooling)
get_upper_loss() (in module decomon.metrics.loss)
get_upper_noise() (in module decomon.wrapper)
get_weight_index() (in module decomon.keras_utils)
get_weight_index_from_name() (in module decomon.keras_utils)
get_x_input_shape_wo_batchsize() (decomon.core.PerturbationDomain method)
GridDomain (class in decomon.core)
group_sort_2() (in module decomon.layers.activations)
H
hard_sigmoid() (in module decomon.layers.activations)
has_merge_layers() (in module decomon.models.utils)
HYBRID (decomon.core.ForwardMode attribute)
I
ibp (decomon.backward_layers.backward_merge.BackwardMerge property)
(decomon.backward_layers.core.BackwardLayer property)
IBP (decomon.core.ForwardMode attribute)
ibp (decomon.core.InputsOutputsSpec property)
(decomon.layers.core.DecomonLayer property)
include_dim_layer_fn() (in module decomon.models.forward_cloning)
InputsOutputsSpec (class in decomon.core)
IntegerType (in module decomon.wrapper)
is_a_merge_layer() (in module decomon.layers.utils)
is_input_node() (in module decomon.models.utils)
is_symbolic_tensor() (in module decomon.keras_utils)
J
join() (decomon.layers.core.DecomonLayer method)
K
keras_weights_names (decomon.layers.core.DecomonLayer property)
(decomon.layers.decomon_layers.DecomonBatchNormalization property)
(decomon.layers.decomon_layers.DecomonConv2D property)
(decomon.layers.decomon_layers.DecomonDense property)
L
LabelType (in module decomon.wrapper)
lagrangian (decomon.core.Option attribute)
layer (decomon.backward_layers.backward_layers.BackwardActivation attribute)
(decomon.backward_layers.backward_layers.BackwardBatchNormalization attribute)
(decomon.backward_layers.backward_layers.BackwardConv2D attribute)
(decomon.backward_layers.backward_layers.BackwardDense attribute)
(decomon.backward_layers.backward_layers.BackwardDropout attribute)
(decomon.backward_layers.backward_layers.BackwardFlatten attribute)
(decomon.backward_layers.backward_layers.BackwardInputLayer attribute)
(decomon.backward_layers.backward_layers.BackwardPermute attribute)
(decomon.backward_layers.backward_layers.BackwardReshape attribute)
(decomon.backward_layers.backward_merge.BackwardAdd attribute)
(decomon.backward_layers.backward_merge.BackwardAverage attribute)
(decomon.backward_layers.backward_merge.BackwardConcatenate attribute)
(decomon.backward_layers.backward_merge.BackwardDot attribute)
(decomon.backward_layers.backward_merge.BackwardMaximum attribute)
(decomon.backward_layers.backward_merge.BackwardMerge attribute)
(decomon.backward_layers.backward_merge.BackwardMinimum attribute)
(decomon.backward_layers.backward_merge.BackwardMultiply attribute)
(decomon.backward_layers.backward_merge.BackwardSubtract attribute)
(decomon.backward_layers.core.BackwardLayer attribute)
linear() (in module decomon.layers.activations)
linear_adv() (decomon.metrics.metric.AdversarialCheck method)
linear_hull_s_shape() (in module decomon.layers.activations)
linear_to_softmax() (in module decomon.layers.utils)
linear_upper() (decomon.metrics.metric.UpperScore method)
log() (in module decomon.layers.utils)
M
max_() (in module decomon.layers.utils)
maximum() (in module decomon.utils)
merge_with_previous() (in module decomon.models.crown)
merge_with_previous_compute_output_shape() (in module decomon.models.crown)
MergeWithPrevious (class in decomon.models.crown)
MetricLayer (class in decomon.metrics.metric)
MetricMode (class in decomon.metrics.metric)
milp (decomon.core.Option attribute)
min_() (in module decomon.layers.utils)
minimum() (in module decomon.utils)
minus() (in module decomon.utils)
module
decomon
decomon.backward_layers
decomon.backward_layers.activations
decomon.backward_layers.backward_layers
decomon.backward_layers.backward_maxpooling
decomon.backward_layers.backward_merge
decomon.backward_layers.backward_reshape
decomon.backward_layers.convert
decomon.backward_layers.core
decomon.backward_layers.utils
decomon.backward_layers.utils_conv
decomon.core
decomon.keras_utils
decomon.layers
decomon.layers.activations
decomon.layers.convert
decomon.layers.core
decomon.layers.decomon_layers
decomon.layers.decomon_merge_layers
decomon.layers.decomon_reshape
decomon.layers.maxpooling
decomon.layers.utils
decomon.layers.utils_pooling
decomon.metrics
decomon.metrics.complexity
decomon.metrics.loss
decomon.metrics.metric
decomon.metrics.utils
decomon.models
decomon.models.backward_cloning
decomon.models.convert
decomon.models.crown
decomon.models.forward_cloning
decomon.models.models
decomon.models.utils
decomon.types
decomon.utils
decomon.wrapper
decomon.wrapper_with_tuning
MultipleConstraint (class in decomon.layers.utils)
multiply() (in module decomon.layers.utils)
N
nb_tensors (decomon.core.InputsOutputsSpec property)
NonNeg (class in decomon.layers.utils)
NonPos (class in decomon.layers.utils)
O
O_SLOPE (decomon.core.Slope attribute)
opt_option (decomon.core.BallDomain attribute)
(decomon.core.BoxDomain attribute)
(decomon.core.GridDomain attribute)
(decomon.core.PerturbationDomain attribute)
(decomon.core.VertexDomain attribute)
Option (class in decomon.core)
original_keras_layer_class (decomon.layers.core.DecomonLayer property)
(decomon.layers.decomon_layers.DecomonActivation attribute)
(decomon.layers.decomon_layers.DecomonBatchNormalization attribute)
(decomon.layers.decomon_layers.DecomonConv2D attribute)
(decomon.layers.decomon_layers.DecomonDense attribute)
(decomon.layers.decomon_layers.DecomonDropout attribute)
(decomon.layers.decomon_layers.DecomonFlatten attribute)
(decomon.layers.decomon_layers.DecomonInputLayer attribute)
(decomon.layers.decomon_merge_layers.DecomonAdd attribute)
(decomon.layers.decomon_merge_layers.DecomonAverage attribute)
(decomon.layers.decomon_merge_layers.DecomonConcatenate attribute)
(decomon.layers.decomon_merge_layers.DecomonDot attribute)
(decomon.layers.decomon_merge_layers.DecomonMaximum attribute)
(decomon.layers.decomon_merge_layers.DecomonMinimum attribute)
(decomon.layers.decomon_merge_layers.DecomonMultiply attribute)
(decomon.layers.decomon_merge_layers.DecomonSubtract attribute)
(decomon.layers.decomon_reshape.DecomonPermute attribute)
(decomon.layers.decomon_reshape.DecomonReshape attribute)
(decomon.layers.maxpooling.DecomonMaxPooling2D attribute)
(decomon.metrics.loss.DecomonLossFusion attribute)
(decomon.metrics.loss.DecomonRadiusRobust attribute)
P
padding (decomon.backward_layers.backward_maxpooling.BackwardMaxPooling2D attribute)
(decomon.layers.maxpooling.DecomonMaxPooling2D attribute)
permute_dimensions() (in module decomon.layers.utils)
PerturbationDomain (class in decomon.core)
pool_size (decomon.backward_layers.backward_maxpooling.BackwardMaxPooling2D attribute)
(decomon.layers.maxpooling.DecomonMaxPooling2D attribute)
pow() (in module decomon.layers.utils)
predict_on_single_batch_np() (decomon.models.models.DecomonModel method)
prepare_inputs_for_layer() (in module decomon.models.utils)
prepare_labels() (in module decomon.wrapper)
preprocess_keras_model() (in module decomon.models.convert)
preprocess_layer() (in module decomon.models.utils)
Project_initializer_neg (class in decomon.layers.utils)
Project_initializer_pos (class in decomon.layers.utils)
R
refine_box() (in module decomon.wrapper)
refine_boxes() (in module decomon.wrapper)
relu() (in module decomon.layers.activations)
relu_() (in module decomon.utils)
relu_prime() (in module decomon.utils)
reset_finetuning() (decomon.backward_layers.backward_merge.BackwardMerge method)
(decomon.backward_layers.core.BackwardLayer method)
(decomon.layers.core.DecomonLayer method)
(decomon.layers.decomon_layers.DecomonActivation method)
(decomon.models.models.DecomonModel method)
reset_layer() (decomon.layers.core.DecomonLayer method)
(in module decomon.keras_utils)
reset_layer_all_weights() (in module decomon.keras_utils)
retrieve_layer() (in module decomon.models.backward_cloning)
S
S_SLOPE (decomon.core.Slope attribute)
selu() (in module decomon.layers.activations)
set_back_bounds() (decomon.layers.core.DecomonLayer method)
(decomon.layers.decomon_layers.DecomonDense method)
set_domain() (decomon.models.models.DecomonModel method)
share_layer_all_weights() (in module decomon.keras_utils)
share_weights() (decomon.layers.core.DecomonLayer method)
(decomon.layers.decomon_layers.DecomonConv2D method)
(decomon.layers.decomon_layers.DecomonDense method)
share_weights_and_build() (in module decomon.keras_utils)
sigmoid() (in module decomon.layers.activations)
sigmoid_prime() (in module decomon.utils)
Slope (class in decomon.core)
softmax() (in module decomon.layers.activations)
softmax_to_linear() (in module decomon.layers.utils)
softplus() (in module decomon.layers.activations)
softplus_() (in module decomon.layers.utils)
softsign() (in module decomon.layers.activations)
softsign_prime() (in module decomon.utils)
sort() (in module decomon.layers.utils)
split() (in module decomon.layers.utils)
split_activation() (in module decomon.models.utils)
split_activations_in_keras_model() (in module decomon.models.convert)
split_inputsformode_to_merge() (decomon.core.InputsOutputsSpec method)
split_kwargs() (decomon.layers.core.DecomonLayer method)
strides (decomon.backward_layers.backward_maxpooling.BackwardMaxPooling2D attribute)
(decomon.layers.maxpooling.DecomonMaxPooling2D attribute)
subset_sum_lower() (in module decomon.utils)
subtract() (in module decomon.utils)
sum() (in module decomon.layers.utils)
T
tanh() (in module decomon.layers.activations)
tanh_prime() (in module decomon.utils)
Tensor (in module decomon.types)
to_backward() (in module decomon.backward_layers.convert)
to_decomon() (in module decomon.layers.convert)
U
unfreeze_alpha() (decomon.backward_layers.backward_layers.BackwardActivation method)
(decomon.backward_layers.backward_merge.BackwardMerge method)
(decomon.backward_layers.core.BackwardLayer method)
(decomon.layers.core.DecomonLayer method)
(decomon.layers.decomon_layers.DecomonActivation method)
(decomon.models.models.DecomonModel method)
unfreeze_grid() (decomon.backward_layers.backward_layers.BackwardActivation method)
unfreeze_weights() (decomon.backward_layers.backward_layers.BackwardConv2D method)
(decomon.backward_layers.backward_layers.BackwardDense method)
(decomon.backward_layers.backward_merge.BackwardMerge method)
(decomon.backward_layers.core.BackwardLayer method)
(decomon.layers.core.DecomonLayer method)
(decomon.layers.decomon_layers.DecomonConv2D method)
(decomon.layers.decomon_layers.DecomonDense method)
(decomon.models.models.DecomonModel method)
UpperScore (class in decomon.metrics.metric)
V
V_SLOPE (decomon.core.Slope attribute)
VertexDomain (class in decomon.core)
W
wrap_outputs_from_layer_in_list() (in module decomon.models.utils)
Z
Z_SLOPE (decomon.core.Slope attribute)
Versions
v: main