Class SolutionNonExistenceProof

Defined in File SolutionNonExistenceProof.h

Class Documentation

class SolutionNonExistenceProof

Abstract definition of a proof for the non-existence of a solution to a problem.

Public Functions

inline SolutionNonExistenceProof(SpaceInformationPtr si)

virtual ~SolutionNonExistenceProof() = default

Protected Attributes

SpaceInformationPtr si_