World (org.choco-solver-choco-solver 4.10.2 API)

All Known Implementing Classes:

BoolWorld, DoubleWorld, IntWorld, LongWorld, OperationWorld
```
public interface World
```
Specify a stack in a world.

Since:

29/05/2016

Author:

Fabien Hermenier, Charles Prud'homme

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`int`	`allocated()`	The allocated trail for this world.
`void`	`clear()`	Clean the stack
`void`	`revert()`	Pop all the stack.
`int`	`used()`	The amount of values in the stack

- Method Detail
  - used
```
int used()
```
    The amount of values in the stack
    
    Returns:
    
    a positive integer
  - revert
```
void revert()
```
    Pop all the stack.
  - clear
```
void clear()
```
    Clean the stack
  - allocated
```
int allocated()
```
    The allocated trail for this world.
    
    Returns:
    
    a positive number