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
ConstructorsConstructorDescriptionCreates a new empty set.ExecutableFormulaSet(Collection<? extends PlFormula> formulas) Creates a new set for the given formulas. -
Method Summary
Modifier and TypeMethodDescriptionbooleanIndicates 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, toArrayMethods inherited from class java.util.AbstractSet
equals, hashCode, removeAllMethods inherited from class java.util.AbstractCollection
addAll, containsAll, retainAll, toStringMethods 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:ExecutableIndicates whether this operation can be regarded as no operation at all.- Specified by:
isNoOperationin interfaceExecutable- Returns:
- "true" if this operation is a noop.
-