Uses of Class
ai.krr.fol.Clause

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)