Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## org.mindswap.pellet
Class DisjunctionSorting

    java.lang.Object
      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)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

Copyright © 2004 Evren Sirin. All Rights Reserved.