Uses of Class
org.mindswap.pellet.tbox.impl.Unfolding

Packages that use Unfolding

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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
static Unfolding	Unfolding.create(aterm.ATermAppl result, aterm.ATermAppl condition, Set<aterm.ATermAppl> explanation)
static Unfolding	Unfolding.create(aterm.ATermAppl result, 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

Modifier and Type	Method and Description
List<Unfolding>	TgBox.getUC()
Iterator<Unfolding>	PrimitiveTBox.unfold(aterm.ATermAppl concept)
Iterator<Unfolding>	UnaryTBox.unfold(aterm.ATermAppl concept)
Iterator<Unfolding>	BinaryTBox.unfold(aterm.ATermAppl concept)
Iterator<Unfolding>	TBoxImpl.unfold(aterm.ATermAppl c)
List<Unfolding>	TuBox.unfold(aterm.ATermAppl c)
Iterator<Unfolding>	TBoxExpImpl.unfold(aterm.ATermAppl c)