public class Operation
extends java.lang.Object
implements java.io.Serializable
| Constructor and Description |
|---|
Operation(java.lang.String name,
java.util.List<ai.libs.jaicore.logic.fol.structure.VariableParam> params,
ai.libs.jaicore.logic.fol.structure.Monom precondition) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getName() |
java.util.List<ai.libs.jaicore.logic.fol.structure.VariableParam> |
getParams() |
ai.libs.jaicore.logic.fol.structure.Monom |
getPrecondition() |
int |
hashCode() |
java.lang.String |
toString() |
public Operation(java.lang.String name,
java.util.List<ai.libs.jaicore.logic.fol.structure.VariableParam> params,
ai.libs.jaicore.logic.fol.structure.Monom precondition)
public java.lang.String getName()
public ai.libs.jaicore.logic.fol.structure.Monom getPrecondition()
public java.util.List<ai.libs.jaicore.logic.fol.structure.VariableParam> getParams()
public int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object