ai.libs.jaicore.logic.fol.algorithms.resolution

Class ResolutionPair

java.lang.Object

ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair

public class ResolutionPair
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ResolutionPair(Clause c1, Clause c2, Literal l1, Literal l2)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
Clause	getC1()
Clause	getC2()
Literal	getL1()
Literal	getL2()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ResolutionPair

public ResolutionPair(Clause c1,
                      Clause c2,
                      Literal l1,
                      Literal l2)

Method Detail

getC1

public Clause getC1()

getC2

public Clause getC2()

getL1

public Literal getL1()

getL2

public Literal getL2()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object