net.sf.tweety.agents.dialogues

Class ExecutableFormulaSet

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<PropositionalFormula>

net.sf.tweety.agents.dialogues.ExecutableFormulaSet

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<PropositionalFormula>, java.util.Collection<PropositionalFormula>, java.util.Set<PropositionalFormula>, Executable

public class ExecutableFormulaSet
extends java.util.HashSet<PropositionalFormula>
implements Executable

This class packs a set of formulas into an executable object.

Author:

Matthias Thimm

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID Fpr serialization.

Fields inherited from interface net.sf.tweety.agents.Executable

NO_OPERATION

Constructor Summary

Constructors

Constructor and Description
ExecutableFormulaSet() Creates a new empty set.
ExecutableFormulaSet(java.util.Collection<? extends PropositionalFormula> formulas) Creates a new set for the given formulas.

Method Summary

Modifier and Type	Method and 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

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

serialVersionUID

private static final long serialVersionUID

Fpr serialization.

See Also:

Constant Field Values

Constructor Detail

ExecutableFormulaSet

public ExecutableFormulaSet()

Creates a new empty set.

ExecutableFormulaSet

public ExecutableFormulaSet(java.util.Collection<? extends PropositionalFormula> 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 interface Executable

Returns:

"true" if this operation is a noop.