testCountablyFinite: assert/check/test/CountablyFinite

In set6: R6 Mathematical Sets Interface

Description

Validation checks to test if a given object is countablyfinite.

Usage

testCountablyFinite(object, errormsg = "This is not a countably finite set")

checkCountablyFinite(object, errormsg = "This is not a countably finite set")

assertCountablyFinite(object, errormsg = "This is not a countably finite set")

Arguments

object	object to test
errormsg	error message to overwrite default if check fails

Value

If check passes then assert returns object invisibly and test/check return TRUE. If check fails, assert stops code with error, check returns an error message as string, and test returns FALSE.

Examples

testCountablyFinite(Set$new(1,2,3))
testCountablyFinite(Interval$new(1,10))

set6 documentation built on Oct. 18, 2021, 5:06 p.m.