BinBoolOps (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.

Instance member	Description
`this.IsCONJ` Full Usage: `this.IsCONJ` Returns: `bool`	Returns: `bool`
`this.IsDISJ` Full Usage: `this.IsDISJ` Returns: `bool`	Returns: `bool`
`this.IsEQUV` Full Usage: `this.IsEQUV` Returns: `bool`	Returns: `bool`
`this.IsIMPL` Full Usage: `this.IsIMPL` Returns: `bool`	Returns: `bool`