Class CEOperation

    • Constructor Summary

      Constructors 
      Constructor Description
      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)  
      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)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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()  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • CEOperation

        public 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)
      • CEOperation

        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)
    • Method Detail

      • getAddLists

        public java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,​ai.libs.jaicore.logic.fol.structure.Monom> getAddLists()
      • getDeleteLists

        public java.util.Map<ai.libs.jaicore.logic.fol.structure.CNFFormula,​ai.libs.jaicore.logic.fol.structure.Monom> getDeleteLists()
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class Operation