class Pione::PNML::Constraint

Constraint represents a PIONE’s constraint declaration.

Attributes

expr[R]

Public Class Methods

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

Public Instance Methods

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