CLab# 1.0 API Documentation

BDDSpace.ShiftLeft Method 

Shifts each bit "shiftAmount" positions to the left.

public List<T> ShiftLeft(
   List<T> x,
   Int32 shiftAmount
);

Parameters

List<T>
The 2-complementary representation of a BDD.
Int32
Number of positions "x" should be shifted left.

Return Value

A 2-complementary BDD representation.

See Also

BDDSpace Class | CLab.BDD Namespace