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 : GroupTypeOption<FinalStep> |
|
interface HoldsOption<T : AssertionGroupType> : HoldsOption<T, FinalStep> |