|
||||||||||
| PREV NEXT | FRAMES NO FRAMES All Classes | |||||||||
| Packages that use HerbrandGenerator.HerbrandUniverse | |
|---|---|
| ai.krr.fol | |
| Uses of HerbrandGenerator.HerbrandUniverse in ai.krr.fol |
|---|
| Methods in ai.krr.fol with parameters of type HerbrandGenerator.HerbrandUniverse | |
|---|---|
protected static java.util.List<Clause> |
HerbrandGenerator.getGroundInstances(java.util.Set<Clause> clauses,
HerbrandGenerator.HerbrandUniverse hu)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES All Classes | |||||||||