|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use BinarySet | |
|---|---|
| org.mindswap.pellet.tbox.impl | |
| org.mindswap.pellet.utils | |
| Uses of BinarySet in org.mindswap.pellet.tbox.impl |
|---|
| Methods in org.mindswap.pellet.tbox.impl with parameters of type BinarySet | |
|---|---|
void |
BinaryTBox.add(BinarySet<aterm.ATermAppl> set,
aterm.ATermAppl result,
java.util.Set<aterm.ATermAppl> explanation)
|
Unfolding |
BinaryTBox.unfold(BinarySet<aterm.ATermAppl> set)
|
| Uses of BinarySet in org.mindswap.pellet.utils |
|---|
| Methods in org.mindswap.pellet.utils that return BinarySet | ||
|---|---|---|
static
|
BinarySet.create(T first,
T second)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||