|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Unfolding | |
---|---|
org.mindswap.pellet.tbox | |
org.mindswap.pellet.tbox.impl |
Uses of Unfolding in org.mindswap.pellet.tbox |
---|
Methods in org.mindswap.pellet.tbox that return types with arguments of type Unfolding | |
---|---|
java.util.Iterator<Unfolding> |
TBox.unfold(aterm.ATermAppl c)
Lazy unfold the given concept |
Uses of Unfolding in org.mindswap.pellet.tbox.impl |
---|
Methods in org.mindswap.pellet.tbox.impl that return Unfolding | |
---|---|
static Unfolding |
Unfolding.create(aterm.ATermAppl result,
aterm.ATermAppl condition,
java.util.Set<aterm.ATermAppl> explanation)
|
static Unfolding |
Unfolding.create(aterm.ATermAppl result,
java.util.Set<aterm.ATermAppl> explanation)
|
Unfolding |
PrimitiveTBox.getDefinition(aterm.ATermAppl concept)
|
Unfolding |
BinaryTBox.unfold(BinarySet<aterm.ATermAppl> set)
|
Methods in org.mindswap.pellet.tbox.impl that return types with arguments of type Unfolding | |
---|---|
java.util.List<Unfolding> |
TgBox.getUC()
|
java.util.Iterator<Unfolding> |
BinaryTBox.unfold(aterm.ATermAppl concept)
|
java.util.Iterator<Unfolding> |
PrimitiveTBox.unfold(aterm.ATermAppl concept)
|
java.util.Iterator<Unfolding> |
TBoxExpImpl.unfold(aterm.ATermAppl c)
|
java.util.Iterator<Unfolding> |
TBoxImpl.unfold(aterm.ATermAppl c)
|
java.util.List<Unfolding> |
TuBox.unfold(aterm.ATermAppl c)
|
java.util.Iterator<Unfolding> |
UnaryTBox.unfold(aterm.ATermAppl concept)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |