CLab# 1.0 API Documentation

BDDSpace.Abs Method 

Calculates the absolute value of a 2-complementary BDD representation.

public List<T> Abs(
   List<T> x
);

Parameters

List<T>
The 2-complementary BDD representation.

Return Value

A 2-complementary BDD representation, representing the result.

See Also

BDDSpace Class | CLab.BDD Namespace