Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/NeuralNetworkVerification/Marabou
/ functions
Functions
4,559 in github.com/NeuralNetworkVerification/Marabou
⨍
Functions
4,559
◇
Types & classes
641
↓ 1 callers
Method
getAColumn
src/engine/Tableau.cpp:1614
↓ 1 callers
Method
getAuxToElement
src/engine/MaxConstraint.h:230
↓ 1 callers
Method
getAveragePivotTimeInMicro
src/common/Statistics.cpp:435
↓ 1 callers
Method
getBias
src/input_parsers/AcasNeuralNetwork.cpp:56
↓ 1 callers
Method
getBoundsForLayer
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 callers
Function
getBroadcastShape
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 callers
Method
getCMM
deps/CVC4/context/context_mm.h:233
↓ 1 callers
Method
getChangeColumn
src/engine/tests/MockTableau.h:403
↓ 1 callers
Function
getCompiledDateTime
src/engine/MarabouMain.cpp:43
↓ 1 callers
Function
getCompiler
src/engine/MarabouMain.cpp:27
↓ 1 callers
Method
getCostFunctionStatus
src/engine/CostFunctionManager.cpp:337
↓ 1 callers
Method
getCostFunctionStatus
src/engine/tests/MockCostFunctionManager.h:69
↓ 1 callers
Method
getEntryCandidates
src/engine/Tableau.cpp:596
↓ 1 callers
Method
getEntryCandidates
src/engine/tests/MockTableau.h:98
↓ 1 callers
Method
getExitCode
src/engine/DnCManager.cpp:265
↓ 1 callers
Method
getFeasibleDisjuncts
src/engine/DisjunctionConstraint.cpp:529
↓ 1 callers
Method
getImpliedCaseSplit
src/engine/tests/Test_SmtCore.h:136
↓ 1 callers
Method
getInconsistentVariable
src/engine/BoundManager.cpp:491
↓ 1 callers
Method
getInconsistentVariable
src/engine/tests/MockBoundManager.h:280
↓ 1 callers
Method
getIndependentColumns
src/engine/ConstraintMatrixAnalyzer.cpp:454
↓ 1 callers
Method
getInputNodes
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 callers
Method
getInputRange
src/input_parsers/AcasNeuralNetwork.cpp:100
↓ 1 callers
Method
getInverseBasisMatrix
src/engine/Tableau.cpp:2498
↓ 1 callers
Method
getLeavingVariable
src/engine/Tableau.cpp:678
↓ 1 callers
Method
getListParticipatingVariables
src/engine/Equation.cpp:192
↓ 1 callers
Method
getLowerBoundFromLayer
src/nlr/DeepPolyElement.cpp:95
↓ 1 callers
Method
getMaxVariable
src/nlr/Layer.cpp:2147
↓ 1 callers
Function
getMultidirectionalBroadcastShape
See https://github.com/onnx/onnx/blob/main/docs/Broadcasting.md#multidirectional-broadcasting
src/input_parsers/TensorUtils.cpp:62
↓ 1 callers
Method
getN
src/engine/tests/MockTableau.h:473
↓ 1 callers
Method
getNativeAuxVars
src/engine/MaxConstraint.cpp:726
↓ 1 callers
Method
getNegAux
src/engine/AbsoluteValueConstraint.h:213
↓ 1 callers
Method
getNewVariable
src/input_parsers/InputQueryBuilder.cpp:38
↓ 1 callers
Method
getNnz
src/basis_factorization/SparseUnsortedArray.cpp:108
↓ 1 callers
Method
getNnz
src/basis_factorization/SparseUnsortedLists.cpp:271
↓ 1 callers
Method
getNode
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 callers
Method
getNumVariables
src/input_parsers/BerkeleyNeuralNetwork.cpp:42
↓ 1 callers
Method
getNumberOfSimplexIterations
src/common/GurobiWrapper.h:184
↓ 1 callers
Method
getOptimalCostOrObjective
src/common/GurobiWrapper.h:116
↓ 1 callers
Method
getOutput
src/engine/SoftmaxConstraint.cpp:272
↓ 1 callers
Method
getOutputVariables
src/input_parsers/BerkeleyParser.cpp:91
↓ 1 callers
Method
getPivotRow
src/engine/Tableau.cpp:1474
↓ 1 callers
Method
getPivotRow
src/engine/tests/MockTableau.h:418
↓ 1 callers
Method
getPosAux
src/engine/AbsoluteValueConstraint.h:209
↓ 1 callers
Method
getPossibleFixes
src/engine/MaxConstraint.cpp:375
↓ 1 callers
Method
getPreprocessor
src/engine/Engine.cpp:3004
↓ 1 callers
Method
getQuitRequested
src/engine/Engine.cpp:2398
↓ 1 callers
Function
getRequiredIntAttribute
src/input_parsers/OnnxParser.cpp:345
↓ 1 callers
Method
getSize
src/basis_factorization/SparseUnsortedList.cpp:241
↓ 1 callers
Method
getSmartFixes
src/engine/MaxConstraint.cpp:382
↓ 1 callers
Method
getSnCDivideStrategy
src/configuration/Options.cpp:172
↓ 1 callers
Method
getSoIInitializationStrategy
src/configuration/Options.cpp:238
↓ 1 callers
Method
getSoISearchStrategy
src/configuration/Options.cpp:227
↓ 1 callers
Method
getSoftmaxBoundType
src/configuration/Options.cpp:265
↓ 1 callers
Method
getSolution
src/engine/DnCManager.cpp:334
↓ 1 callers
Method
getSparseARow
src/engine/Tableau.cpp:1629
↓ 1 callers
Method
getSparseBasis
src/basis_factorization/SparseLUFactorization.cpp:67
↓ 1 callers
Method
getSparseBasis
src/basis_factorization/SparseFTFactorization.cpp:98
↓ 1 callers
Method
getStatusCode
src/common/GurobiWrapper.h:194
↓ 1 callers
Function
getTensorFloatValues
src/input_parsers/OnnxParser.cpp:413
↓ 1 callers
Function
getTensorInt32Values
src/input_parsers/OnnxParser.cpp:465
↓ 1 callers
Function
getTensorIntValues
src/input_parsers/OnnxParser.cpp:438
↓ 1 callers
Method
getUpperBoundFromLayer
src/nlr/DeepPolyElement.cpp:101
↓ 1 callers
Method
getValidCaseSplit
src/engine/MaxConstraint.cpp:433
↓ 1 callers
Method
getWeight
src/input_parsers/AcasNeuralNetwork.cpp:39
↓ 1 callers
Method
gui
tools/cxxtest/cxxtest/Win32Gui.h:147
↓ 1 callers
Method
handle
tools/cxxtest/cxxtest/Win32Gui.h:337
↓ 1 callers
Method
identity
Function handling identity operation, performed on variables Args: op: (tf.op) identity operation :meta private:
maraboupy/MarabouNetworkTF.py:304
↓ 1 callers
Function
identity_node
()
resources/onnx/layer-zoo/onnx-layer-zoo.py:95
↓ 1 callers
Function
illTypedAttributeError
src/input_parsers/OnnxParser.cpp:69
↓ 1 callers
Method
inSnCMode
src/engine/Engine.cpp:145
↓ 1 callers
Method
initialize
src/common/SignalHandler.cpp:38
↓ 1 callers
Method
initializeBoundExplainer
src/engine/BoundManager.cpp:485
↓ 1 callers
Method
initializeBoundExplainer
src/engine/tests/MockBoundManager.h:276
↓ 1 callers
Method
initializeCDActiveStatus
src/engine/PiecewiseLinearConstraint.cpp:92
↓ 1 callers
Method
initializeCDInfeasibleCases
src/engine/PiecewiseLinearConstraint.cpp:85
↓ 1 callers
Method
initializeCDPhaseStatus
src/engine/PiecewiseLinearConstraint.cpp:99
↓ 1 callers
Method
initializeFromList
src/basis_factorization/SparseUnsortedArray.cpp:86
↓ 1 callers
Method
initializeToEmpty
src/basis_factorization/SparseUnsortedArrays.cpp:123
↓ 1 callers
Method
initializeToEmpty
src/basis_factorization/SparseUnsortedLists.cpp:100
↓ 1 callers
Method
insert
src/common/HashSet.h:42
↓ 1 callers
Method
insert
src/common/Set.h:48
↓ 1 callers
Method
insertAt
src/common/Vector.h:78
↓ 1 callers
Function
instantiateReshapeTemplate
* @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 callers
Function
isConnected
deps/CVC4/base/output.h:110
↓ 1 callers
Function
isGenerated
Checks whether a suite class should be created
tools/cxxtest/cxxtestgen.py:471
↓ 1 callers
Method
isValidNonLeaf
src/proofs/UnsatCertificateNode.cpp:157
↓ 1 callers
Method
isVariableMergingEquation
src/engine/Equation.cpp:156
↓ 1 callers
Method
isZero
src/common/LinearExpression.cpp:59
↓ 1 callers
Method
iterativePropagation
src/nlr/NetworkLevelReasoner.cpp:269
↓ 1 callers
Method
justNext
tools/cxxtest/cxxtest/LinkedList.cpp:103
↓ 1 callers
Method
key_begin
Returns an iterator to the start of the set of keys. */
deps/CVC4/context/cdinsert_hashmap.h:102
↓ 1 callers
Method
key_end
Returns an iterator to the end of the set of keys. */
deps/CVC4/context/cdinsert_hashmap.h:106
↓ 1 callers
Method
leakyReluEquations
Function to generate equations corresponding to pointwise LeakyRelu Args: node (node): ONNX node representing the LeakyRelu operat
maraboupy/parsers/ONNXParser.py:1203
↓ 1 callers
Function
leakyRelu_node
()
resources/onnx/layer-zoo/onnx-layer-zoo.py:237
↓ 1 callers
Method
leaveOnly
tools/cxxtest/cxxtest/RealDescriptions.cpp:144
↓ 1 callers
Function
lessThan
tools/cxxtest/cxxtest/TestSuite.h:91
↓ 1 callers
Function
lessThanEquals
tools/cxxtest/cxxtest/TestSuite.h:111
↓ 1 callers
Function
lineBelongsToSuite
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 callers
Function
lineStartsBlock
Check if current line starts a new CXXTEST_CODE() block
tools/cxxtest/cxxtestgen.py:266
↓ 1 callers
Method
loadQuery
src/query_loader/QueryLoader.cpp:35
← previous
next →
1,001–1,100 of 4,559, ranked by callers