Datatypes | |
| typedef Key | Key |
| An unsigned number for the input or output label of a transition between states. | |
| typedef KeyPair | KeyPair |
| A pair of keys representing a transition in a transducer. | |
| typedef KeySet | KeySet |
| A set of keys aka an alphabet of keys. | |
| typedef KeyVector | KeyVector |
| A vector of Keys. | |
| typedef KeyVectorVector | KeyVectorVector |
| A container for KeyVectors. | |
| typedef KeyPairVector | KeyPairVector |
| A vector of KeyPairs. | |
| typedef KeyPairSet | KeyPairSet |
| A set of key pairs aka an alphabet of key pairs. | |
| typedef KeyIterator | KeyIterator |
| Iterator over the keys in a KeySet. | |
| typedef KeyPairIterator | KeyPairIterator |
| Iterator over the set of key pairs in a KeyPairSet. | |
Keys and KeyPairs | |
| const Key | Epsilon = 0 |
| The Key for epsilon is 0. The associated symbol name may be specified by the user. | |
| KeyPair * | define_keypair (Key s1, Key s2) |
| Define a key pair with input key s1 and output key s2. | |
| KeyPair * | define_keypair (Key s) |
| Define an identity key pair with input and output key s. | |
| Key | get_input_key (KeyPair *s) |
| Get the input key of KeyPair s. | |
| Key | get_output_key (KeyPair *s) |
| Get the output key of KeyPair s. | |
Sets aka alphabets of Keys and KeyPairs | |
| KeySet * | create_empty_key_set () |
| Define an empty set of keys. | |
| KeySet * | insert_key (Key s, KeySet *Si) |
| Insert key s into the set of keys Si and return the updated set. | |
| bool | has_key (Key s, KeySet *Si) |
| Whether key s is a member of the set of keys Si. | |
| KeyPairSet * | create_empty_keypair_set () |
| Define an empty set of key pairs. | |
| KeyPairSet * | insert_keypair (KeyPair *p, KeyPairSet *Pi) |
| Insert key pair p into the set of key pairs Pi and return the updated set. | |
| bool | has_keypair (KeyPair *p, KeyPairSet *Pi) |
| Whether key pair p is a member of the set of key pairs Pi. | |
Key and KeyPair Iterators | |
| KeyIterator | begin_sigma_key (KeySet *Si) |
| Beginning of the iterator for key set Si. | |
| KeyIterator | end_sigma_key (KeySet *Si) |
| End of the iterator for key set Si. | |
| size_t | size_sigma_key (KeySet *Si) |
| Size of the iterator for key set Si. | |
| Key | get_sigma_key (KeyIterator si) |
| Get the key pointed by key iterator si. | |
| KeyPairIterator | begin_pi_key (KeyPairSet *Pi) |
| Beginning of the iterator for key pair set Pi. | |
| KeyPairIterator | end_pi_key (KeyPairSet *Pi) |
| End of the iterator for key pair set Pi. | |
| size_t | size_pi_key (KeyPairSet *Pi) |
| Size of the iterator for key pair set Pi. | |
| KeyPair * | get_pi_keypair (KeyPairIterator pi) |
| Get the key pair pointed by key pair iterator pi. | |
An unsigned number for the input or output label of a transition between states.
Definition at line 15 of file key-layer.h.
| typedef KeyIterator KeyIterator |
A pair of keys representing a transition in a transducer.
Definition at line 18 of file key-layer.h.
| typedef KeyPairIterator KeyPairIterator |
| typedef KeyPairSet KeyPairSet |
| typedef KeyPairVector KeyPairVector |
| typedef KeyVectorVector KeyVectorVector |
| KeyPairIterator begin_pi_key | ( | KeyPairSet * | Pi | ) |
Beginning of the iterator for key pair set Pi.
| KeyIterator begin_sigma_key | ( | KeySet * | Si | ) |
Beginning of the iterator for key set Si.
| KeySet* create_empty_key_set | ( | ) |
Define an empty set of keys.
| KeyPairSet* create_empty_keypair_set | ( | ) |
Define an empty set of key pairs.
| KeyPairIterator end_pi_key | ( | KeyPairSet * | Pi | ) |
End of the iterator for key pair set Pi.
| KeyIterator end_sigma_key | ( | KeySet * | Si | ) |
End of the iterator for key set Si.
| KeyPair* get_pi_keypair | ( | KeyPairIterator | pi | ) |
Get the key pair pointed by key pair iterator pi.
| Key get_sigma_key | ( | KeyIterator | si | ) |
Get the key pointed by key iterator si.
| bool has_keypair | ( | KeyPair * | p, | |
| KeyPairSet * | Pi | |||
| ) |
Whether key pair p is a member of the set of key pairs Pi.
Insert key s into the set of keys Si and return the updated set.
| KeyPairSet* insert_keypair | ( | KeyPair * | p, | |
| KeyPairSet * | Pi | |||
| ) |
Insert key pair p into the set of key pairs Pi and return the updated set.
| size_t size_pi_key | ( | KeyPairSet * | Pi | ) |
Size of the iterator for key pair set Pi.
| size_t size_sigma_key | ( | KeySet * | Si | ) |
Size of the iterator for key set Si.
The Key for epsilon is 0. The associated symbol name may be specified by the user.
Definition at line 52 of file key-layer.h.
1.5.8