Averest

ShannonGraph Type

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

Shannon graphs are unreduced and unordered binary decision diagrams. Additionally, we add negations to allow a linear representation of equivalences.

Union cases

Union case Description

LeafFalse

Full Usage: LeafFalse

LeafTrue

Full Usage: LeafTrue

Item1 : AtomIndex
Item2 : ShannonGraph
Item3 : ShannonGraph

NodeNeg ShannonGraph

Full Usage: NodeNeg ShannonGraph

Parameters:

Item : ShannonGraph