org.eclipse.viatra.dse.base

## Class DseIdPoolHelper.IdProvider

- java.lang.Object
- - org.eclipse.viatra.dse.base.DseIdPoolHelper.IdProvider

- Enclosing class:
    DseIdPoolHelper

      public static class DseIdPoolHelper.IdProvider
      extends java.lang.Object

- - ### Constructor Summary

    Constructors
    Constructor and Description
    `IdProvider(DseIdPoolHelper.IGetRuleExecutions getRuleExecutions, BatchTransformationRule<?,?> rule)`

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `int` | `getId()`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Constructor Detail

    - #### IdProvider

          public IdProvider(DseIdPoolHelper.IGetRuleExecutions getRuleExecutions,
                            BatchTransformationRule<?,?> rule)

  - ### Method Detail

    - #### getId

          public int getId()