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

Public Member Functions

 ContractVerification (bool b)
 

Detailed Description

Definition at line 38 of file DummyContracts.cs.

Constructor & Destructor Documentation

§ ContractVerification()

ContractVerification ( bool  b)
inline

Definition at line 40 of file DummyContracts.cs.

40 { }