interface FixedClaimGroup (source)
Defines the contract to build an AssertionGroup which has a fixed AssertionGroup.holds.
interface FinalStep : BasicAssertionGroupFinalStep
Final step which creates an AssertionGroup whose AssertionGroup.holds is fixed (not determined based on its AssertionGroup.assertions but on the given holds). |
|
interface GroupTypeOption : FixedClaimLikeGroup.GroupTypeOption<FixedClaimGroup.FinalStep>
Option step which allows to specify the AssertionGroup.type. |
|
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. |