#include "ikarus/values/toggle_value.h"

#include "toggle_value.hpp"

IkarusToggleValue * ikarus_toggle_value_create(bool value) {
    return new IkarusToggleValue{value};
}

IkarusToggleValue * ikarus_toggle_value_create_indeterminate() {
    auto * ret = new IkarusToggleValue{false};
    ret->set_intermediate(true);

    return ret;
}

bool ikarus_toggle_value_get(IkarusToggleValue const * value) {
    return value->get_value();
}

void ikarus_toggle_value_set(IkarusToggleValue * value, bool new_value) {
    value->set_value(new_value);
}

struct IkarusValue * ikarus_toggle_value_to_value(IkarusToggleValue * toggle_value) {
    return static_cast<IkarusValue *>(toggle_value);
}