Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
positive_integer_value [2015/10/12 01:00]
admin ↷ Page name changed from positive_int to positive_integer_value 		positive_integer_value [2026/08/28 03:29] (current)
hermann Sync from local documentation review
Line 1: Line 1:
-====== Positive ​Int ====== ​+====== Positive ​Integer Value ======
  
 ===== Description ===== ===== Description =====
  
-Positive ​integer ​declarer.+Declares an integer ​value greater than zero, so that it can be reused as the input to more than one functor instead of repeating the same constant throughout the model.
  
 ===== Inputs ===== ===== Inputs =====
  
-^ Name ^ Type ^ Description ^ +^ Name  ^ Type  ^ Description ​ ^ 
-| Constant ​ | [[Positive ​Int Type|Positive Int]]  | Positive integer ​constant. ​ |+| Constant ​ | [[Positive ​Integer Value Type]] ​ | Value or constant ​representing a positive integer.  |
  
 ===== Optional Inputs ===== ===== Optional Inputs =====
 +
 +None.
  
 ===== Outputs ===== ===== Outputs =====
  
-^ Name ^ Type ^ Description ^ +^ Name  ^ Type  ^ Description ​ ^ 
-| Object ​ | [[Positive ​Int Type|Positive Int]]  | Positive ​integer ​object.  |+| Object ​ | [[Positive ​Integer Value Type]] ​ | Value or constant representing a positive ​integer, provided as the functor input.  |
  
 ===== Group ===== ===== Group =====
Line 23: Line 25:
 ===== Notes ===== ===== Notes =====
  
-===== Internal Name ===== +This functor was previously known as "​PositiveInt"​. 
 + 
 +===== Internal Name =====
  
-PositiveInt+PositiveIntegerValue