uk.ac.manchester.cs.jfact.dep

Class DepSet

java.lang.Object

uk.ac.manchester.cs.jfact.dep.DepSet

@PortedFrom(file="tDepSet.h",
            name="TDepSet")
public class DepSet
extends Object

Dependency set

Author:

ignazio

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DepSet()
	DepSet(FastSetSimple d)
protected	DepSet(int i)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(DepSet toAdd)
void	add(FastSetSimple d)
void	clear() empty the delegate
boolean	contains(int level)
static DepSet	create()
static DepSet	create(DepSet dep)
static DepSet	create(FastSetSimple delegate)
static DepSet	create(int i)
boolean	equals(Object obj)
int	get(int i)
FastSetSimple	getDelegate() to be used to get the FastSet and store it in CWDArray save/restore
int	hashCode()
boolean	isEmpty()
int	level()
static DepSet	plus(DepSet ds1, DepSet ds2)
void	restrict(int level)
int	size()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DepSet

protected DepSet()

DepSet

public DepSet(FastSetSimple d)

Parameters:

d -

DepSet

protected DepSet(int i)

Method Detail

create

@PortedFrom(file="tDepSet.h",
            name="create")
public static DepSet create()

Returns:

empty depset

create

@PortedFrom(file="tDepSet.h",
            name="create")
public static DepSet create(int i)

Parameters:

i -

Returns:

depset with value i

create

@PortedFrom(file="tDepSet.h",
            name="create")
public static DepSet create(DepSet dep)

Parameters:

dep -

Returns:

copy of dep

plus

@PortedFrom(file="tDepSet.h",
            name="+")
public static DepSet plus(DepSet ds1,
                             DepSet ds2)

Parameters:

ds1 -

ds2 -

Returns:

union of ds1 and ds2

create

@PortedFrom(file="tDepSet.h",
            name="create")
public static DepSet create(FastSetSimple delegate)

Parameters:

delegate -

Returns:

depset wrapper over delegate

getDelegate

@Original
public FastSetSimple getDelegate()

to be used to get the FastSet and store it in CWDArray save/restore

Returns:

delegate

level

@PortedFrom(file="tDepSet.h",
            name="level")
public int level()

Returns:

last delegate

isEmpty

@PortedFrom(file="tDepSet.h",
            name="empty")
public boolean isEmpty()

Returns:

true if empty or null delegate

contains

@PortedFrom(file="tDepSet.h",
            name="contains")
public boolean contains(int level)

Parameters:

level -

Returns:

true if delegate contains level

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

size

@PortedFrom(file="tDepSet.h",
            name="size")
public int size()

Returns:

delegate size

get

@PortedFrom(file="tDepSet.h",
            name="get")
public int get(int i)

Parameters:

i -

Returns:

element at position i; if no such element exists, throws NoSuchElementExcepton

restrict

@PortedFrom(file="tDepSet.h",
            name="restrict")
public void restrict(int level)

Parameters:

level - level to cut the delegate to

clear

@PortedFrom(file="tDepSet.h",
            name="clear")
public void clear()

empty the delegate

add

@PortedFrom(file="tDepSet.h",
            name="add")
public void add(DepSet toAdd)

Parameters:

toAdd - add all elements in the depset to this depset

add

@PortedFrom(file="tDepSet.h",
            name="add")
public void add(FastSetSimple d)

Parameters:

d - add all elements in the depset to this depset