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

Last updated on 2009/01/30 15h:04