Class ResolutionPair
- java.lang.Object
-
- ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair
-
public class ResolutionPair extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description 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 classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-