TransferFunctionLanguage
Implemented types of transfer functions
Attributes
- Graph
-
- Supertypes
-
class Enumerationtrait Serializableclass Objecttrait Matchableclass Any
- Self type
Members list
Type members
Inherited classlikes
A class implementing the scala.Enumeration.Value type. This class can be overridden to change the enumeration's naming and integer identification behaviour.
A class implementing the scala.Enumeration.Value type. This class can be overridden to change the enumeration's naming and integer identification behaviour.
Attributes
- Inherited from:
- Enumeration
- Supertypes
An ordering by id for values of this set.
A class for sets of values. Iterating through this set will yield values in increasing order of their ids.
A class for sets of values. Iterating through this set will yield values in increasing order of their ids.
Value parameters
- nnIds
-
The set of ids of values (adjusted so that the lowest value does not fall below zero), organized as a
BitSet.
Attributes
- Inherited from:
- Enumeration
- Supertypes
-
trait Serializabletrait Equalstrait Pureclass Objecttrait Matchableclass AnyShow all
A factory object for value sets.
Inherited and Abstract classlikes
The type of the enumerated values.
Value members
Inherited methods
Creates a fresh value, part of this enumeration, called name and identified by the integer i.
Creates a fresh value, part of this enumeration, called name and identified by the integer i.
Value parameters
- i
-
An integer that identifies this value at run-time. It must be unique amongst all values of the enumeration.
- name
-
A human-readable name for that value.
Attributes
- Returns
-
Fresh value with the provided identifier
iand namename. - Inherited from:
- Enumeration
Creates a fresh value, part of this enumeration, called name.
Creates a fresh value, part of this enumeration, called name.
Value parameters
- name
-
A human-readable name for that value.
Attributes
- Returns
-
Fresh value called
name. - Inherited from:
- Enumeration
Creates a fresh value, part of this enumeration, identified by the integer i.
Creates a fresh value, part of this enumeration, identified by the integer i.
Value parameters
- i
-
An integer that identifies this value at run-time. It must be unique amongst all values of the enumeration.
Attributes
- Returns
-
Fresh value identified by
i. - Inherited from:
- Enumeration
Creates a fresh value, part of this enumeration.
Creates a fresh value, part of this enumeration.
Attributes
- Inherited from:
- Enumeration
The value of this enumeration with given id x.
The value of this enumeration with given id x.
Attributes
- Inherited from:
- Enumeration
The one higher than the highest integer amongst those used to identify values in this enumeration.
The one higher than the highest integer amongst those used to identify values in this enumeration.
Attributes
- Inherited from:
- Enumeration
Attributes
- Inherited from:
- Enumeration
The name of this enumeration.
The name of this enumeration.
Attributes
- Definition Classes
-
Enumeration -> Any
- Inherited from:
- Enumeration
The values of this enumeration as a set.
The values of this enumeration as a set.
Attributes
- Inherited from:
- Enumeration
Returns a Value from this Enumeration whose name matches the argument s. The names are determined automatically via reflection.
Returns a Value from this Enumeration whose name matches the argument s. The names are determined automatically via reflection.
Value parameters
- s
-
an
Enumerationname
Attributes
- Returns
-
the
Valueof thisEnumerationif its name matchess - Throws
-
NoSuchElementException
if no
Valuewith a matching name is in thisEnumeration - Inherited from:
- Enumeration
Inherited fields
The integer to use to identify the next created value.
The integer to use to identify the next created value.
Attributes
- Inherited from:
- Enumeration
The string to use to name the next created value.
The string to use to name the next created value.
Attributes
- Inherited from:
- Enumeration