Functions — github.com/NeuralNetworkVerification/Marabou

CodeHub MCPcopy Create free account

hub / github.com/NeuralNetworkVerification/Marabou / functions

Functions4,559 in github.com/NeuralNetworkVerification/Marabou

⨍ Functions 4,559◇ Types & classes 641

↓ 949 callersMethodsize

src/common/Map.h:118

↓ 846 callersMethodexists

src/common/Map.h:128

↓ 765 callersMethodappend

src/common/List.h:54

↓ 583 callersMethodaddAddend

src/engine/Equation.cpp:45

↓ 517 callersMethodsetLowerBound

src/engine/tests/MockTableau.h:212

↓ 492 callersMethodsetUpperBound

src/engine/tests/MockTableau.h:225

↓ 451 callersMethodascii

src/common/MString.cpp:44

↓ 372 callersMethodsetWeight

src/nlr/Layer.cpp:474

↓ 358 callersMethodbegin

src/common/Map.h:146

↓ 337 callersMethodsetLowerBound

src/engine/Tableau.cpp:454

↓ 325 callersMethodsetUpperBound

src/engine/Tableau.cpp:461

↓ 319 callersMethodnotifyLowerBound

src/engine/tests/MockTableau.h:699

↓ 313 callersMethodnotifyUpperBound

src/engine/tests/MockTableau.h:703

↓ 313 callersMethodsetNeuronVariable

src/nlr/Layer.cpp:565

↓ 267 callersMethodsetValue

src/engine/tests/MockTableau.h:189

↓ 237 callersMethodinsert

src/common/Map.h:123

↓ 212 callersMethodempty

src/common/Map.h:113

↓ 212 callersMethodsetScalar

src/engine/Equation.cpp:50

↓ 198 callersFunctionabs

tools/cxxtest/cxxtest/ValueTraits.h:120

↓ 198 callersMethodget

src/common/Map.h:105

↓ 186 callersMethodaddLayer

src/nlr/NetworkLevelReasoner.cpp:66

↓ 152 callersMethodsetNumberOfVariables

src/engine/InputQuery.cpp:51

↓ 148 callersMethodphaseFixed

src/engine/tests/Test_SmtCore.h:119

↓ 146 callersMethodclear

src/engine/tests/MockRowBoundTightener.h:64

↓ 144 callersMethodaddActivationSource

src/nlr/Layer.cpp:530

↓ 144 callersMethodgetSolutionValue

src/engine/InputQuery.cpp:162

↓ 144 callersMethodstoreBoundTightening

src/engine/PiecewiseLinearCaseSplit.cpp:22

↓ 121 callersMethodgetLayer

src/nlr/NetworkLevelReasoner.cpp:111

↓ 115 callersMethoderase

src/common/Map.h:133

↓ 113 callersMethodsatisfied

src/engine/tests/Test_SmtCore.h:93

↓ 111 callersMethodaddPiecewiseLinearConstraint

src/engine/InputQuery.cpp:171

↓ 111 callersMethodwrite

src/common/File.cpp:85

↓ 105 callersMethodaddEquation

src/engine/Tableau.cpp:1861

↓ 103 callersMethodget

src/basis_factorization/CSRMatrix.cpp:134

↓ 99 callersMethodend

src/common/Map.h:151

↓ 96 callersMethodparticipatingVariable

src/engine/tests/Test_SmtCore.h:82

↓ 95 callersMethodgetEntailedTightenings

src/engine/tests/Test_SmtCore.h:159

↓ 90 callersMethodgetEquations

src/input_parsers/BerkeleyNeuralNetwork.cpp:82

↓ 89 callersMethodincLongAttribute

src/common/Statistics.h:262

↓ 86 callersMethodflatten

Function representing flatten Unlike numpy.flatten(), ONNX's Flatten operation reshapes a (d_0, d_1, ..., d_n) tensor into a 2D tenso

maraboupy/parsers/ONNXParser.py:386

↓ 84 callersMethodsigmoid

src/engine/SigmoidConstraint.cpp:233

↓ 83 callersMethodaddAddend

Add an addend to the equation Args: c (float): coefficient of addend x (int): variable number of variable in addend

maraboupy/MarabouUtils.py:42

↓ 82 callersMethodaddEquation

src/engine/tests/MockTableau.h:463

↓ 82 callersMethodgetSize

src/nlr/Layer.cpp:555

↓ 80 callersMethodsetLowerBound

Function to set lower bound for variable Args: x (int): Variable number to set v (float): Value representing lower bo

maraboupy/parsers/InputQueryBuilder.py:83

↓ 79 callersMethodaddLayerDependency

src/nlr/NetworkLevelReasoner.cpp:72

↓ 75 callersMethodsetBias

src/nlr/Layer.cpp:515

↓ 71 callersMethodgetValue

src/engine/tests/MockTableau.h:199

↓ 68 callersMethoddata

src/common/HeapData.cpp:112

↓ 68 callersMethodreadLine

src/common/File.cpp:109

↓ 66 callersMethodsetUpperBound

Function to set upper bound for variable Args: x (int): Variable number to set v (float): Value representing upper bo

maraboupy/parsers/InputQueryBuilder.py:92

↓ 65 callersMethodset

src/basis_factorization/SparseUnsortedList.cpp:154

↓ 62 callersMethodgetUpperBound

src/engine/InputQuery.cpp:116

↓ 62 callersMethodinitialize

src/basis_factorization/CSRMatrix.cpp:52

↓ 62 callersMethodinitialize

Initialize local bounds */

src/engine/tests/MockBoundManager.h:64

↓ 62 callersMethodsetDimensions

src/engine/tests/MockTableau.h:124

↓ 60 callersMethodgetLowerBound

src/engine/InputQuery.cpp:99

↓ 59 callersMethodforwardTransformation

src/basis_factorization/LUFactors.cpp:328

↓ 59 callersMethodgetLowerBound

src/engine/tests/MockTableau.h:206

↓ 58 callersMethodgetUpperBound

src/engine/tests/MockTableau.h:219

↓ 57 callersMethodgetAllCases

src/engine/tests/Test_SmtCore.h:114

↓ 57 callersMethodgetCostFunctionComponent

src/engine/MaxConstraint.cpp:591

↓ 57 callersMethodgetNnz

src/basis_factorization/CSRMatrix.cpp:525

↓ 56 callersMethodupdateToAdjacentBasis

src/basis_factorization/LUFactorization.cpp:86

↓ 55 callersMethodextractSolution

src/engine/Engine.cpp:1724

↓ 55 callersMethodgetCode

src/common/Error.cpp:50

↓ 54 callersMethodsolve

Function to solve query represented by this network Args: filename (string): Path for redirecting output verbose (boo

maraboupy/MarabouNetwork.py:55

↓ 53 callersMethodgetInt

src/configuration/Options.cpp:120

↓ 53 callersMethodgetNumberOfVariables

src/engine/InputQuery.cpp:89

↓ 53 callersMethodtransformToUseAuxVariables

src/engine/MaxConstraint.cpp:543

↓ 52 callersMethodareLinearlyDependent

src/engine/tests/MockTableau.h:670

↓ 51 callersMethodclear

src/common/Map.h:186

↓ 51 callersMethodgetLayerIndex

src/nlr/Layer.cpp:1687

↓ 51 callersMethodpop

src/common/Stack.h:50

↓ 51 callersMethodtightenUpperBound

src/engine/Tableau.cpp:1845

↓ 48 callersMethodsetScalar

Set scalar of equation Args: x (float): scalar RHS of equation

maraboupy/MarabouUtils.py:34

↓ 47 callersMethodregisterTableau

src/engine/tests/MockBoundManager.h:206

↓ 46 callersMethodgetCaseSplits

src/engine/tests/Test_SmtCore.h:109

↓ 45 callersMethodEquation

src/engine/Equation.cpp:33

↓ 45 callersMethodprocessInputQuery

src/engine/Engine.cpp:921

↓ 44 callersMethodgetTightenings

Obtain a list of all the bound updates since the last call to getTightenings. */

src/engine/tests/MockBoundManager.h:152

↓ 44 callersMethodneuronToVariable

src/nlr/Layer.cpp:2019

↓ 44 callersMethodobtainCurrentBounds

src/nlr/Layer.cpp:573

↓ 44 callersMethodpush

src/common/Stack.h:28

↓ 43 callersMethodsetTableau

src/nlr/NetworkLevelReasoner.cpp:326

↓ 43 callersMethodsolve

src/engine/Engine.cpp:190

↓ 42 callersMethodeliminateVariable

src/engine/tests/Test_SmtCore.h:146

↓ 42 callersMethodgetParticipatingVariables

src/engine/tests/Test_SmtCore.h:87

↓ 42 callersMethodlength

src/common/MString.cpp:39

↓ 41 callersMethodgetConstraintTightenings

src/nlr/NetworkLevelReasoner.cpp:190

↓ 41 callersMethodgetType

src/engine/MaxConstraint.cpp:85

↓ 41 callersMethodreshape

Function representing reshape Args: node (node): ONNX node representing reshape operation :meta private:

maraboupy/parsers/ONNXParser.py:367

↓ 40 callersMethodaddNonlinearConstraint

src/engine/InputQuery.cpp:233

↓ 40 callersMethodgetNumberOfLayers

src/nlr/NetworkLevelReasoner.cpp:361

↓ 39 callersMethodgetF

src/engine/MaxConstraint.cpp:342

↓ 39 callersMethodgetUb

src/nlr/Layer.cpp:619

↓ 39 callersMethodobtainFreshBasis

src/basis_factorization/LUFactorization.cpp:255

↓ 38 callersMethodgetLb

src/nlr/Layer.cpp:611

↓ 38 callersMethodgetNumberOfVariables

Returns number of registered variables */

src/engine/tests/MockBoundManager.h:81

↓ 38 callersMethodtokenize

src/common/MString.cpp:111

next →1–100 of 4,559, ranked by callers