interface PartiallyFixedClaimGroup (source)
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.
interface FinalStep : BasicAssertionGroupFinalStep
Final step which creates an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by preTransformationHolds and its AssertionGroup.assertions. |
|
interface GroupTypeOption : FixedClaimLikeGroup.GroupTypeOption<PartiallyFixedClaimGroup.FinalStep>
Option step which allows to specify the AssertionGroup.type. |
|
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. |