org.mindswap.pellet
Class DisjunctionSorting

java.lang.Object
  extended by org.mindswap.pellet.DisjunctionSorting

public class DisjunctionSorting
extends java.lang.Object

Author:
Evren Sirin

Constructor Summary
DisjunctionSorting()
           
 
Method Summary
static aterm.ATermAppl[] sort(Individual node, aterm.ATermAppl[] disjunctions)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DisjunctionSorting

public DisjunctionSorting()
Method Detail

sort

public static aterm.ATermAppl[] sort(Individual node,
                                     aterm.ATermAppl[] disjunctions)


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.