public class ClauseDatabase extends HashMap<String,alice.tuprolog.FamilyClausesList> implements Iterable<ClauseInfo>
AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>
Constructor and Description |
---|
ClauseDatabase() |
Modifier and Type | Method and Description |
---|---|
Iterator<ClauseInfo> |
iterator() |
clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, get, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values
equals, hashCode, toString
finalize, getClass, notify, notifyAll, wait, wait, wait
forEach, spliterator
public Iterator<ClauseInfo> iterator()
iterator
in interface Iterable<ClauseInfo>