|
||||||||||
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 |