Index

A

absList (maraboupy.MarabouNetwork.MarabouNetwork attribute) addAbsConstraint() (in module maraboupy.MarabouCore) (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) addAddend() (maraboupy.MarabouCore.Equation method) (maraboupy.MarabouUtils.Equation method) addDisjunctionConstraint() (in module maraboupy.MarabouCore) (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) addendList (maraboupy.MarabouUtils.Equation attribute) addEquality() (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) addEquation() (maraboupy.MarabouCore.InputQuery method) (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method)

addInequality() (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) addMaxConstraint() (in module maraboupy.MarabouCore) (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) addRelu() (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) addReluConstraint() (in module maraboupy.MarabouCore) addSignConstraint() (in module maraboupy.MarabouCore) (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method)

B

b_variables (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute)

biases (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute)

C

clear() (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method)

clearNetwork() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) createInputQuery() (in module maraboupy.MarabouCore) createOptions() (in module maraboupy.Marabou) createRandomInputsForNetwork() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method)

D

dump() (maraboupy.MarabouCore.InputQuery method)

E

Equation (class in maraboupy.MarabouCore) (class in maraboupy.MarabouUtils) Equation.EquationType (class in maraboupy.MarabouCore) EquationType (maraboupy.MarabouUtils.Equation attribute) equList (maraboupy.MarabouNetwork.MarabouNetwork attribute) evaluate() (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method)

evaluateNNet() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) evaluateWithMarabou() (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) evaluateWithoutMarabou() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method)

F

f_variables (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute) findError() (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method)

G

getBoundsForLayer() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) getInputMaximum() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) getInputMinimum() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) getLowerBound() (maraboupy.MarabouCore.InputQuery method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) getLowerBoundsForLayer() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) getMarabouQuery() (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) getMaxDegradation() (maraboupy.MarabouCore.Statistics method) getMaxStackDepth() (maraboupy.MarabouCore.Statistics method) getNumberOfVariables() (maraboupy.MarabouCore.InputQuery method) getNumConstraintFixingSteps() (maraboupy.MarabouCore.Statistics method) getNumInputVariables() (maraboupy.MarabouCore.InputQuery method)

getNumMainLoopIterations() (maraboupy.MarabouCore.Statistics method) getNumOutputVariables() (maraboupy.MarabouCore.InputQuery method) getNumPops() (maraboupy.MarabouCore.Statistics method) getNumPrecisionRestorations() (maraboupy.MarabouCore.Statistics method) getNumSimplexPivotSelectionsIgnoredForStability() (maraboupy.MarabouCore.Statistics method) getNumSimplexUnstablePivots() (maraboupy.MarabouCore.Statistics method) getNumSplits() (maraboupy.MarabouCore.Statistics method) getNumTableauPivots() (maraboupy.MarabouCore.Statistics method) getNumVisitedTreeStates() (maraboupy.MarabouCore.Statistics method) getSolutionValue() (maraboupy.MarabouCore.InputQuery method) getTimeSimplexStepsMicro() (maraboupy.MarabouCore.Statistics method) getTotalTime() (maraboupy.MarabouCore.Statistics method) getUpperBound() (maraboupy.MarabouCore.InputQuery method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) getUpperBoundsForLayer() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) getVariable() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method)

H

hasTimedOut() (maraboupy.MarabouCore.Statistics method)

I

inputMaximums (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute) inputMeans (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute) inputMinimums (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute) InputQuery (class in maraboupy.MarabouCore)

inputRanges (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute) inputSize (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute) inputVariableByIndex() (maraboupy.MarabouCore.InputQuery method) inputVars (maraboupy.MarabouNetwork.MarabouNetwork attribute)

L

layerSizes (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute) load_query() (in module maraboupy.Marabou) loadQuery() (in module maraboupy.MarabouCore) lowerBoundExists() (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method)

lowerBounds (maraboupy.MarabouNetwork.MarabouNetwork attribute)

M

MarabouNetwork (class in maraboupy.MarabouNetwork) MarabouNetworkNNet (class in maraboupy.MarabouNetworkNNet) MarabouNetworkONNX (class in maraboupy.MarabouNetworkONNX) MarabouNetworkTF (class in maraboupy.MarabouNetworkTF) maraboupy.Marabou module maraboupy.MarabouCore module maraboupy.MarabouNetwork module maraboupy.MarabouNetworkNNet module maraboupy.MarabouNetworkONNX module maraboupy.MarabouNetworkTF module

maraboupy.MarabouUtils module markInputVariable() (maraboupy.MarabouCore.InputQuery method) markOutputVariable() (maraboupy.MarabouCore.InputQuery method) maxLayersize (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute) maxList (maraboupy.MarabouNetwork.MarabouNetwork attribute) module maraboupy.Marabou maraboupy.MarabouCore maraboupy.MarabouNetwork maraboupy.MarabouNetworkNNet maraboupy.MarabouNetworkONNX maraboupy.MarabouNetworkTF maraboupy.MarabouUtils

N

name() (maraboupy.MarabouCore.Equation.EquationType property) (maraboupy.MarabouCore.PiecewiseLinearFunctionType property)

numberOfVariables() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) numLayers (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute) numVars (maraboupy.MarabouNetwork.MarabouNetwork attribute)

O

Options (class in maraboupy.MarabouCore) outputMean (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute) outputRange (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute)

outputSize (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute) outputVariableByIndex() (maraboupy.MarabouCore.InputQuery method) outputVars (maraboupy.MarabouNetwork.MarabouNetwork attribute)

P

PiecewiseLinearFunctionType (class in maraboupy.MarabouCore)

R

read_nnet() (in module maraboupy.Marabou) read_onnx() (in module maraboupy.Marabou) read_tf() (in module maraboupy.Marabou)

readTF() (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) reluList (maraboupy.MarabouNetwork.MarabouNetwork attribute) resetNetworkFromParameters() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method)

S

saveQuery() (in module maraboupy.MarabouCore) (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) scalar (maraboupy.MarabouUtils.Equation attribute) setLowerBound() (maraboupy.MarabouCore.InputQuery method) (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) setNumberOfVariables() (maraboupy.MarabouCore.InputQuery method) setScalar() (maraboupy.MarabouCore.Equation method) (maraboupy.MarabouUtils.Equation method)

setUpperBound() (maraboupy.MarabouCore.InputQuery method) (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) signList (maraboupy.MarabouNetwork.MarabouNetwork attribute) solve() (in module maraboupy.MarabouCore) (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method) solve_query() (in module maraboupy.Marabou) Statistics (class in maraboupy.MarabouCore)

U

upperBoundExists() (maraboupy.MarabouNetwork.MarabouNetwork method) (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method) (maraboupy.MarabouNetworkONNX.MarabouNetworkONNX method) (maraboupy.MarabouNetworkTF.MarabouNetworkTF method)

upperBounds (maraboupy.MarabouNetwork.MarabouNetwork attribute)

W

weights (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet attribute)

writeNNet() (maraboupy.MarabouNetworkNNet.MarabouNetworkNNet method)