cprop.h

Go to the documentation of this file.

#ifndef CPROP
#define CPROP

typedef struct _CProp CProp;


#include "containers.h"


CProp *cprop_create( int cols, const char integer[], const double lb[], const double ub[], const char **name );


int cprop_add_constraint( CProp *cprop, int nz, const int idx[], const double coef[], char sense, double rhs, const char rname[] );


int cprop_update_bound( CProp *cprop, int j, double l, double u );


void cprop_undo( CProp *cprop );


char cprop_feasible( const CProp *cprop );


const char *cprop_inf_msg( const CProp *cprop );


int cprop_n_implications( const CProp *cprop );

int cprop_implied_var( const CProp *cprop, int i );


double cprop_get_lb( const CProp *cprop, int j );


double cprop_get_ub( const CProp *cprop, int j );

enum IGNType { 
    EOne,      
    EZero,     
    Infeasible 
};


enum IGNType cprop_impl_graph_node_type( const CProp *cprop, int nodeId );


int cprop_impl_graph_node_var( const CProp *cprop, int nodeId );


int cprop_impl_graph_node_id( const CProp *cprop, enum IGNType ntype , int col );


int cprop_impl_graph_in_d( const CProp *cprop, int nodeId );


int cprop_impl_graph_in_neigh( const CProp *cprop, int nodeId, int i );


void cprop_save_impl_graph( const CProp *cprop, const char *fName );


int cprop_n_cuts( const CProp *cprop );


int cprop_cut_nz( const CProp *cprop, int idxCut );


const int *cprop_cut_idx( const CProp *cprop, int idxCut );


const double *cprop_cut_coef( const CProp *cprop, int idxCut );


char cprop_cut_sense( const CProp *cprop, int idxCut );


double cprop_cut_rhs( const CProp *cprop, int idxCut );


void cprop_set_verbose( CProp *cprop, char verbose );


void cprop_free( CProp **cprop );


#endif