Class CEAction

    • Constructor Summary

      Constructors 
      Constructor Description
      CEAction​(CEOperation operation, java.util.Map<ai.libs.jaicore.logic.fol.structure.VariableParam,​ai.libs.jaicore.logic.fol.structure.ConstantParam> grounding)  
    • Constructor Detail

      • CEAction

        public CEAction​(CEOperation operation,
                        java.util.Map<ai.libs.jaicore.logic.fol.structure.VariableParam,​ai.libs.jaicore.logic.fol.structure.ConstantParam> grounding)
    • 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()