Index

Symbols

--detailed-report command line option --device command line option --epsilon command line option, [1] --export-report-csv command line option --image command line option, [1] --layers command line option --model command line option, [1] --output command line option, [1] --samples command line option --verbose command line option

--version command line option, [1] -e command line option -i command line option, [1] -l command line option -m command line option, [1] -n command line option -o command line option, [1] -s command line option -v command line option

_

__add__() (abstractnn.affine_engine.AffineExpression method), [1], [2] __init__() (abstractnn.affine_engine.AffineExpression method), [1], [2] (abstractnn.bound_propagator.BoundPropagator method), [1], [2] (abstractnn.onnx_parser.ONNXParser method) (abstractnn.partial_evaluator.ONNXPartialEvaluator method) (abstractnn.partial_evaluator.PartialNetworkEvaluator method) (abstractnn.soundness_checker.SoundnessChecker method)

__mul__() (abstractnn.affine_engine.AffineExpression method), [1], [2] _propagate_layer() (abstractnn.bound_propagator.BoundPropagator method)

A

abstractnn.affine_engine module, [1] abstractnn.bound_propagator module, [1] abstractnn.onnx_parser module abstractnn.partial_evaluator module

abstractnn.relaxer module abstractnn.soundness_checker module AffineExpression (class in abstractnn.affine_engine), [1], [2] AffineExpressionEngine (class in abstractnn.affine_engine), [1], [2] avgpool2d_layer() (abstractnn.affine_engine.AffineExpressionEngine static method), [1], [2]

B

BoundPropagator (class in abstractnn.bound_propagator), [1], [2]

bounds (abstractnn.affine_engine.AffineExpression attribute)

C

check_soundness() (abstractnn.soundness_checker.SoundnessChecker method) coefficients (abstractnn.affine_engine.AffineExpression attribute) command line option --detailed-report --device --epsilon, [1] --export-report-csv --image, [1] --layers --model, [1] --output, [1] --samples --verbose --version, [1] -e -i, [1] -l -m, [1] -n -o, [1] -s -v

constant (abstractnn.affine_engine.AffineExpression attribute) conv2d_layer() (abstractnn.affine_engine.AffineExpressionEngine method) (abstractnn.affine_engine.AffineExpressionEngine static method), [1], [2] create_input_expressions() (abstractnn.affine_engine.AffineExpressionEngine method) (abstractnn.affine_engine.AffineExpressionEngine static method), [1], [2] (abstractnn.partial_evaluator.PartialNetworkEvaluator method)

G

get_bounds() (abstractnn.affine_engine.AffineExpression method), [1], [2], [3] get_input_shape() (abstractnn.onnx_parser.ONNXParser method)

get_output_names() (abstractnn.onnx_parser.ONNXParser method) get_report() (abstractnn.bound_propagator.BoundPropagator method), [1], [2]

L

linear_layer() (abstractnn.affine_engine.AffineExpressionEngine method) (abstractnn.affine_engine.AffineExpressionEngine static method), [1], [2]

M

maxpool2d_layer() (abstractnn.affine_engine.AffineExpressionEngine static method), [1], [2] module abstractnn.affine_engine, [1] abstractnn.bound_propagator, [1] abstractnn.onnx_parser abstractnn.partial_evaluator abstractnn.relaxer abstractnn.soundness_checker

monte_carlo_robustness_test() (in module abstractnn.soundness_checker) monte_carlo_sampling() (abstractnn.partial_evaluator.ONNXPartialEvaluator method) monte_carlo_sampling_at_layer() (abstractnn.partial_evaluator.ONNXPartialEvaluator method)

N

NonLinearRelaxer (class in abstractnn.relaxer)

O

ONNXParser (class in abstractnn.onnx_parser)

ONNXPartialEvaluator (class in abstractnn.partial_evaluator)

P

parse() (abstractnn.onnx_parser.ONNXParser method) PartialNetworkEvaluator (class in abstractnn.partial_evaluator)

print_soundness_report() (abstractnn.soundness_checker.SoundnessChecker method) propagate() (abstractnn.bound_propagator.BoundPropagator method), [1], [2], [3] propagate_through_layers() (abstractnn.partial_evaluator.PartialNetworkEvaluator method)

Q

quick_soundness_check() (in module abstractnn.partial_evaluator)

R

relu_relaxation() (abstractnn.relaxer.NonLinearRelaxer static method)

S

sigmoid_relaxation() (abstractnn.relaxer.NonLinearRelaxer static method)

SoundnessChecker (class in abstractnn.soundness_checker)

T

tanh_relaxation() (abstractnn.relaxer.NonLinearRelaxer static method)

V

verify_partial_soundness() (in module abstractnn.partial_evaluator)