problem.h

Go to the documentation of this file.

 
#if !defined(VITA_PROBLEM_H)
#define      VITA_PROBLEM_H
 
#include "kernel/environment.h"
 
namespace vita
{
class problem
{
public:
  problem();
 
  template<class S, class ...Args> symbol *insert(Args &&...);
 
  virtual bool is_valid() const;
 
  // What a horror! Public data members... please read the coding style
  // document for project Vita.
  environment env;
  symbol_set sset;
};
 
template<class S, class ...Args> symbol *problem::insert(Args &&... args)
{
  return sset.insert(std::make_unique<S>(std::forward<Args>(args)...));
}
 
}  // namespace vita
 
#endif  // include guard