FixedClaimGroup
Defines the contract to build an AssertionGroup which has a fixed AssertionGroup.holds.
Types
Link copied to clipboard
Final step which creates an AssertionGroup whose AssertionGroup.holds is fixed (not determined based on its AssertionGroup.assertions but on the given holds).
Link copied to clipboard
Option step which allows to specify the AssertionGroup.type.
Link copied to clipboard
interface HoldsOption<T : AssertionGroupType> : FixedClaimLikeGroup.HoldsOption<T, FixedClaimGroup.FinalStep>
Option step which allows to specify the AssertionGroup.holds or another fixed part involved in calculating AssertionGroup.holds.