MCPcopy Create free account

hub / github.com/NeuralNetworkVerification/Marabou / functions

Functions4,559 in github.com/NeuralNetworkVerification/Marabou

↓ 1 callersMethodgetAColumn
src/engine/Tableau.cpp:1614
↓ 1 callersMethodgetAuxToElement
src/engine/MaxConstraint.h:230
↓ 1 callersMethodgetAveragePivotTimeInMicro
src/common/Statistics.cpp:435
↓ 1 callersMethodgetBias
src/input_parsers/AcasNeuralNetwork.cpp:56
↓ 1 callersMethodgetBoundsForLayer
Returns a tuple of two lists, the lower and upper bounds for the variables corresponding to the given layer If b=True, b variable
maraboupy/MarabouNetworkNNet.py:527
↓ 1 callersFunctiongetBroadcastShape
Helper function to get the shape that results from broadcasting these shapes together Args: shape1 (list of int): First shape sha
maraboupy/parsers/ONNXParser.py:1334
↓ 1 callersMethodgetCMM
deps/CVC4/context/context_mm.h:233
↓ 1 callersMethodgetChangeColumn
src/engine/tests/MockTableau.h:403
↓ 1 callersFunctiongetCompiledDateTime
src/engine/MarabouMain.cpp:43
↓ 1 callersFunctiongetCompiler
src/engine/MarabouMain.cpp:27
↓ 1 callersMethodgetCostFunctionStatus
src/engine/CostFunctionManager.cpp:337
↓ 1 callersMethodgetCostFunctionStatus
src/engine/tests/MockCostFunctionManager.h:69
↓ 1 callersMethodgetEntryCandidates
src/engine/Tableau.cpp:596
↓ 1 callersMethodgetEntryCandidates
src/engine/tests/MockTableau.h:98
↓ 1 callersMethodgetExitCode
src/engine/DnCManager.cpp:265
↓ 1 callersMethodgetFeasibleDisjuncts
src/engine/DisjunctionConstraint.cpp:529
↓ 1 callersMethodgetImpliedCaseSplit
src/engine/tests/Test_SmtCore.h:136
↓ 1 callersMethodgetInconsistentVariable
src/engine/BoundManager.cpp:491
↓ 1 callersMethodgetInconsistentVariable
src/engine/tests/MockBoundManager.h:280
↓ 1 callersMethodgetIndependentColumns
src/engine/ConstraintMatrixAnalyzer.cpp:454
↓ 1 callersMethodgetInputNodes
Get names of nodes that are inputs to the given node Args: nodeName (str): Name of node Returns: (list of st
maraboupy/parsers/ONNXParser.py:249
↓ 1 callersMethodgetInputRange
src/input_parsers/AcasNeuralNetwork.cpp:100
↓ 1 callersMethodgetInverseBasisMatrix
src/engine/Tableau.cpp:2498
↓ 1 callersMethodgetLeavingVariable
src/engine/Tableau.cpp:678
↓ 1 callersMethodgetListParticipatingVariables
src/engine/Equation.cpp:192
↓ 1 callersMethodgetLowerBoundFromLayer
src/nlr/DeepPolyElement.cpp:95
↓ 1 callersMethodgetMaxVariable
src/nlr/Layer.cpp:2147
↓ 1 callersFunctiongetMultidirectionalBroadcastShape
See https://github.com/onnx/onnx/blob/main/docs/Broadcasting.md#multidirectional-broadcasting
src/input_parsers/TensorUtils.cpp:62
↓ 1 callersMethodgetN
src/engine/tests/MockTableau.h:473
↓ 1 callersMethodgetNativeAuxVars
src/engine/MaxConstraint.cpp:726
↓ 1 callersMethodgetNegAux
src/engine/AbsoluteValueConstraint.h:213
↓ 1 callersMethodgetNewVariable
src/input_parsers/InputQueryBuilder.cpp:38
↓ 1 callersMethodgetNnz
src/basis_factorization/SparseUnsortedArray.cpp:108
↓ 1 callersMethodgetNnz
src/basis_factorization/SparseUnsortedLists.cpp:271
↓ 1 callersMethodgetNode
Find the node in the graph corresponding to the given name Args: nodeName (str): Name of node to find in graph Returns:
maraboupy/MarabouNetworkONNX.py:76
↓ 1 callersMethodgetNumVariables
src/input_parsers/BerkeleyNeuralNetwork.cpp:42
↓ 1 callersMethodgetNumberOfSimplexIterations
src/common/GurobiWrapper.h:184
↓ 1 callersMethodgetOptimalCostOrObjective
src/common/GurobiWrapper.h:116
↓ 1 callersMethodgetOutput
src/engine/SoftmaxConstraint.cpp:272
↓ 1 callersMethodgetOutputVariables
src/input_parsers/BerkeleyParser.cpp:91
↓ 1 callersMethodgetPivotRow
src/engine/Tableau.cpp:1474
↓ 1 callersMethodgetPivotRow
src/engine/tests/MockTableau.h:418
↓ 1 callersMethodgetPosAux
src/engine/AbsoluteValueConstraint.h:209
↓ 1 callersMethodgetPossibleFixes
src/engine/MaxConstraint.cpp:375
↓ 1 callersMethodgetPreprocessor
src/engine/Engine.cpp:3004
↓ 1 callersMethodgetQuitRequested
src/engine/Engine.cpp:2398
↓ 1 callersFunctiongetRequiredIntAttribute
src/input_parsers/OnnxParser.cpp:345
↓ 1 callersMethodgetSize
src/basis_factorization/SparseUnsortedList.cpp:241
↓ 1 callersMethodgetSmartFixes
src/engine/MaxConstraint.cpp:382
↓ 1 callersMethodgetSnCDivideStrategy
src/configuration/Options.cpp:172
↓ 1 callersMethodgetSoIInitializationStrategy
src/configuration/Options.cpp:238
↓ 1 callersMethodgetSoISearchStrategy
src/configuration/Options.cpp:227
↓ 1 callersMethodgetSoftmaxBoundType
src/configuration/Options.cpp:265
↓ 1 callersMethodgetSolution
src/engine/DnCManager.cpp:334
↓ 1 callersMethodgetSparseARow
src/engine/Tableau.cpp:1629
↓ 1 callersMethodgetSparseBasis
src/basis_factorization/SparseLUFactorization.cpp:67
↓ 1 callersMethodgetSparseBasis
src/basis_factorization/SparseFTFactorization.cpp:98
↓ 1 callersMethodgetStatusCode
src/common/GurobiWrapper.h:194
↓ 1 callersFunctiongetTensorFloatValues
src/input_parsers/OnnxParser.cpp:413
↓ 1 callersFunctiongetTensorInt32Values
src/input_parsers/OnnxParser.cpp:465
↓ 1 callersFunctiongetTensorIntValues
src/input_parsers/OnnxParser.cpp:438
↓ 1 callersMethodgetUpperBoundFromLayer
src/nlr/DeepPolyElement.cpp:101
↓ 1 callersMethodgetValidCaseSplit
src/engine/MaxConstraint.cpp:433
↓ 1 callersMethodgetWeight
src/input_parsers/AcasNeuralNetwork.cpp:39
↓ 1 callersMethodgui
tools/cxxtest/cxxtest/Win32Gui.h:147
↓ 1 callersMethodhandle
tools/cxxtest/cxxtest/Win32Gui.h:337
↓ 1 callersMethodidentity
Function handling identity operation, performed on variables Args: op: (tf.op) identity operation :meta private:
maraboupy/MarabouNetworkTF.py:304
↓ 1 callersFunctionidentity_node
()
resources/onnx/layer-zoo/onnx-layer-zoo.py:95
↓ 1 callersFunctionillTypedAttributeError
src/input_parsers/OnnxParser.cpp:69
↓ 1 callersMethodinSnCMode
src/engine/Engine.cpp:145
↓ 1 callersMethodinitialize
src/common/SignalHandler.cpp:38
↓ 1 callersMethodinitializeBoundExplainer
src/engine/BoundManager.cpp:485
↓ 1 callersMethodinitializeBoundExplainer
src/engine/tests/MockBoundManager.h:276
↓ 1 callersMethodinitializeCDActiveStatus
src/engine/PiecewiseLinearConstraint.cpp:92
↓ 1 callersMethodinitializeCDInfeasibleCases
src/engine/PiecewiseLinearConstraint.cpp:85
↓ 1 callersMethodinitializeCDPhaseStatus
src/engine/PiecewiseLinearConstraint.cpp:99
↓ 1 callersMethodinitializeFromList
src/basis_factorization/SparseUnsortedArray.cpp:86
↓ 1 callersMethodinitializeToEmpty
src/basis_factorization/SparseUnsortedArrays.cpp:123
↓ 1 callersMethodinitializeToEmpty
src/basis_factorization/SparseUnsortedLists.cpp:100
↓ 1 callersMethodinsert
src/common/HashSet.h:42
↓ 1 callersMethodinsert
src/common/Set.h:48
↓ 1 callersMethodinsertAt
src/common/Vector.h:78
↓ 1 callersFunctioninstantiateReshapeTemplate
* @brief Fills in the variables (values 0 and -1) in the new shape template. * See https://github.com/onnx/onnx/blob/main/docs/Operators.md#Reshape f
src/input_parsers/OnnxParser.cpp:245
↓ 1 callersFunctionisConnected
deps/CVC4/base/output.h:110
↓ 1 callersFunctionisGenerated
Checks whether a suite class should be created
tools/cxxtest/cxxtestgen.py:471
↓ 1 callersMethodisValidNonLeaf
src/proofs/UnsatCertificateNode.cpp:157
↓ 1 callersMethodisVariableMergingEquation
src/engine/Equation.cpp:156
↓ 1 callersMethodisZero
src/common/LinearExpression.cpp:59
↓ 1 callersMethoditerativePropagation
src/nlr/NetworkLevelReasoner.cpp:269
↓ 1 callersMethodjustNext
tools/cxxtest/cxxtest/LinkedList.cpp:103
↓ 1 callersMethodkey_begin
Returns an iterator to the start of the set of keys. */
deps/CVC4/context/cdinsert_hashmap.h:102
↓ 1 callersMethodkey_end
Returns an iterator to the end of the set of keys. */
deps/CVC4/context/cdinsert_hashmap.h:106
↓ 1 callersMethodleakyReluEquations
Function to generate equations corresponding to pointwise LeakyRelu Args: node (node): ONNX node representing the LeakyRelu operat
maraboupy/parsers/ONNXParser.py:1203
↓ 1 callersFunctionleakyRelu_node
()
resources/onnx/layer-zoo/onnx-layer-zoo.py:237
↓ 1 callersMethodleaveOnly
tools/cxxtest/cxxtest/RealDescriptions.cpp:144
↓ 1 callersFunctionlessThan
tools/cxxtest/cxxtest/TestSuite.h:91
↓ 1 callersFunctionlessThanEquals
tools/cxxtest/cxxtest/TestSuite.h:111
↓ 1 callersFunctionlineBelongsToSuite
Returns whether current line is part of the current suite. This can be false when we are in a generated suite outside of CXXTEST_CODE() blocks
tools/cxxtest/cxxtestgen.py:208
↓ 1 callersFunctionlineStartsBlock
Check if current line starts a new CXXTEST_CODE() block
tools/cxxtest/cxxtestgen.py:266
↓ 1 callersMethodloadQuery
src/query_loader/QueryLoader.cpp:35
← previousnext →1,001–1,100 of 4,559, ranked by callers