public class DnfImpl extends HashSet<ClauseImpl> implements Dnf<ClauseImpl>
| Constructor and Description |
|---|
DnfImpl() |
add, clear, clone, contains, isEmpty, iterator, remove, sizeequals, hashCode, removeAlladdAll, containsAll, retainAll, toArray, toArray, toStringCopyright © 2015. All rights reserved.