Class: Pione::PNML::Constraint

Inherits:

PioneModel

• Object
• PioneModel
• Pione::PNML::Constraint

Defined in:

lib/pione/pnml/pione-model.rb

Overview

Constraint represents a PIONE's constraint declaration.

Instance Attribute Summary

• #expr ⇒ Object readonly

  Returns the value of attribute expr.

Instance Method Summary

• #as_declaration(option = {}) ⇒ Object
• #initialize(expr) ⇒ Constraint constructor

  A new instance of Constraint.

Methods inherited from PioneModel

#indent

Constructor Details

#initialize(expr) ⇒ Constraint

Returns a new instance of Constraint.

# File 'lib/pione/pnml/pione-model.rb', line 647

def initialize(expr)
  @expr = expr
end

Instance Attribute Details

#expr ⇒ Object (readonly)

Returns the value of attribute expr.

# File 'lib/pione/pnml/pione-model.rb', line 645

def expr
  @expr
end

Instance Method Details

#as_declaration(option = {}) ⇒ Object

# File 'lib/pione/pnml/pione-model.rb', line 651

def as_declaration(option={})
  indent("constraint " + @expr, option)
end