Class ExecutableDungTheory

    • Constructor Detail

      • ExecutableDungTheory

        public ExecutableDungTheory()
        Creates a new empty theory.
      • ExecutableDungTheory

        public ExecutableDungTheory​(DungTheory theory)
        Creates a new dung theory for the given Dung theory.
        theory - a Dung theory.
    • Method Detail

      • isNoOperation

        public boolean isNoOperation()
        Description copied from interface: Executable
        Indicates whether this operation can be regarded as no operation at all.
        Specified by:
        isNoOperation in interface Executable
        "true" if this operation is a noop.