Abstract definition of a proof for the non-existence of a solution to a problem. More...
#include <SolutionNonExistenceProof.h>
Public Member Functions | |
SolutionNonExistenceProof (const SpaceInformationPtr &si) | |
Protected Attributes | |
SpaceInformationPtr | si_ |
Abstract definition of a proof for the non-existence of a solution to a problem.
Definition at line 56 of file SolutionNonExistenceProof.h.