GenericTrans_ptr
GenericTrans_create(
const TransType trans_type
)
- None of given arguments will become owned by self.
You should destroy cl_options by yourself.
- See Also
Object_destroy
- Defined in
GenericTrans.c
TransType
GenericTrans_get_type(
const GenericTrans_ptr self
)
- Returns the type of the transition relation structure passed as
the arguments.
- Defined in
GenericTrans.c
TransType
TransType_from_string(
const char* name
)
- Converts the given transition type from string "name" to
TransType object. The possible values of name can be "Monolithic",
"Threshold", or "Iwls95CP".
- Side Effects None.
- See Also
TransType_to_string
- Defined in
GenericTrans.c
const char*
TransType_to_string(
const TransType self
)
- It takes TransType of self and returns a string
specifying the type of the transition relation. Returned string is statically
allocated and must not be freed.
- See Also
TransType_from_string
- Defined in
GenericTrans.c