interface HoldsOption<T : AssertionGroupType, R>
Option step which allows to specify the AssertionGroup.holds or another fixed part involved in calculating AssertionGroup.holds.
abstract val failing: AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, R>>
Defines the AssertionGroup (or the fixed part) does not hold. |
|
abstract val groupType: T
The previously defined AssertionGroup.type. |
|
abstract val holding: AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, R>>
Defines the AssertionGroup (or the fixed part) holds |
abstract fun withClaim(holds: Boolean): AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, R>>
Uses the given holds as AssertionGroup.holds (or for the fixed part). |
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. |
|
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. |