8#ifndef MINOTAURLPRELAXATION_H
9#define MINOTAURLPRELAXATION_H
11#include "Modification.h"
Declare the class Relaxation for storing and manipulating relaxations.
Definition Environment.h:28
Definition LPRelaxation.h:20
Definition Relaxation.h:53
Definition ActiveNodeStore.h:20