Uses of Class
ai.krr.propositions.Clause

Packages that use Clause

ai.krr.fol
ai.krr.propositions

Uses of Clause in ai.krr.fol

Methods in ai.krr.fol that return types with arguments of type Clause

protected static java.util.List<Clause>

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

Uses of Clause in ai.krr.propositions

Methods in ai.krr.propositions that return Clause

protected Clause	Clause.clone() This function generates a shallow copy of this Clause.
protected Clause	Clause.remove(Literal lit) This function returns a Clause in which the given Literal has been removed.
protected Clause	Clause.removeAll(java.util.Set<Literal> lits) This function returns a Clause in which the given Literals have been removed.

Methods in ai.krr.propositions that return types with arguments of type Clause

java.util.List<Clause>

Sentence.toClauseForm() This function converts this Sentence into an equivalent set of Clauses.

Methods in ai.krr.propositions 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.propositions with type arguments of type Clause

Interpretation	RTPSolverIE.getModel(java.util.List<Clause> clauses) This function attempts to find a model for the given Set of Clauses.
Interpretation	DPSolverIE.getModel(java.util.List<Clause> clauses) This function attempts to find a model for the given Set of Clauses.
java.util.List<IntEncodedClause>	RTPSolverIE.getRefutation(java.util.List<Clause> clauses)