Class ExecutableFormulaSet

  • All Implemented Interfaces:, java.lang.Cloneable, java.lang.Iterable<PlFormula>, java.util.Collection<PlFormula>, java.util.Set<PlFormula>, Executable

    public class ExecutableFormulaSet
    extends java.util.HashSet<PlFormula>
    implements Executable
    This class packs a set of formulas into an executable object.
    Matthias Thimm
    See Also:
    Serialized Form
    • Method Summary

      Modifier and Type Method Description
      boolean isNoOperation()
      Indicates whether this operation can be regarded as no operation at all.
      • Methods inherited from class java.util.HashSet

        add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator
      • Methods inherited from class java.util.AbstractSet

        equals, hashCode, removeAll
      • Methods inherited from class java.util.AbstractCollection

        addAll, containsAll, retainAll, toArray, toArray, toString
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
      • Methods inherited from interface java.util.Collection

        parallelStream, removeIf, stream, toArray
      • Methods inherited from interface java.lang.Iterable

      • Methods inherited from interface java.util.Set

        addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray
    • Constructor Detail

      • ExecutableFormulaSet

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

        public ExecutableFormulaSet​(java.util.Collection<? extends PlFormula> formulas)
        Creates a new set for the given formulas.
        formulas - a collection of arguments.
    • 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.