Commit 1dabb262 authored by Henrich Lauko's avatar Henrich Lauko

rst: Move abstraction to __dios::rst::abstract namespace.

parent 7bf0e0b4
......@@ -59,7 +59,7 @@
__attribute__((annotate( NAMESPACE_JOIN(lart.abstract.domain.kind, _kind) )))
#include <rst/tristate.hpp>
typedef abstract::Tristate __tristate;
typedef __dios::rst::abstract::Tristate __tristate;
extern "C" {
......
......@@ -31,7 +31,7 @@
#define _LART_FN \
__attribute__((__nothrow__, __always_inline__, __flatten__)) __invisible \
namespace abstract {
namespace __dios::rst::abstract {
template < typename T, int PT = _VM_PT_Heap >
using Array = __dios::Array< T, PT >;
......
......@@ -6,8 +6,7 @@
#include <brick-smt>
#include <type_traits>
namespace abstract
{
namespace __dios::rst::abstract {
namespace smt = brick::smt;
struct Term
......
......@@ -6,12 +6,12 @@
#include <cstdlib>
#endif
namespace abstract {
namespace __dios::rst::abstract {
struct Tristate {
enum Value { False = 0, True = 1, Unknown = 2 };
Tristate( Value val ) : value( val ) { }
Tristate( Value val ) noexcept : value( val ) { }
bool lower() const noexcept;
......
......@@ -4,7 +4,7 @@
using namespace abstract::star;
using abstract::Tristate;
using __dios::rst::abstract::Tristate;
template <typename E>
constexpr auto to_underlying(E e) noexcept {
......
......@@ -9,7 +9,7 @@
#include <type_traits>
using namespace lart::sym;
using abstract::Tristate;
using __dios::rst::abstract::Tristate;
using abstract::__new;
using abstract::taint;
using abstract::peek_object;
......
......@@ -3,8 +3,7 @@
#include <cassert>
namespace abstract
{
namespace __dios::rst::abstract {
TermState __term_state;
Tristate Term::to_tristate() noexcept
......
#include <rst/tristate.hpp>
#include <rst/common.h>
namespace abstract {
namespace __dios::rst::abstract {
bool Tristate::lower() const noexcept {
return static_cast<bool>( *this );
}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment