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

↓ 37 callersMethodinitialize

src/engine/BoundManager.cpp:72

↓ 37 callersMethodinputVariableByIndex

src/engine/InputQuery.cpp:546

↓ 37 callersMethodoutputVariableByIndex

src/engine/InputQuery.cpp:552

↓ 37 callersMethodstoreBasis

src/basis_factorization/tests/MockColumnOracle.h:61

↓ 36 callersMethodevaluate

src/nlr/NetworkLevelReasoner.cpp:121

↓ 36 callersMethodset

src/common/HashMap.h:94

↓ 35 callersMethodencodeInputQuery

src/engine/MILPEncoder.cpp:30

↓ 35 callersMethodhaveFeasibleSolution

src/common/GurobiWrapper.cpp:377

↓ 34 callersMethodreceiveTighterBound

src/nlr/NetworkLevelReasoner.cpp:185

↓ 33 callersMethodempty

src/basis_factorization/SparseUnsortedList.cpp:77

↓ 33 callersMethodgetBool

src/configuration/Options.cpp:115

↓ 33 callersMethodgetPhaseStatus

src/engine/PiecewiseLinearConstraint.cpp:126

↓ 33 callersMethodisImplication

src/engine/MaxConstraint.cpp:417

↓ 33 callersMethodsolve

src/engine/tests/MockEngine.h:116

↓ 32 callersMethodgetB

src/engine/SignConstraint.cpp:599

↓ 32 callersMethodmarkInputVariable

src/engine/InputQuery.cpp:534

↓ 32 callersMethodnextFeasibleCase

src/engine/PiecewiseLinearConstraint.cpp:168

↓ 32 callersMethodregisterBoundManager

src/engine/NonlinearConstraint.cpp:26

↓ 31 callersMethodaddConstraint

Support the Pythonic API to add constraints to the neurons in the Marabou network. :param constraint: an instance of the VarConstrai

maraboupy/parsers/InputQueryBuilder.py:236

↓ 31 callersMethodaddLemmaExplanationAndTightenBound

src/engine/BoundManager.cpp:415

↓ 31 callersMethodgetRow

src/basis_factorization/CSRMatrix.cpp:273

↓ 31 callersMethodserializeToString

src/engine/tests/Test_SmtCore.h:167

↓ 31 callersMethodsubstring

src/common/MString.cpp:140

↓ 30 callersMethodgetParticipatingVariables

src/engine/Equation.cpp:183

↓ 29 callersMethodisBasic

src/engine/tests/MockTableau.h:341

↓ 29 callersMethodsetString

src/configuration/Options.cpp:150

↓ 29 callersMethodtrim

src/common/MString.cpp:153

↓ 28 callersMethodaddEquation

Function to add new equation to the network Args: x (:class:`~maraboupy.MarabouUtils.Equation`): New equation to add

maraboupy/parsers/InputQueryBuilder.py:71

↓ 28 callersMethodaddVariable

src/common/GurobiWrapper.cpp:99

↓ 28 callersMethodgetN

src/engine/Tableau.cpp:1563

↓ 27 callersMethodaddInequality

Function to add inequality constraint to network .. math:: \sum_i vars_i * coeffs_i \le scalar Args: vars (l

maraboupy/parsers/InputQueryBuilder.py:217

↓ 27 callersMethodevaluate

src/common/LinearExpression.cpp:43

↓ 27 callersMethodgetSimulations

src/nlr/Layer.cpp:125

↓ 27 callersMethodisActive

src/engine/PiecewiseLinearConstraint.cpp:61

↓ 27 callersMethodpush_back

* Add an item to the end of the list. */

deps/CVC4/context/cdlist.h:271

↓ 27 callersMethodtightenLowerBound

src/engine/Tableau.cpp:1829

↓ 26 callersMethodconstraintObsolete

src/engine/tests/Test_SmtCore.h:150

↓ 26 callersMethodgetActivationSources

src/nlr/Layer.cpp:550

↓ 26 callersMethodgetLevel

* Get the level of the current Scope */

deps/CVC4/context/context.h:301

↓ 26 callersMethodregisterToWatchVariable

src/engine/Tableau.cpp:2146

↓ 26 callersMethodunregisterToWatchVariable

src/engine/Tableau.cpp:2151

↓ 25 callersMethodgetM

src/engine/Tableau.cpp:1558

↓ 25 callersMethodisFeasible

src/engine/TrailEntry.h:43

↓ 25 callersFunctionloadNetworkInONNX

(filename, inputNames=None, outputName=None)

maraboupy/test/test_network.py:723

↓ 25 callersMethodsetPhaseStatus

src/engine/PiecewiseLinearConstraint.cpp:134

↓ 25 callersMethodshouldProduceProofs

src/engine/Engine.cpp:3336

↓ 24 callersMethodbackwardTransformation

src/basis_factorization/LUFactors.cpp:341

↓ 24 callersMethodclear

src/basis_factorization/CSRMatrix.cpp:769

↓ 24 callersMethodcontains

src/common/MString.cpp:130

↓ 24 callersMethodend

src/basis_factorization/SparseUnsortedList.cpp:139

↓ 24 callersMethodevaluateNNet

Evaluate nnet directly (without Marabou) at a given point Evaluates the network on input inputs between layer first_layer (input layer by de

maraboupy/MarabouNetworkNNet.py:584

↓ 24 callersFunctionmake_network

(name, node, input_shape, output_shape, aux_nodes)

resources/onnx/layer-zoo/onnx-layer-zoo.py:21

↓ 24 callersMethodrbegin

src/common/Map.h:166

↓ 23 callersFunctioncopyString

tools/cxxtest/cxxtest/ValueTraits.cpp:30

↓ 23 callersFunctionevaluateFile

Load network and evaluate testInputs with and without Marabou Args: filename (str): name of network file without path inputNa

maraboupy/test/test_onnx.py:346

↓ 22 callersMethodbegin

src/basis_factorization/SparseUnsortedList.cpp:134

↓ 22 callersMethodcommitChange

src/basis_factorization/CSRMatrix.cpp:545

↓ 21 callersMethodincUnsignedAttribute

src/common/Statistics.h:247

↓ 21 callersMethodpickLeavingVariable

src/engine/tests/MockTableau.h:292

↓ 21 callersMethodpreprocess

src/engine/Preprocessor.cpp:61

↓ 21 callersMethodread_nnet

Read the nnet file, load all the values and assign the class members Args: filename (str): path to the .nnet file

maraboupy/MarabouNetworkNNet.py:201

↓ 21 callersMethodsetUnsignedAttribute

Setters for unsigned, unsigned long long, and double attributes */

src/common/Statistics.h:242

↓ 20 callersMethodappend

src/basis_factorization/SparseUnsortedList.cpp:175

↓ 20 callersMethodgetLeavingVariable

src/engine/tests/MockTableau.h:307

↓ 20 callersMethodneedToSplit

src/engine/SmtCore.cpp:129

↓ 20 callersMethodneuronEliminated

src/nlr/Layer.cpp:2036

↓ 20 callersMethodregisterAsWatcher

src/engine/tests/Test_SmtCore.h:61

↓ 19 callersMethodgetExitCode

src/engine/Engine.cpp:2393

↓ 19 callersFunctionmatrixMultiplication

src/common/MatrixMultiplication.cpp:20

↓ 19 callersMethodsetLb

src/nlr/Layer.cpp:637

↓ 19 callersMethodsetUb

src/nlr/Layer.cpp:643

↓ 19 callersFunctiontensorLookup

src/input_parsers/TensorUtils.h:58

↓ 18 callersMethodaddLeqConstraint

src/common/GurobiWrapper.cpp:157

↓ 18 callersMethodgetAssignment

src/nlr/Layer.cpp:110

↓ 18 callersMethodgetNetworkLevelReasoner

src/engine/InputQuery.cpp:728

↓ 18 callersMethodmakeNewVariables

Assuming the node's shape is known, return a set of new variables in the same shape Args: nodeName (str): Name of node R

maraboupy/parsers/ONNXParser.py:230

↓ 18 callersMethodphaseFixed

src/engine/MaxConstraint.cpp:411

↓ 17 callersMethodgetGamma

src/engine/tests/MockProjectedSteepestEdge.h:71

↓ 17 callersMethodgetLayerType

src/nlr/Layer.cpp:560

↓ 17 callersMethodgetLowerBounds

src/engine/BoundManager.cpp:214

↓ 17 callersMethodgetString

src/configuration/Options.cpp:130

↓ 17 callersMethodgetUpperBounds

src/engine/BoundManager.cpp:219

↓ 17 callersMethodgetValidCaseSplit

src/engine/tests/Test_SmtCore.h:130

↓ 17 callersMethodinitializeCDOs

src/engine/PiecewiseLinearConstraint.cpp:75

↓ 17 callersMethodsymbolicBoundPropagation

src/nlr/NetworkLevelReasoner.cpp:201

↓ 16 callersMethodfind

src/common/Set.h:151

↓ 16 callersMethodgenerateQuery

src/input_parsers/MpsParser.cpp:305

↓ 16 callersMethodgetPossibleFixes

src/engine/tests/Test_SmtCore.h:98

↓ 16 callersMethodgetUnsignedAttribute

Getters for unsigned, unsigned long long, and double attributes */

src/common/Statistics.h:285

↓ 16 callersMethodisActive

src/engine/tests/Test_SmtCore.h:77

↓ 16 callersMethodname

tools/cxxtest/sample/TraitsTest.h:22

↓ 16 callersMethodrend

src/common/Map.h:171

↓ 16 callersMethodvariableToIndex

src/engine/Tableau.cpp:523

↓ 15 callersMethodcomputePolarity

src/engine/SignConstraint.cpp:629

↓ 15 callersMethoddeepPolyPropagation

src/nlr/NetworkLevelReasoner.cpp:207

↓ 15 callersFunctionevaluateNetwork

Evaluate a network at random testInputs with and without Marabou Args: network (MarabouNetwork): network loaded into Marabou to be ev

maraboupy/test/test_tf.py:223

↓ 15 callersMethodgetContext

Get the context object - debugging purposes only */

src/engine/PiecewiseLinearConstraint.h:440

↓ 15 callersMethodgetCurrentSoIPhasePattern

src/engine/SumOfInfeasibilitiesManager.cpp:45

↓ 15 callersMethodgetLowerBounds

src/engine/tests/MockTableau.h:231

↓ 15 callersMethodgetUpperBounds

src/engine/tests/MockTableau.h:236

← previous next →101–200 of 4,559, ranked by callers