#include <debug.h>

#include "struct.h"
#include "new.h"

struct variable* new_variable(
    struct string* name,
    truthtable_t value)
{
    ENTER;
    
    struct variable* this = smalloc(sizeof(*this));
    
    this->name = inc_string(name);
    
    this->value = value;
    
    EXIT;
    return this;
}