Class: Expressir::Model::Declarations::InformalPropositionRule

Inherits:
ModelElement
  • Object
show all
Includes:
HasInformalPropositions, Identifier
Defined in:
lib/expressir/model/declarations/informal_proposition_rule.rb

Overview

Informal proposition rules are used to specify constraints that cannot be formally expressed

Constant Summary

Constants inherited from ModelElement

ModelElement::POLYMORPHIC_CLASS_MAP, ModelElement::SKIP_ATTRIBUTES

Instance Attribute Summary

Attributes inherited from ModelElement

#parent

Instance Method Summary collapse

Methods included from Identifier

included

Methods inherited from ModelElement

#add_remark, #children_by_id, #find, #initialize, #path, #reset_children_by_id, #source, #to_s

Constructor Details

This class inherits a constructor from Expressir::Model::ModelElement

Instance Method Details

#children ⇒ Object 



17
18
19
20
21
 
# File 'lib/expressir/model/declarations/informal_proposition_rule.rb', line 17

def children
  [
    *remark_items,
  ]
end