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

↓ 15 callersMethodprev

tools/cxxtest/cxxtest/LinkedList.cpp:121

↓ 15 callersMethodreset

src/engine/Engine.cpp:2557

↓ 15 callersMethodrun

src/basis_factorization/GaussianEliminator.cpp:117

↓ 15 callersMethodsetLowerBound

src/engine/InputQuery.cpp:56

↓ 15 callersMethodstoreIntoOther

src/nlr/NetworkLevelReasoner.cpp:289

↓ 15 callersMethodtoDense

src/basis_factorization/CSRMatrix.cpp:530

↓ 15 callersMethodtop

Return the constraint with the largest score. */

src/engine/PLConstraintScoreTracker.h:83

↓ 15 callersMethodunregisterAsWatcher

src/engine/tests/Test_SmtCore.h:65

↓ 14 callersMethodaddEquation

src/input_parsers/InputQueryBuilder.cpp:54

↓ 14 callersMethodaddGeqConstraint

src/common/GurobiWrapper.cpp:162

↓ 14 callersMethoddeleteSelf

* Use this instead of delete to delete memory allocated using the special * new function provided above that takes a bool argument. Do not call th

deps/CVC4/context/context.h:646

↓ 14 callersMethodevaluateWithMarabou

Function to evaluate network at a given point using Marabou as solver Args: inputValues (list of np arrays): Inputs to evaluate

maraboupy/MarabouNetwork.py:208

↓ 14 callersMethodevaluateWithoutMarabou

Function to evaluate network at a given point using Tensorflow Args: inputValues: (list of np arrays) representing inputs to netw

maraboupy/MarabouNetworkTF.py:891

↓ 14 callersMethodgetChangeRatio

src/engine/tests/MockTableau.h:317

↓ 14 callersMethodgetTableauRow

src/engine/tests/MockTableau.h:480

↓ 14 callersMethodmarkInfeasible

src/engine/TrailEntry.h:38

↓ 14 callersMethodsetStatistics

src/engine/SmtCore.cpp:415

↓ 14 callersMethodupdateVariableIndex

src/engine/tests/Test_SmtCore.h:142

↓ 13 callersFunctionValueTraits

tools/cxxtest/cxxtest/ValueTraits.h:184

↓ 13 callersMethodget

src/configuration/Options.cpp:22

↓ 13 callersMethodgetEnteringVariable

src/engine/tests/MockTableau.h:280

↓ 13 callersMethodgetNumInputVariables

src/engine/InputQuery.cpp:558

↓ 13 callersMethodinitializeTableau

src/engine/tests/MockTableau.h:178

↓ 13 callersMethodisBasic

src/engine/Tableau.cpp:1479

↓ 13 callersMethodopen

src/common/File.cpp:64

↓ 13 callersMethodpop_back

* Pops the key at the back of the stack off and removes its key from the map. */

deps/CVC4/context/cdinsert_hashmap.h:165

↓ 13 callersMethodsetEnteringVariableIndex

src/engine/tests/MockTableau.h:103

↓ 13 callersMethodsetLowerBound

src/input_parsers/InputQueryBuilder.cpp:59

↓ 13 callersMethodsetType

src/engine/Equation.cpp:55

↓ 13 callersMethodsetUpperBound

src/input_parsers/InputQueryBuilder.cpp:64

↓ 13 callersMethodsetUpperBound

src/engine/InputQuery.cpp:70

↓ 13 callersMethodupdateDirection

src/engine/SignConstraint.cpp:642

↓ 12 callersFunctionCVC4ostream

deps/CVC4/base/output.h:83

↓ 12 callersMethodaddEqConstraint

src/common/GurobiWrapper.cpp:167

↓ 12 callersMethodaddLastColumn

src/basis_factorization/CSRMatrix.cpp:171

↓ 12 callersMethodcomputeCostFunction

src/engine/tests/MockTableau.h:350

↓ 12 callersMethoddump

src/engine/tests/MockTableau.h:431

↓ 12 callersMethodevaluate

Function to evaluate network at a given point Args: inputValues (list of np arrays): Inputs to evaluate useMarabou (b

maraboupy/MarabouNetwork.py:252

↓ 12 callersMethodfailedTest

tools/cxxtest/cxxtest/TestTracker.cpp:126

↓ 12 callersMethodfind

deps/CVC4/context/cdhashmap.h:442

↓ 12 callersMethodfirst

src/common/Vector.h:270

↓ 12 callersMethodgetActiveStatusCDO

Get the active status object - debugging purposes only */

src/engine/PiecewiseLinearConstraint.h:448

↓ 12 callersMethodgetArray

src/basis_factorization/SparseUnsortedArray.cpp:134

↓ 12 callersMethodgetBasicStatus

src/engine/tests/MockTableau.h:251

↓ 12 callersMethodgetDirection

src/engine/SignConstraint.cpp:648

↓ 12 callersMethodgetInfeasibleCasesCDList

Get the infeasible cases object - debugging purposes only */

src/engine/PiecewiseLinearConstraint.h:464

↓ 12 callersMethodgetLowerBound

src/nlr/DeepPolyElement.cpp:83

↓ 12 callersMethodgetPhaseStatusCDO

Get the current phase status object - debugging purposes only */

src/engine/PiecewiseLinearConstraint.h:456

↓ 12 callersMethodgetRowTightenings

src/engine/tests/MockRowBoundTightener.h:82

↓ 12 callersMethodgetUpperBound

src/nlr/DeepPolyElement.cpp:89

↓ 12 callersFunctionmake_constant_float_node

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

↓ 12 callersMethodnext

deps/CVC4/context/cdhashmap.h:252

↓ 12 callersMethodregisterCostFunctionManager

src/engine/tests/MockTableau.h:587

↓ 12 callersMethodselect

src/engine/tests/MockProjectedSteepestEdge.h:54

↓ 12 callersMethodserializeToString

src/engine/MaxConstraint.cpp:630

↓ 12 callersMethodsetSolutionValue

src/engine/InputQuery.cpp:157

↓ 12 callersMethodswapRows

src/basis_factorization/PermutationMatrix.cpp:153

↓ 12 callersFunctiontensorSize

src/input_parsers/TensorUtils.cpp:51

↓ 12 callersMethodtransposeIntoOther

src/basis_factorization/CSRMatrix.cpp:650

↓ 11 callersMethodInputQuery

src/engine/InputQuery.cpp:34

↓ 11 callersFunctionVar

Enable Var(i) to get the affine transformation of the i-th neuron in a neural network. :param index: the index of the neuron in the network

maraboupy/MarabouPythonic.py:220

↓ 11 callersMethodaddLastRow

src/basis_factorization/CSRMatrix.cpp:142

↓ 11 callersMethodfailedTests

tools/cxxtest/cxxtest/TestTracker.h:37

↓ 11 callersMethodgetCaseSplits

src/engine/MaxConstraint.cpp:401

↓ 11 callersMethodgetConstraintsInTopologicalOrder

src/nlr/NetworkLevelReasoner.cpp:366

↓ 11 callersMethodgetCostFunction

src/engine/Tableau.cpp:547

↓ 11 callersMethodgetInputQuery

src/engine/Engine.cpp:2349

↓ 11 callersMethodgetInputVariables

src/engine/Engine.cpp:2403

↓ 11 callersMethodgetLayerSize

src/input_parsers/AcasNeuralNetwork.cpp:68

↓ 11 callersMethodgetPhaseStatusInAssignment

src/engine/MaxConstraint.cpp:615

↓ 11 callersMethodresetToIdentity

src/basis_factorization/EtaMatrix.cpp:131

↓ 11 callersMethodroll

tools/cxxtest/sample/mock/Dice.cpp:9

↓ 11 callersMethodsetActiveConstraint

src/engine/tests/Test_SmtCore.h:70

↓ 11 callersMethodsimulate

src/nlr/NetworkLevelReasoner.cpp:173

↓ 11 callersMethodsize

src/common/HeapData.cpp:122

↓ 11 callersMethodvariableToNeuron

src/nlr/Layer.cpp:2030

↓ 10 callersMethodaddEquation

src/engine/InputQuery.cpp:84

↓ 10 callersMethodclose

src/common/File.cpp:37

↓ 10 callersMethodequivalent

src/engine/Equation.cpp:97

↓ 10 callersMethodfindIndexOfRow

src/basis_factorization/PermutationMatrix.cpp:110

↓ 10 callersMethodgetColumn

src/basis_factorization/CSRMatrix.cpp:293

↓ 10 callersMethodgetContext

* Get the Context for this Scope */

deps/CVC4/context/context.h:291

↓ 10 callersMethodgetIndependentColumns

src/engine/tests/MockConstraintMatrixAnalyzer.h:64

↓ 10 callersMethodhasTimedOut

src/common/Statistics.cpp:448

↓ 10 callersMethodinfeasible

src/common/GurobiWrapper.cpp:367

↓ 10 callersMethodopen

src/common/tests/Test_File.h:60

↓ 10 callersMethodreportViolatedConstraint

src/engine/SmtCore.cpp:76

↓ 10 callersMethodsetBool

src/configuration/Options.cpp:135

↓ 10 callersMethodstoreIntoOther

src/basis_factorization/CSRMatrix.cpp:243

↓ 10 callersMethodtimeout

src/common/Statistics.cpp:443

↓ 9 callersMethodcomputeChangeColumn

src/engine/tests/MockTableau.h:398

↓ 9 callersMethodcomputeDegradation

src/engine/DegradationChecker.cpp:26

↓ 9 callersMethodflatten

* @brief Processes a "flatten" node in the network. * Implements https://github.com/onnx/onnx/blob/main/docs/Operators.md#Flatten * * @param node T

src/input_parsers/OnnxParser.cpp:1128

↓ 9 callersMethodgetCaseSplit

src/engine/tests/Test_SmtCore.h:124

↓ 9 callersMethodgetContradiction

src/proofs/UnsatCertificateNode.cpp:60

↓ 9 callersMethodgetMILPSolverBoundTighteningType

src/configuration/Options.cpp:196

↓ 9 callersMethodgetNewVariable

Function to create a new variable Returns: (int): New variable number :meta private:

maraboupy/parsers/InputQueryBuilder.py:60

↓ 9 callersMethodgetSmartFixes

src/engine/tests/Test_SmtCore.h:103

↓ 9 callersMethodgetStackDepth

src/engine/SmtCore.cpp:228

↓ 9 callersMethodgetUserMessage

src/common/Error.cpp:65

← previous next →201–300 of 4,559, ranked by callers