Uses of Class
ai.krr.propositions.IntEncodedClause

Packages that use IntEncodedClause

ai.krr.propositions

Uses of IntEncodedClause in ai.krr.propositions

Subclasses of IntEncodedClause in ai.krr.propositions

protected class

RTPSolverIE.DerivedClause

Fields in ai.krr.propositions declared as IntEncodedClause

protected IntEncodedClause	RTPSolverIE.DerivedClause.parent1
protected IntEncodedClause	RTPSolverIE.DerivedClause.parent2

Methods in ai.krr.propositions that return IntEncodedClause

protected IntEncodedClause	IntEncodedClause.clone() This function generates a shallow copy of this Clause.
protected static IntEncodedClause	RTPSolverIE.getNonTautologyResolvent(IntEncodedClause clause1, IntEncodedClause clause2)
protected IntEncodedClause	IntEncodedClause.remove(int lit) This function returns a shallow copy of this Clause in which the given Literal has been removed.
IntEncodedClause	IntEncodedClause.LiteralSet.removeComplements(IntEncodedClause clause)

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

java.util.List<IntEncodedClause>	RTPSolverIE.getRefutation(java.util.List<Clause> clauses)
java.util.Set<IntEncodedClause>	RTPSolverIE.getRefutation(java.util.List<IntEncodedClause> clauses, int maxPropInt)

Methods in ai.krr.propositions with parameters of type IntEncodedClause

boolean	IntEncodedClause.IntEncodedClauseList.add(IntEncodedClause iecl)
int	IntEncodedClause.compareTo(IntEncodedClause other) This function compares this Clause to the given Clause.
boolean	IntEncodedClause.LiteralSet.containedIn(IntEncodedClause clause)
boolean	IntEncodedClause.equals(IntEncodedClause other) This function tests whether this and the given Clause are equal.
protected static IntEncodedClause	RTPSolverIE.getNonTautologyResolvent(IntEncodedClause clause1, IntEncodedClause clause2)
IntEncodedClause	IntEncodedClause.LiteralSet.removeComplements(IntEncodedClause clause)

Method parameters in ai.krr.propositions with type arguments of type IntEncodedClause

java.util.Map<java.lang.Integer,BooleanSymbol>	RTPSolverIE.getModel(java.util.List<IntEncodedClause> clauses, int maxPropInt) This function attempts to find a model for the given Set of Clauses.
java.util.Map<java.lang.Integer,BooleanSymbol>	DPSolverIE.getModel(java.util.List<IntEncodedClause> clauses, int maxPropInt) This function attempts to find a model for the given Set of Clauses.
java.util.Set<IntEncodedClause>	RTPSolverIE.getRefutation(java.util.List<IntEncodedClause> clauses, int maxPropInt)

Constructors in ai.krr.propositions with parameters of type IntEncodedClause

RTPSolverIE.DerivedClause(IntEncodedClause parent1, IntEncodedClause parent2, IntEncodedClause resolvent)