ExecutableFormulaSet (Tweety (Dialogue Systems Library) 1.15 API)

java.lang.Object
- java.util.AbstractCollection<E>
- - java.util.AbstractSet<E>
  - - java.util.HashSet<net.sf.tweety.logics.pl.syntax.PlFormula>
    - - net.sf.tweety.agents.dialogues.ExecutableFormulaSet

All Implemented Interfaces:

Serializable, Cloneable, Iterable<net.sf.tweety.logics.pl.syntax.PlFormula>, Collection<net.sf.tweety.logics.pl.syntax.PlFormula>, Set<net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.agents.Executable
```
public class ExecutableFormulaSet
extends HashSet<net.sf.tweety.logics.pl.syntax.PlFormula>
implements net.sf.tweety.agents.Executable
```
This class packs a set of formulas into an executable object.

Author:

Matthias Thimm

See Also:

Serialized Form

Field Summary
- Fields inherited from interface net.sf.tweety.agents.Executable
  NO_OPERATION

Constructor Summary

Constructors
Constructor	Description
`ExecutableFormulaSet()`	Creates a new empty set.
`ExecutableFormulaSet(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> formulas)`	Creates a new set for the given formulas.

Method Summary

Modifier and Type Method Description

boolean isNoOperation()
- 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
  finalize, getClass, notify, notifyAll, wait, wait, wait
- Methods inherited from interface java.util.Collection
  parallelStream, removeIf, stream, toArray
- Methods inherited from interface java.lang.Iterable
  forEach
- 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(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> formulas)
```
    Creates a new set for the given formulas.
    
    Parameters:
    
    formulas - a collection of arguments.
- Method Detail
  - isNoOperation
```
public boolean isNoOperation()
```
    Specified by:
    
    isNoOperation in interface net.sf.tweety.agents.Executable