CLab# 1.0 API Documentation

Bval Constructor 

Initializes a new instance of the "Bval" class.

public Bval(
   List<T> bddList,
   Bdd defcon
);

Parameters

List<T>
The list of BDDs
Bdd
The default configuration.

See Also

Bval Class | CLab.BDD Namespace