A B C D E F G H I J K L M N O P Q R S T U V W

H

hasMoreLiterals() - Method in class DLV.Predicate
This method returns true if there are more literals.
hasMoreModels() - Method in class DLV.DlvHandler
Tests If there are more Model object available.
hasMorePredicates() - Method in class DLV.Model
This method returns true if there are more predicates.

A B C D E F G H I J K L M N O P Q R S T U V W