Vita
problem.cc
Go to the documentation of this file.
1
13#include "kernel/problem.h"
14
15namespace vita
16{
20problem::problem() : env(), sset()
21{
22}
23
28{
29 return env.is_valid(false);
30}
31
32} // namespace vita
bool is_valid(bool) const
Definition: environment.cc:127
problem()
A new problem.
Definition: problem.cc:20
virtual bool is_valid() const
Definition: problem.cc:27
The main namespace for the project.