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