public class TFDRestProblem
extends java.lang.Object
implements java.io.Serializable
| Constructor and Description |
|---|
TFDRestProblem(ai.libs.jaicore.logic.fol.structure.Monom state,
java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> remainingTasks) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> |
getRemainingTasks() |
ai.libs.jaicore.logic.fol.structure.Monom |
getState() |
int |
hashCode() |
java.lang.String |
toString() |
public TFDRestProblem(ai.libs.jaicore.logic.fol.structure.Monom state,
java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> remainingTasks)
public ai.libs.jaicore.logic.fol.structure.Monom getState()
public java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> getRemainingTasks()
public java.lang.String toString()
toString in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Object