Method TableauRow

src/engine/TableauRow.cpp:20–26

#include "MarabouError.h"

TableauRow::TableauRow( unsigned size )
    : _size( size )
{
    _row = new TableauRow::Entry[size];
    if ( !_row )
        throw MarabouError( MarabouError::ALLOCATION_FAILED, "TableauRow::row" );
}

TableauRow::~TableauRow()
{