module type DOMDEF = sig end
Contains the model which defines the essential
characteristics of each module flavor. Each flavor is
represented below by an instance of a module of this type.
type interfid
Contains the enumerated type identifying all the
interfaces of the domain.
val input_defaults : interfid -> Protein.Abstract.conn_value
Gives the defaults values attached to each expressor
interface. Will raise a Failure if an acceptor interface
is passed as parameter. FIXME: Should be another
exception...
val get_interf_character : interfid -> Protein.Abstract.interf_character
Returns the character of each interface.
type initstate
Enumerates the possible initial states of the domain.
type state
Enumerates all the possible states of the domain.
val initmap : initstate -> state
Maps initial states to states. Used to initialize a
domain.
type config
Defines the parameters needed to configure a complete
domain of the given flavor.
type cons = initstate * config
Synthesis of the initial state and the configuration
parameters of a domain. Used as a constructor parameter.
val num_lbprojs : int
The fixed number of ligand bind projections this flavor
of domain exports.
val num_sbprojs : int
The fixed number of structural binding projections this
flavor of domain exports.