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