dot-get_halting_test: Returns halting tests for names, or checks if pass functions...

Description Usage Arguments Value

Description

Returns halting tests for names, or checks if pass functions are suitable.

Usage

1
.get_halting_test(halting_test)

Arguments

halting_test

The name of one halting test, or a halting test function.

Value

A vector of halting test functions.


ldamatch documentation built on May 23, 2021, 5:06 p.m.