|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Clause | |
---|---|
ai.krr.fol |
Uses of Clause in ai.krr.fol |
---|
Methods in ai.krr.fol that return Clause | |
---|---|
protected Clause |
Clause.clone()
This function generates a shallow copy of this Clause. |
Methods in ai.krr.fol that return types with arguments of type Clause | |
---|---|
java.util.Set<Clause> |
Sentence.toClauseForm()
This function converts this Sentence into an equivalent Set of Clauses. |
Methods in ai.krr.fol with parameters of type Clause | |
---|---|
int |
Clause.compareTo(Clause other)
This function compares this Clause to the given Clause. |
boolean |
Clause.equals(Clause other)
This function tests whether this and the given Clause are equal. |
Method parameters in ai.krr.fol with type arguments of type Clause | |
---|---|
protected static java.util.List<Clause> |
HerbrandGenerator.getGroundInstances(java.util.Set<Clause> clauses,
HerbrandGenerator.HerbrandUniverse hu)
|
boolean |
HerbrandGenerator.isInconsistent(java.util.Set<Clause> clauses)
|
Constructor parameters in ai.krr.fol with type arguments of type Clause | |
---|---|
HerbrandGenerator.HerbrandUniverse(java.util.Set<Clause> clauses)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |