Z3
Public Member Functions
ContractClass Class Reference
+ Inheritance diagram for ContractClass:

Public Member Functions

 ContractClass (Type t)
 

Detailed Description

Definition at line 23 of file DummyContracts.cs.

Constructor & Destructor Documentation

§ ContractClass()

ContractClass ( Type  t)
inline

Definition at line 25 of file DummyContracts.cs.

25 { }