CLab# 1.0 API Documentation

BDDSpace.Add Method

Calculates the result of the Add operation between two 2-complementary BDD representations.

public List<T> Add(
List<T> x,
List<T> y
);

Parameters

List<T>: A 2-complementary BDD representation.
List<T>: Another 2-complementary BDD representatino.

Return Value

A 2-complementary BDD representation, representing the result.

See Also

BDDSpace Class | CLab.BDD Namespace