|
TaPAS
0.2
|
Structure gathering the methods applied to a Marked Automaton Object. More...
#include <sataf.h>
Data Fields | |
| const char * | type |
| A constant string of characters indicating the type of the MAO. More... | |
| size_t(* | size )(sataf_mao *self) |
| Returnsthe actual size of the object self. More... | |
| void(* | destroy )(sataf_mao *self) |
| Free ressources allocated to this MAO. More... | |
| int(* | no_cache )(sataf_mao *self) |
| Caching this MAO is not relevant. More... | |
| void(* | is_root_of_scc )(sataf_mao *self, sataf_sa *sa, int q0) |
| Notify the MAO that it has been identified as the root of a SCC. More... | |
| sataf_msa *(* | simplify )(sataf_mao *self) |
| Direct computation of the equivalent MSA. More... | |
| uint32_t(* | get_alphabet_size )(sataf_mao *self) |
| Size of the reference alphabet. More... | |
| char *(* | to_string )(sataf_mao *self) |
| Human readable version of self. More... | |
| sataf_mao *(* | succ )(sataf_mao *self, uint32_t a) |
| Compute the successor MAO of self by the letter a. More... | |
| int(* | is_final )(sataf_mao *self) |
| Indicates if self is accepting. More... | |
| int(* | equals )(sataf_mao *self, sataf_mao *other) |
| Check if two instance are equal. More... | |
| unsigned int(* | hashcode )(sataf_mao *self) |
| Hashcode for the MAO self. More... | |
| void(* | to_dot )(ccl_log_type log, sataf_mao *self, const char **alphabet, const char *graph_name, const char *graph_type) |
| Display the automaton in DOT file format. More... | |
Structure gathering the methods applied to a Marked Automaton Object.
| void(* sataf_mao_methods_st::destroy)(sataf_mao *self) |
Free ressources allocated to this MAO.
If this method is implemented it is called when the reference counter of self falls to zero.
Check if two instance are equal.
This function returns a non-null value iff the language recognized from self and the one recognized from other are equal.
| uint32_t(* sataf_mao_methods_st::get_alphabet_size)(sataf_mao *self) |
| unsigned int(* sataf_mao_methods_st::hashcode)(sataf_mao *self) |
| int(* sataf_mao_methods_st::is_final)(sataf_mao *self) |
| int(* sataf_mao_methods_st::no_cache)(sataf_mao *self) |
Direct computation of the equivalent MSA.
This function is used by the sharing algorithm to check if it is possible to obtain directly the MSA equivalent to self without using the canonicalization algorithm. This is particularly useful when self is known to be equal to the empty or full set.
| size_t(* sataf_mao_methods_st::size)(sataf_mao *self) |
Returnsthe actual size of the object self.
This method is used to store MAOs by pages (see ccl-pool.h).
Compute the successor MAO of self by the letter a.
This function returns the MAO corresponding to the underlying automaton of self but marked by the successor by a of the state marking self.
| void(* sataf_mao_methods_st::to_dot)(ccl_log_type log, sataf_mao *self, const char **alphabet, const char *graph_name, const char *graph_type) |
| char*(* sataf_mao_methods_st::to_string)(sataf_mao *self) |
| const char* sataf_mao_methods_st::type |
A constant string of characters indicating the type of the MAO.
This field is used, in particular, to check if two MAOs are equal.
1.8.5