function.cc

Go to the documentation of this file.

 
#include "kernel/gp/function.h"
 
namespace vita
{
function::function(const std::string &dis, category_t c, cvect args)
  : symbol(dis, c), argt_(std::move(args))
{
  Ensures(is_valid());
}
 
function::function(const std::string &dis, std::size_t n_args)
  : function(dis, 0, cvect(n_args, 0))
{
  Ensures(is_valid());
}
 
std::string function::display(format) const
{
  std::string args("%%1%%");
  for (unsigned i(1); i < arity(); ++i)
    args += ",%%" + std::to_string(i + 1) + "%%";
 
  return name() + "(" + args + ")";
}
 
bool function::is_valid() const
{
  if (!arity())  // this is a function, we want some argument...
    return false;
 
  return symbol::is_valid();
}
 
}  // namespace vita