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

Method TableauState

src/engine/TableauState.cpp:23–38  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

21#include "SparseUnsortedList.h"
22
23TableauState::TableauState()
24 : _A( NULL )
25 , _sparseColumnsOfA( NULL )
26 , _sparseRowsOfA( NULL )
27 , _denseA( NULL )
28 , _b( NULL )
29 , _lowerBounds( NULL )
30 , _upperBounds( NULL )
31 , _basicAssignment( NULL )
32 , _nonBasicAssignment( NULL )
33 , _basicIndexToVariable( NULL )
34 , _nonBasicIndexToVariable( NULL )
35 , _variableToIndex( NULL )
36 , _basisFactorization( NULL )
37{
38}
39
40TableauState::~TableauState()
41{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected