interface ExplanatoryAssertionGroupType : DoNotFilterAssertionGroupType
Represents the AssertionGroupType for AssertionGroups whose assertions are mainly
used to explain something -- it is not of importance whether they hold or not and thus such AssertionGroups should
always return true for holds.
object DefaultExplanatoryAssertionGroupType : ExplanatoryAssertionGroupType
The AssertionGroupType for AssertionGroups whose assertions are used to explain
something rather than pointing something out -- accordingly the AssertionGroup.holds should always return |
|
object WarningAssertionGroupType : ExplanatoryAssertionGroupType
The AssertionGroupType for AssertionGroups whose assertions are used to state a warning rather than making an assumption. |