MCPcopy Create free account
hub / github.com/NeuralNetworkVerification/Marabou / setWorkingMemory

Method setWorkingMemory

src/nlr/DeepPolyElement.cpp:144–157  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

142}
143
144void DeepPolyElement::setWorkingMemory( double *work1SymbolicLb,
145 double *work1SymbolicUb,
146 double *work2SymbolicLb,
147 double *work2SymbolicUb,
148 double *workSymbolicLowerBias,
149 double *workSymbolicUpperBias )
150{
151 _work1SymbolicLb = work1SymbolicLb;
152 _work1SymbolicUb = work1SymbolicUb;
153 _work2SymbolicLb = work2SymbolicLb;
154 _work2SymbolicUb = work2SymbolicUb;
155 _workSymbolicLowerBias = workSymbolicLowerBias;
156 _workSymbolicUpperBias = workSymbolicUpperBias;
157}
158
159} // namespace NLR

Callers 1

createDeepPolyElementMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected