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
Option step which allows to specify the AssertionGroup.type.
Link copied to clipboard
interface HoldsOption<T : AssertionGroupType> : FixedClaimLikeGroup.HoldsOption<T, PartiallyFixedClaimGroup.FinalStep>
Option step which allows to specify the AssertionGroup.holds or another fixed part involved in calculating AssertionGroup.holds.