13#if !defined(VITA_TERMINAL_H)
14#define VITA_TERMINAL_H
31 [[nodiscard]]
unsigned arity()
const final;
35 [[nodiscard]]
virtual terminal_param_t
init()
const;
37 [[nodiscard]]
virtual std::string
display(terminal_param_t,
85 Expects(s->arity() == 0);
86 return static_cast<const terminal *
>(s);
Together functions and terminals are referred to as symbols.
format
Symbol rendering format.
symbol(const std::string &, category_t=0)
A symbol with zero-arity.
virtual bool parametric() const
A parametric terminal needs an additional parameter to be evaluated.
static const terminal * cast(const symbol *)
This is a short cut function.
virtual std::string display(terminal_param_t, format=c_format) const
unsigned arity() const final
virtual terminal_param_t init() const
Used to initialize the internal parameter of the terminal.
The main namespace for the project.