object

natural

Natural numbers data type predicates.

Author: Paulo Moura

Version: 1:1:0

Date: 2009-03-06

Compilation flags:

static, context_switching_calls

Extends:

public integer

Remarks:

(none)

Inherited public predicates:

 =~= / 2  approximately_equal/3  between/3  check/1  depth/2  essentially_equal/3  ground/1  new/1  occurs/2  plus/3  sequence/3  singletons/2  subsumes/2  subterm/2  succ/2  tolerance_equal/4  valid/1  variables/2  variant/2

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)