public class CEOperation extends Operation
| Constructor and Description |
|---|
CEOperation(java.lang.String name,
java.util.List<ai.libs.jaicore.logic.fol.structure.VariableParam> params,
ai.libs.jaicore.logic.fol.structure.Monom precondition,
java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,ai.libs.jaicore.logic.fol.structure.Monom> addLists,
java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,ai.libs.jaicore.logic.fol.structure.Monom> deleteLists) |
CEOperation(java.lang.String name,
java.lang.String params,
ai.libs.jaicore.logic.fol.structure.Monom precondition,
java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,ai.libs.jaicore.logic.fol.structure.Monom> addLists,
java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,ai.libs.jaicore.logic.fol.structure.Monom> deleteLists) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,ai.libs.jaicore.logic.fol.structure.Monom> |
getAddLists() |
java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,ai.libs.jaicore.logic.fol.structure.Monom> |
getDeleteLists() |
int |
hashCode() |
getName, getParams, getPrecondition, toStringpublic CEOperation(java.lang.String name,
java.lang.String params,
ai.libs.jaicore.logic.fol.structure.Monom precondition,
java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,ai.libs.jaicore.logic.fol.structure.Monom> addLists,
java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,ai.libs.jaicore.logic.fol.structure.Monom> deleteLists)
public CEOperation(java.lang.String name,
java.util.List<ai.libs.jaicore.logic.fol.structure.VariableParam> params,
ai.libs.jaicore.logic.fol.structure.Monom precondition,
java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,ai.libs.jaicore.logic.fol.structure.Monom> addLists,
java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,ai.libs.jaicore.logic.fol.structure.Monom> deleteLists)