ai.krr.propositions
Class RTPSolverIE.DerivedClause

java.lang.Object
  ai.krr.propositions.IntEncodedClause
      ai.krr.propositions.RTPSolverIE.DerivedClause

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Comparable<IntEncodedClause>

Enclosing class:

RTPSolverIE

protected class RTPSolverIE.DerivedClause
extends IntEncodedClause

Nested Class Summary

Nested classes/interfaces inherited from class ai.krr.propositions.IntEncodedClause

IntEncodedClause.CnfIntEncodedClauseListAdaptor, IntEncodedClause.IntEncodedClauseList, IntEncodedClause.LiteralSet

Field Summary

protected IntEncodedClause	parent1
protected IntEncodedClause	parent2

Fields inherited from class ai.krr.propositions.IntEncodedClause

hValue, literals

Constructor Summary

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

Method Summary

Methods inherited from class ai.krr.propositions.IntEncodedClause

clone, compareTo, contains, equals, equals, getLiterals, getPropositions, hashCode, isTautology, remove, size, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

parent1

protected IntEncodedClause parent1

parent2

protected IntEncodedClause parent2

Constructor Detail

RTPSolverIE.DerivedClause

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