|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.DependencySet
public class DependencySet
DependencySet for concepts and edges in the ABox for backjumping
Field Summary | |
---|---|
static DependencySet |
DUMMY
A dummy dependency set that is used just to indicate there is a dependency |
static DependencySet |
EMPTY
An empty dependency set |
static DependencySet |
INDEPENDENT
Used for assertions that are true by nature, i.e. an individual always has type owl:Thing |
static int |
NO_BRANCH
|
Constructor Summary | |
---|---|
DependencySet(java.util.BitSet depends)
Creates a dependecy set with the given BitSet (no separate copy of BitSet is created so if BitSet is modified this DependencySet will be affected). |
|
DependencySet(int branch)
Create a dependecy set that depends on a single branch |
Method Summary | |
---|---|
void |
add(int b)
Add the integer value b to this DependencySet. |
boolean |
contains(int b)
Return true if b ic in this set. |
DependencySet |
copy()
Creates a new DependencySet object where the BitSet is shared (changing one will change the other). |
boolean |
isIndependent()
Return true if there is no dependancy on a non-deterministic branch |
int |
max()
Return the maximum value in this set. |
void |
remove(int b)
Remove the integer value b from this DependencySet. |
int |
size()
Return the number of elements in this set. |
java.lang.String |
toString()
|
DependencySet |
union(DependencySet ds)
Create a new DependencySet and all the elements of this and
ds (Neither set is affected when the return the set is modified). |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final int NO_BRANCH
public static final DependencySet EMPTY
public static final DependencySet INDEPENDENT
public static final DependencySet DUMMY
Constructor Detail |
---|
public DependencySet(int branch)
branch
- Branch numberpublic DependencySet(java.util.BitSet depends)
Method Detail |
---|
public DependencySet copy()
public boolean contains(int b)
b
ic in this set.
b
-
public void add(int b)
b
to this DependencySet.
b
- public void remove(int b)
b
from this DependencySet.
b
- public boolean isIndependent()
public int size()
public int max()
public DependencySet union(DependencySet ds)
this
and
ds
(Neither set is affected when the return the set is modified).
ds
-
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |