org.semanticweb.HermiT.tableau
Class DependencySetFactory.IntegerArray
java.lang.Object
org.semanticweb.HermiT.tableau.DependencySetFactory.IntegerArray
- All Implemented Interfaces:
- Serializable
- Enclosing class:
- DependencySetFactory
protected static final class DependencySetFactory.IntegerArray
- extends Object
- implements Serializable
- See Also:
- Serialized Form
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 |
m_elements
protected int[] m_elements
m_size
protected int m_size
DependencySetFactory.IntegerArray
public DependencySetFactory.IntegerArray()
clear
public void clear()
size
public int size()
get
public int get(int index)
add
public void add(int element)
Copyright © 2012. All Rights Reserved.