FixedClaimLikeGroup
Defines the contract to build an AssertionGroup which has a fixed AssertionGroup.holds or the like.
With the like is meant that AssertionGroup.holds does either not at all or at least not only depend on AssertionGroup.assertions but also on a fixed part.
Types
Link copied to clipboard
Option step which allows to specify the AssertionGroup.type.
Link copied to clipboard
Option step which allows to specify the AssertionGroup.holds or another fixed part involved in calculating AssertionGroup.holds.