object

# counter

> Counter implemented with asserta/retract.

author:
  `Victor Lagerkvist`
version:
  `1.0`
date:
  `2010/6/13`

compilation flags:
  `static, context_switching_calls`

(no dependencies on other files)

## Public interface

### increment/0

> Increment the counter by 1.

compilation flags:
  `static`
mode – number of proofs:
  `increment – one`

### increase/1

> Increments the counter by the specified amount.

compilation flags:
  `static`
mode – number of proofs:
  `increase(+number) – one`

argname:
  `[I]`

### set/1

> Sets the counter to the specified amount.

compilation flags:
  `static`
mode – number of proofs:
  `set(+number) – one`

argname:
  `[N]`

### value/1

> Gets the current value of the counter.

compilation flags:
  `static`
mode – number of proofs:
  `value(?number) – one`

argname:
  `[N]`

### reset/0

> Resets the counter to zero.

compilation flags:
  `static`
mode – number of proofs:
  `reset – one`

## Protected interface

(none)

## Private predicates

### c/1

compilation flags:
  `dynamic`

## Operators

### (none)

## Remarks

### (none)