org.semanticweb.HermiT.tableau
Class DependencySetFactory.IntegerArray

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.DependencySetFactory.IntegerArray
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
DependencySetFactory

protected static final class DependencySetFactory.IntegerArray
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  int[] m_elements
           
protected  int m_size
           
 
Constructor Summary
DependencySetFactory.IntegerArray()
           
 
Method Summary
 void add(int element)
           
 void clear()
           
 int get(int index)
           
 int size()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_elements

protected int[] m_elements

m_size

protected int m_size
Constructor Detail

DependencySetFactory.IntegerArray

public DependencySetFactory.IntegerArray()
Method Detail

clear

public void clear()

size

public int size()

get

public int get(int index)

add

public void add(int element)