uk.ac.manchester.cs.jfact.dep

Class DepSet

java.lang.Object

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

All Implemented Interfaces:

Serializable

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

Dependency set

Author:

ignazio

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
void	add(DepSet toAdd)
void	clear() empty the delegate
static DepSet	create()
static DepSet	create(DepSet dep)
static DepSet	create(int i)
static DepSet	create(org.roaringbitmap.RoaringBitmap delegate)
boolean	equals(Object obj)
org.roaringbitmap.RoaringBitmap	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)
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Method Detail

getDelegate

@Original
public org.roaringbitmap.RoaringBitmap getDelegate()

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

Returns:

delegate

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 - i

Returns:

depset with value i

create

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

Parameters:

dep - dep

Returns:

copy of dep

plus

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

Parameters:

ds1 - ds1

ds2 - ds2

Returns:

union of ds1 and ds2

create

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

Parameters:

delegate - delegate

Returns:

depset wrapper over 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

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(@Nullable
                      Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

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(@Nullable
                                                                      DepSet toAdd)

Parameters:

toAdd - add all elements in the depset to this depset