Package net.sf.tweety.agents.dialogues
Class ExecutableFormulaSet
- java.lang.Object
-
- java.util.AbstractCollection<E>
-
- java.util.AbstractSet<E>
-
- java.util.HashSet<PlFormula>
-
- net.sf.tweety.agents.dialogues.ExecutableFormulaSet
-
- All Implemented Interfaces:
java.io.Serializable
,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.- 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(java.util.Collection<? extends PlFormula> formulas)
Creates a new set for the given formulas.
-
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
-
-
-
-
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.- Parameters:
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 interfaceExecutable
- Returns:
- "true" if this operation is a noop.
-
-