class Pione::PNML::Feature

Feature represents a feature declaration in PIONE.

Attributes

expr[R]

Public Class Methods

new(expr) click to toggle source
# File lib/pione/pnml/pione-model.rb, line 669
def initialize(expr)
  @expr = expr
end

Public Instance Methods

as_declaration(option={}) click to toggle source
# File lib/pione/pnml/pione-model.rb, line 673
def as_declaration(option={})
  indent("feature " + @expr, option)
end