Class ExecutableFormulaSet
- All Implemented Interfaces:
Serializable
,Cloneable
,Iterable<PlFormula>
,Collection<PlFormula>
,Set<PlFormula>
,Executable
This class packs a set of formulas into an executable object.
- Author:
- Matthias Thimm
- See Also:
-
Field Summary
Fields inherited from interface org.tweetyproject.agents.Executable
NO_OPERATION
-
Constructor Summary
ConstructorDescriptionCreates a new empty set.ExecutableFormulaSet
(Collection<? extends PlFormula> formulas) Creates a new set for the given formulas. -
Method Summary
Modifier and TypeMethodDescriptionboolean
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, newHashSet, remove, size, spliterator, toArray, toArray
Methods inherited from class java.util.AbstractSet
equals, hashCode, removeAll
Methods inherited from class java.util.AbstractCollection
addAll, containsAll, retainAll, toString
Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArray
-
Constructor Details
-
ExecutableFormulaSet
public ExecutableFormulaSet()Creates a new empty set. -
ExecutableFormulaSet
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 interfaceExecutable
- Returns:
- "true" if this operation is a noop.
-