Class ExecutableFormulaSet

java.lang.Object
java.util.AbstractCollection<E>
java.util.AbstractSet<E>
java.util.HashSet<PlFormula>
org.tweetyproject.agents.dialogues.ExecutableFormulaSet
All Implemented Interfaces:
Serializable, Cloneable, Iterable<PlFormula>, Collection<PlFormula>, Set<PlFormula>, Executable

public class ExecutableFormulaSet extends HashSet<PlFormula> implements Executable
This class packs a set of formulas into an executable object.
Author:
Matthias Thimm
See Also:
  • Constructor Details

    • ExecutableFormulaSet

      public ExecutableFormulaSet()
      Creates a new empty set.
    • ExecutableFormulaSet

      public ExecutableFormulaSet(Collection<? extends PlFormula> formulas)
      Creates a new set for the given formulas.
      Parameters:
      formulas - a collection of arguments.
  • Method Details

    • 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
      Returns:
      "true" if this operation is a noop.