MailBox.Factories Module

This module defines the following types:

MailBoxFactory Type

The MailBoxFactory provides a factory to construct different mailboxes.


Modifiers Return type Method name Method parameters Description
static IMailBox MailBox string, ILogicEngine Construct a MailBox. A mailbox kind and a logic engine to check for proof correctness must be provided.


Automatically generated on 6/10/2011 2:28:40 PM

Last edited Jun 10, 2011 at 10:36 PM by gdecaso, version 2


No comments yet.