Averest

BinBoolOps Type

Namespace: Averest.Analysis
Assembly: Averest.dll
Parent Module: BDD
Base Type: obj
All Interfaces: IEquatable<BinBoolOps> , IStructuralEquatable , IComparable<BinBoolOps> , IComparable , IStructuralComparable

Allowed boolean operations for the Apply operation. Thus, "Apply CONJ" computes the conjunction of two BDDs, etc.

Union cases

Union case Description

CONJ

Full Usage: CONJ

DISJ

Full Usage: DISJ

EQUV

Full Usage: EQUV

IMPL

Full Usage: IMPL