56 virtual std::stringstream
print_candidate(
const std::vector<Variable>& variables )
const;
virtual std::stringstream print_candidate(const std::vector< Variable > &variables) const
virtual ~Print()=default
Default virtual destructor.
Definition: auxiliary_data.hpp:38