symbol_set.cc File Reference

#include "kernel/symbol_set.h"
#include "kernel/random.h"
#include "utility/log.h"

Namespaces
namespace	ultra

Functions
bool	ultra::internal::is_terminal (const w_symbol &ws)
bool	ultra::internal::is_function (const w_symbol &ws)

Detailed Description

Remarks

This file is part of ULTRA.

Copyright

Copyright (C) 2024 EOS di Manlio Morini.

License

This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/