class RubyRTL::BitVectorType

Attributes

bitwidth[RW]

Public Class Methods

new(bitwidth) click to toggle source
# File lib/ruby_rtl/ast.rb, line 275
def initialize bitwidth
  @bitwidth=bitwidth
end

Public Instance Methods

to_s() click to toggle source
# File lib/ruby_rtl/ast.rb, line 278
def to_s
  "bv#{bitwidth}"
end