CLab# 1.0 API Documentation

BDDSpace.MkVal Method 

Makes a 2-complementary BDD representation of an integer value.

public List<T> MkVal(
   Int32 intVal
);

Parameters

Int32
The integer value.

Return Value

The 2-complementary BDD representation.

See Also

BDDSpace Class | CLab.BDD Namespace