◄
►
The Ciao System
»
PART IX - Abstract data types
»
counters (library)
Usage and interface
Library usage:
:- use_module(library(counters)).
Exports:
Predicates:
setcounter/2
,
getcounter/2
,
inccounter/2
.
Imports:
Packages:
prelude
,
nonpure
,
assertions
.
Documentation on exports
PREDICATE
setcounter/2
:
No further documentation available for this predicate.
PREDICATE
getcounter/2
:
No further documentation available for this predicate.
PREDICATE
inccounter/2
:
No further documentation available for this predicate.
Module Sections
Usage and interface
Documentation on exports
Global Links
Table of Contents
Version/Change Log
References
Copyright
Indices
Library/Module Index
Predicate/Method Index
Property Index
Regular Type Index
Declaration Index
Concept Index
Author Index
Global Index
◄
►
