public class Signature extends Object implements Data, Iterable<Operation>, Serializable
Automaton
,
Serialized FormModifier and Type | Class and Description |
---|---|
static class |
Signature.Type
Enumeration of the different types of implemented signatures.
|
Constructor and Description |
---|
Signature()
Creates a new empty signature.
|
Signature(Signature signature)
Creates a new signature by copying all letters of the signature
signature . |
Modifier and Type | Method and Description |
---|---|
void |
add(Operation letter)
Adds a new letter to this signature
|
boolean |
contains(Operation letter)
Returns
true if and only if letter letter is
contained in this signature. |
boolean |
contains(Signature signature)
Returns
true if and only if the signature signature is
contained in this signature, i.e. every letter of the signature signature
is also an letter of this signature. |
boolean |
equals(Object o) |
Set<Operation> |
getOperations()
Returns the set of letters of this signature
|
Signature.Type |
getType()
Returns the type of the data object.
|
int |
hashCode() |
Iterator<Operation> |
iterator() |
int |
size()
Returns the number of letter of this signature.
|
String |
toString() |
public Signature()
public Signature(Signature signature)
signature
.signature
- the signature to be copied.public void add(Operation letter)
letter
- the letter to be addedpublic Set<Operation> getOperations()
public boolean contains(Signature signature)
true
if and only if the signature signature
is
contained in this signature, i.e. every letter of the signature signature
is also an letter of this signature.signature
- the signature to be checkedtrue
if the signature is contained, false
otherwisepublic boolean contains(Operation letter)
true
if and only if letter letter
is
contained in this signature.letter
- the letter to be checkedtrue
if the letter is contained, false
otherwisepublic int size()
public Signature.Type getType()
Data