Package com.artelys.kalis

Class kalis

java.lang.Object

com.artelys.kalis.kalis

All Implemented Interfaces:

kalisConstants

public class kalis
extends java.lang.Object
implements kalisConstants

Field Summary

Fields inherited from interface com.artelys.kalis.kalisConstants

ARTELYS_LIST_DEFAULTSIZE, AWAKE_PRIORITY, BACKTRACKABLE_INTERVAL_ABS_TOL, BACKTRACKABLE_INTERVAL_REL_TOL, BOUND_PRIORITY, FLOAT_VAR_INITIAL_DEFAULT_PRECISION, GLOBAL_PRIORITY, INST_PRIORITY, KCOL_BLACK, KCOL_BLUE, KCOL_CYAN, KCOL_DBLUE, KCOL_DBROWN, KCOL_DCYAN, KCOL_DGREEN, KCOL_DGREY, KCOL_DPURPLE, KCOL_DRED, KCOL_GREEN, KCOL_LGREY, KCOL_PURPLE, KCOL_RED, KCOL_WHITE, KCOL_YELLOW, MAX_DOUBLE, MAX_INT, MIN_DOMAIN_SIZE_FOR_SPLIT_DOMAIN, MIN_INT, NO_VALUE_GIVEN_TO_CONTROL_OR_ATTRIBUTE, PROP_PRIORITY, REMVAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
kalis()

Method Summary

Modifier and Type	Method	Description
static SWIGTYPE_p_int	copy_intp(int value)
static void	delete_intp(SWIGTYPE_p_int obj)
static Console	getArtelysConsole()
static void	intp_assign(SWIGTYPE_p_int obj, int value)
static int	intp_value(SWIGTYPE_p_int obj)
static int	krand()	return a random integer between 0 and RAND_MAX (excluded)
static void	ksrand(long seed)	set the random seed to 'seed'
static SWIGTYPE_p_int	new_intp()
static void	setArtelysConsole(Console value)

Methods inherited from class java.lang.Object

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

Constructor Detail

kalis

public kalis()

Method Detail

new_intp

public static SWIGTYPE_p_int new_intp()

copy_intp

public static SWIGTYPE_p_int copy_intp(int value)

delete_intp

public static void delete_intp(SWIGTYPE_p_int obj)

intp_assign

public static void intp_assign(SWIGTYPE_p_int obj,
                               int value)

intp_value

public static int intp_value(SWIGTYPE_p_int obj)

setArtelysConsole

public static void setArtelysConsole(Console value)

getArtelysConsole

public static Console getArtelysConsole()

krand

public static int krand()

return a random integer between 0 and RAND_MAX (excluded)

ksrand

public static void ksrand(long seed)

set the random seed to 'seed'