object

# `counter`

Counter implemented with asserta/retract.

Author: Victor Lagerkvist
Version: 1:0:0
Date: 2010-06-13
Compilation flags:
`static, context_switching_calls`
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

- Public predicates

  - `increment/0`

  - `increase/1`

  - `set/1`

  - `value/1`

  - `reset/0`

- Protected predicates

- Private predicates

  - `c/1`

- Operators

## Public predicates

### `increment/0`

Increment the counter by 1.

Compilation flags:
`static`
Mode and number of proofs:
`increment` - `one`

### `increase/1`

Increments the counter by the specified amount.

Compilation flags:
`static`
Mode and number of proofs:
`increase(+number)` - `one`
argname:
[I]

### `set/1`

Sets the counter to the specified amount.

Compilation flags:
`static`
Mode and number of proofs:
`set(+number)` - `one`
argname:
[N]

### `value/1`

Gets the current value of the counter.

Compilation flags:
`static`
Mode and number of proofs:
`value(?number)` - `one`
argname:
[N]

### `reset/0`

Resets the counter to zero.

Compilation flags:
`static`
Mode and number of proofs:
`reset` - `one`

## Protected predicates

(none)

## Private predicates

### `c/1`

Compilation flags:
`dynamic`

## Operators

(none)