CMR  1.3.0
Namespaces | Functions
total_unimodularity.cpp File Reference
#include "total_unimodularity.hpp"
#include "algorithm.hpp"
#include "matroid.hpp"
#include "violator_search.hpp"
#include "signing.hpp"
#include "logger.hpp"
#include <cmr/camion.h>
#include <chrono>

Namespaces

 tu
 

Functions

decomposed_matroid * tu::decompose_binary_matroid (const integer_matrix &matrix, log_level level)
 
bool tu::is_totally_unimodular (const integer_matrix &matrix, log_level level)
 
bool tu::is_totally_unimodular (const integer_matrix &matrix, decomposed_matroid *&decomposition, log_level level)
 
bool tu::is_totally_unimodular (const integer_matrix &matrix, decomposed_matroid *&decomposition, submatrix_indices &violator, log_level level)
 
bool tu::is_totally_unimodular (const integer_matrix &matrix, submatrix_indices &violator, log_level level)
 
bool tu::is_signed_matrix (const integer_matrix &matrix)
 
bool tu::is_signed_matrix (const integer_matrix &matrix, submatrix_indices &violator)
 
bool tu::sign_matrix (integer_matrix &matrix)
 
void tu::support_matrix (integer_matrix &matrix)