CLab# 1.0 API Documentation

ClabBDD.Space Property

Gets the "BDDSpace" of the problem.

public  Space {get;}

See Also

ClabBDD Class | CLab.BDD Namespace