Class Operation

  • All Implemented Interfaces:
    java.io.Serializable
    Direct Known Subclasses:
    CEOperation, StripsOperation

    public class Operation
    extends java.lang.Object
    implements java.io.Serializable
    See Also:
    Serialized Form
    • Constructor Summary

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

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

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

      • Operation

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

      • getName

        public java.lang.String getName()
      • getPrecondition

        public ai.libs.jaicore.logic.fol.structure.Monom getPrecondition()
      • getParams

        public java.util.List<ai.libs.jaicore.logic.fol.structure.VariableParam> getParams()
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

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

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object