public static interface OrderByNode.OrderComparator
| Modifier and Type | Method and Description |
|---|---|
NonGroundTerm |
getTerm() |
boolean |
isAscending() |
boolean isAscending()
NonGroundTerm getTerm()
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.