choco.mem
Class StoredLong

java.lang.Object
  choco.mem.StoredLong

public class StoredLong
extends java.lang.Object

Constructor Summary

StoredLong(Environment env)
Constructs a stored search with an unknown initial value.

StoredLong(Environment env, long d)
Constructs a stored search with an initial value.

Method Summary

void	add(long delta) modifying a StoredInt by an increment
long	get() Returns the current value.
Environment	getEnvironment() Retrieving the environment
boolean	isKnown() Checks if a value is currently stored.
void	set(long y) Modifies the value and stores if needed the former value on the trailing stack.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StoredLong

public StoredLong(Environment env)

Constructs a stored search with an unknown initial value. Note: this constructor should not be used directly: one should instead use the Environment factory

StoredLong

public StoredLong(Environment env,
                  long d)

Constructs a stored search with an initial value. Note: this constructor should not be used directly: one should instead use the Environment factory

Method Detail

get

public long get()

Returns the current value.

isKnown

public boolean isKnown()

Checks if a value is currently stored.

set

public void set(long y)

Modifies the value and stores if needed the former value on the trailing stack.

add

public void add(long delta)

modifying a StoredInt by an increment

Parameters:

delta -

getEnvironment

public Environment getEnvironment()

Retrieving the environment