CLab# 1.0 API Documentation

BDDSpace.Equal Method

Calculates a BDD representing the equal operation on two 2-complementary BDD representations.

public Bdd Equal(
List<T> x,
List<T> y
);

Parameters

List<T>: The left 2-complementary BDD representation.
List<T>: The right 2-complementary BDD representation.

Return Value

BDD representing the result.

See Also

BDDSpace Class | CLab.BDD Namespace