org.mindswap.pellet
Class DependencySet

java.lang.Object
  extended by org.mindswap.pellet.DependencySet

public class DependencySet
extends java.lang.Object

DependencySet for concepts and edges in the ABox for backjumping

Author:
Evren Sirin

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

NO_BRANCH

public static final int NO_BRANCH
See Also:
Constant Field Values

EMPTY

public static final DependencySet EMPTY
An empty dependency set


INDEPENDENT

public static final DependencySet INDEPENDENT
Used for assertions that are true by nature, i.e. an individual always has type owl:Thing


DUMMY

public static final DependencySet DUMMY
A dummy dependency set that is used just to indicate there is a dependency

Constructor Detail

DependencySet

public DependencySet(int branch)
Create a dependecy set that depends on a single branch

Parameters:
branch - Branch number

DependencySet

public 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).

Method Detail

copy

public DependencySet copy()
Creates a new DependencySet object where the BitSet is shared (changing one will change the other).

Returns:

contains

public boolean contains(int b)
Return true if b ic in this set.

Parameters:
b -
Returns:

add

public void add(int b)
Add the integer value b to this DependencySet.

Parameters:
b -

remove

public void remove(int b)
Remove the integer value b from this DependencySet.

Parameters:
b -

isIndependent

public boolean isIndependent()
Return true if there is no dependancy on a non-deterministic branch

Returns:

size

public int size()
Return the number of elements in this set.

Returns:

max

public int max()
Return the maximum value in this set.

Returns:

union

public 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).

Parameters:
ds -
Returns:

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.