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

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)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.