Package com.artelys.kalis

Class disjunctionlist

java.lang.Object

com.artelys.kalis.disjunctionlist

Direct Known Subclasses:

KDisjunctionArray

public class disjunctionlist
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
	disjunctionlist()
	disjunctionlist(int size)
protected	disjunctionlist(long cPtr, boolean cMemoryOwn)
	disjunctionlist(disjunctionlist artelysList)

Method Summary

Modifier and Type	Method	Description
int	add(KDisjunction elt_ptr)
int	add(KDisjunction elt_ptr, boolean toManage)
int	check(KDisjunction elt_ptr)
void	delete()
int	emptyAndDelete()
protected void	finalize()
disjunctionlist	getCopyPtr()
protected static long	getCPtr(disjunctionlist obj)
KDisjunction	getElt(int index)
int	getNumberOfElements()
int	initializeAsEmptyList()
void	initializeListWithVa_list(int nbElements, SWIGTYPE_p_va_list arglist)
int	insert(KDisjunction elt_ptr, int index)
int	insert(KDisjunction elt_ptr, int index, boolean toManage)
boolean	isEmpty()
void	makeList(int size)
void	print()
void	removeLastElement()
void	replace(int index, KDisjunction elt_ptr)
void	replace(int index, KDisjunction elt_ptr, boolean toManage)

Methods inherited from class java.lang.Object

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

Field Detail

swigCMemOwn

protected transient boolean swigCMemOwn

Constructor Detail

disjunctionlist

protected disjunctionlist(long cPtr,
                          boolean cMemoryOwn)

disjunctionlist

public disjunctionlist()

disjunctionlist

public disjunctionlist(int size)

disjunctionlist

public disjunctionlist(disjunctionlist artelysList)

Method Detail

getCPtr

protected static long getCPtr(disjunctionlist obj)

finalize

protected void finalize()

Overrides:

finalize in class java.lang.Object

delete

public void delete()

getNumberOfElements

public int getNumberOfElements()

getElt

public KDisjunction getElt(int index)

isEmpty

public boolean isEmpty()

makeList

public void makeList(int size)

initializeListWithVa_list

public void initializeListWithVa_list(int nbElements,
                                      SWIGTYPE_p_va_list arglist)

initializeAsEmptyList

public int initializeAsEmptyList()

add

public int add(KDisjunction elt_ptr,
               boolean toManage)

add

public int add(KDisjunction elt_ptr)

insert

public int insert(KDisjunction elt_ptr,
                  int index,
                  boolean toManage)

insert

public int insert(KDisjunction elt_ptr,
                  int index)

emptyAndDelete

public int emptyAndDelete()

check

public int check(KDisjunction elt_ptr)

getCopyPtr

public disjunctionlist getCopyPtr()

removeLastElement

public void removeLastElement()

replace

public void replace(int index,
                    KDisjunction elt_ptr,
                    boolean toManage)

replace

public void replace(int index,
                    KDisjunction elt_ptr)

print

public void print()