PartiallyFixedClaimGroup

Defines the contract to build an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by a fixed part and its AssertionGroup.assertions.

Have a look at FixedClaimGroup in case AssertionGroup.holds should not rely on AssertionGroup.assertions at all but be fixed.

Types

Link copied to clipboard

Final step which creates an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by preTransformationHolds and its AssertionGroup.assertions.

Link copied to clipboard
Link copied to clipboard

Option step which allows to specify the AssertionGroup.holds or another fixed part involved in calculating AssertionGroup.holds.