ai.krr.fol
Class HerbrandGenerator.HerbrandUniverse

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractSet<E>
          java.util.HashSet<Term>
              ai.krr.fol.HerbrandGenerator.HerbrandUniverse

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Term>, java.util.Collection<Term>, java.util.Set<Term>

Enclosing class:

HerbrandGenerator

static class HerbrandGenerator.HerbrandUniverse
extends java.util.HashSet<Term>

Field Summary

(package private) java.util.Map<Symbol,java.lang.Integer>

functions

Constructor Summary

HerbrandGenerator.HerbrandUniverse(java.util.Set<Clause> clauses)

Method Summary

void

expand()

Methods inherited from class java.util.HashSet

add, clear, clone, contains, isEmpty, iterator, remove, size

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Field Detail

functions

java.util.Map<Symbol,java.lang.Integer> functions

Constructor Detail

HerbrandGenerator.HerbrandUniverse

public HerbrandGenerator.HerbrandUniverse(java.util.Set<Clause> clauses)

Method Detail

expand

public void expand()