Lp.h

Go to the documentation of this file.

/*
 * Lurupa, a library for verified linear programming.
 * Copyright (C) 2006 by Christian Keil
 *
 * This file is part of Lurupa.
 *
 * Lurupa is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301
 * USA
 */

#ifndef LURUPA_LP_H
#define LURUPA_LP_H

#include <lurupa/globals.h>
#include <lurupa/Lurupa.h>
#include <lurupa/Solver_module.h>
#include <IntervalMatrix.h>

#include <IntervalVector.h>

struct Primal_deflation {
  VECTOR a;   
  VECTOR xl;  
  VECTOR xu;  
};

class LU_LURUPA_SCOPE Lp {
public:
  INTERVAL_MATRIX IA;         
  INTERVAL_MATRIX IB;         
  INTERVAL_VECTOR ia;         
  INTERVAL_VECTOR ib;         
  INTERVAL_VECTOR ic;         
  VECTOR          xl;         
  VECTOR          xu;         
  INTERVAL_VECTOR ix;         
  INTERVAL_VECTOR iy;         
  INTERVAL_VECTOR iz;         
  REAL infinite;              
  int free_variables_size;    
  int *free_variables;        
  int non_fixed_vars;         
  Solver_status feasibility;  
  bool maximize;              
  char *name;                 
  Lp_solver *module;          
  Lurupa *lurupa;             
  Lp();
  Lp(Lurupa *lurupa);

  ~Lp();

  void set_lurupa(Lurupa *lurupa);

  bool is_consistent() const;
};

#endif /* LURUPA_LP_H */

---