HoldsOption
interface HoldsOption<T : AssertionGroupType> : FixedClaimLikeGroup.HoldsOption<T, PartiallyFixedClaimGroup.FinalStep> (source)
Option step which allows to specify the AssertionGroup.holds or another fixed part involved in calculating AssertionGroup.holds.
Properties
Link copied to clipboard
abstract val failing: AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, PartiallyFixedClaimGroup.FinalStep>>
Defines the AssertionGroup (or the fixed part) does not hold.
Link copied to clipboard
The previously defined AssertionGroup.type.
Link copied to clipboard
abstract val holding: AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, PartiallyFixedClaimGroup.FinalStep>>
Defines the AssertionGroup (or the fixed part) holds
Functions
Link copied to clipboard
abstract fun withClaim(holds: Boolean): AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, PartiallyFixedClaimGroup.FinalStep>>
Uses the given holds as AssertionGroup.holds (or for the fixed part).