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

MethodaddHeader

src/proofs/SmtLibWriter.cpp:20

MethodaddIndicatorConstraint

src/common/GurobiWrapper.cpp:245

MethodaddInputLayerToLpRelaxation

src/nlr/LPFormulator.cpp:710

MethodaddLastColumn

src/basis_factorization/SparseUnsortedArrays.cpp:210

MethodaddLastColumn

src/basis_factorization/SparseUnsortedLists.cpp:187

MethodaddLastEntry

src/basis_factorization/SparseUnsortedArray.cpp:223

MethodaddLastRow

src/basis_factorization/SparseUnsortedArrays.cpp:188

MethodaddLastRow

src/basis_factorization/SparseUnsortedLists.cpp:165

MethodaddLayerToModel

src/nlr/LPFormulator.cpp:674

MethodaddLeakyReLUConstraint

src/proofs/SmtLibWriter.cpp:188

FunctionaddLeakyReluConstraint

maraboupy/MarabouCore.cpp:123

MethodaddLeakyReluLayerToLpRelaxation

src/nlr/LPFormulator.cpp:1038

MethodaddLemmaExplanationAndTightenBound

src/engine/tests/MockBoundManager.h:266

MethodaddLeqConstraint

src/common/GurobiWrapper.h:284

MethodaddLeqIndicatorConstraint

src/common/GurobiWrapper.h:296

MethodaddMaxConstraint

src/proofs/SmtLibWriter.cpp:79

MethodaddMaxLayerToLpRelaxation

src/nlr/LPFormulator.cpp:893

MethodaddMemory

src/common/HeapData.cpp:164

MethodaddNeuronToModel

src/nlr/MILPFormulator.cpp:629

MethodaddPiecewiseLinearConstraint

src/common/GurobiWrapper.h:293

MethodaddReLUConstraint

src/proofs/SmtLibWriter.cpp:33

FunctionaddReluConstraint

maraboupy/MarabouCore.cpp:129

MethodaddReluLayerToLpRelaxation

src/nlr/LPFormulator.cpp:719

MethodaddReluLayerToMILPFormulation

src/nlr/MILPFormulator.cpp:683

FunctionaddRoundConstraint

maraboupy/MarabouCore.cpp:135

src/engine/Tableau.cpp:1982

FunctionaddSigmoidConstraint

maraboupy/MarabouCore.cpp:147

MethodaddSignConstraint

src/input_parsers/InputQueryBuilder.cpp:116

MethodaddSignConstraint

src/proofs/SmtLibWriter.cpp:48

MethodaddSignLayerToLpRelaxation

src/nlr/LPFormulator.cpp:810

FunctionaddSoftmaxConstraint

maraboupy/MarabouCore.cpp:168

MethodaddTableauAuxVar

src/engine/LeakyReluConstraint.cpp:960

MethodaddTableauAuxVar

No aux vars in Sign constraint, so the function is suppressed

src/engine/SignConstraint.cpp:664

MethodaddTableauAuxVar

src/engine/ReluConstraint.cpp:1084

MethodaddTableauAuxVar

No aux vars in disjunction constraint, so the function is suppressed

src/engine/DisjunctionConstraint.cpp:564

MethodaddTableauAuxVar

src/engine/AbsoluteValueConstraint.cpp:964

MethodaddTableauAuxVar

src/engine/tests/Test_SmtCore.h:176

MethodaddTableauRow

src/proofs/SmtLibWriter.cpp:207

MethodaddTightening

src/proofs/SmtLibWriter.cpp:336

MethodaddVariable

src/common/GurobiWrapper.h:270

MethodaddVecTimesScalar

src/proofs/BoundExplainer.cpp:234

MethodaddWeightedSumLayerToLpRelaxation

src/nlr/LPFormulator.cpp:974

Methodadd_to_split

src/engine/tests/Test_PolarityBasedDivider.h:40

deps/CVC4/context/context_mm.h:234

MethodadjustAssignmentToSatisfyNonLinearConstraints

src/engine/Engine.cpp:497

MethodadjustBasicCostAccuracy

src/engine/tests/MockCostFunctionManager.h:124

MethodadjustSize

src/common/HeapData.cpp:175

MethodadjustWeightMapIndexing

src/nlr/Layer.cpp:2071

MethodadjustWorkMemorySize

src/engine/Engine.cpp:121

MethodadvanceProgressBar

tools/cxxtest/cxxtest/QtGui.h:193

MethodallBoundsValid

src/engine/tests/MockTableau.h:241

MethodallNonlinearConstraintsHold

src/engine/Engine.cpp:1800

MethodallPlConstraintsHold

src/engine/Engine.cpp:1795

MethodallSplitsSoFar

src/engine/CDSmtCore.cpp:298

MethodallVarsWithinBounds

src/engine/Engine.cpp:1774

tools/cxxtest/cxxtest/Win32Gui.h:519

MethodallocateLocalBounds

src/engine/BoundManager.cpp:85

MethodallocateMemory

src/engine/ConstraintMatrixAnalyzer.cpp:123

MethodallocateMemory

src/nlr/DeepPolyAbsoluteValueElement.cpp:178

MethodallocateMemory

src/nlr/DeepPolyMaxPoolElement.cpp:208

MethodallocateMemory

src/nlr/DeepPolyReLUElement.cpp:198

MethodallocateMemory

src/nlr/DeepPolySigmoidElement.cpp:184

MethodallocateMemory

src/nlr/DeepPolySoftmaxElement.cpp:284

MethodallocateMemory

src/nlr/DeepPolyWeightedSumElement.cpp:436

MethodallocateMemory

src/nlr/DeepPolySignElement.cpp:180

MethodallocateMemory

src/nlr/DeepPolyBilinearElement.cpp:224

MethodallocateMemory

src/nlr/DeepPolyRoundElement.cpp:167

MethodallocateMemory

src/nlr/Layer.cpp:57

MethodallocateMemory

src/nlr/DeepPolyAnalysis.cpp:180

MethodallocateMemory

src/nlr/DeepPolyElement.cpp:117

MethodallocateMemory

src/nlr/DeepPolyLeakyReLUElement.cpp:227

MethodallocateMemory

src/common/HeapData.cpp:156

MethodallocateMemoryForResidualsIfNeeded

src/nlr/DeepPolyWeightedSumElement.cpp:417

Methodallocated

src/common/HeapData.cpp:138

src/basis_factorization/SparseUnsortedArray.cpp:214

deps/CVC4/context/backtrackable.h:139

MethodapplyAllConstraintTightenings

src/engine/Engine.cpp:2147

MethodapplyAllRowTightenings

src/engine/Engine.cpp:2142

MethodapplyAllValidConstraintCaseSplits

src/engine/tests/MockEngine.h:216

MethodapplyBoundTightenings

src/engine/Engine.cpp:2128

MethodapplySnCSplit

src/engine/tests/MockEngine.h:203

MethodapplySplit

src/engine/tests/MockTableau.h:572

MethodapplySplit

src/engine/tests/MockEngine.h:73

MethodapplyTightenings

src/engine/MaxConstraint.cpp:742

MethodapplyTrailEntry

src/engine/CDSmtCore.cpp:127

MethodapplyValidConstraintCaseSplit

src/engine/Engine.cpp:2181

MethodareDisequal

src/common/FloatUtils.h:73

src/common/FloatUtils.cpp:24

src/common/ConstSimpleData.cpp:43

FunctionasString

tools/cxxtest/sample/TraitsTest.h:44

FunctionasString

src/common/MStringf.h:59

FunctionasString

src/common/MString.h:79

tools/cxxtest/cxxtest/StdValueTraits.h:37

tools/cxxtest/cxxtest/ValueTraits.h:81

tools/cxxtest/cxxtest/QtGui.h:208

Methodassert_lower_upper_bound

src/engine/tests/Test_AbsoluteValueConstraint.h:1350

Methodassert_tightenings_match

src/engine/tests/Test_AbsoluteValueConstraint.h:1380

MethodassignIndexToBasicVariable

src/engine/Tableau.cpp:330

tools/cxxtest/cxxtest/LinkedList.cpp:145

MethodattemptToMergeVariables

src/engine/Engine.cpp:1884

← previous next →1,601–1,700 of 4,559, ranked by callers