Calculemus

bddnode Type

Namespace: Calculemus
Assembly: Calculemus.dll
Parent Module: Bdd
Abbreviation For: prop * int * int
Base Type: obj
All Interfaces: IStructuralComparable , IStructuralEquatable , IComparable , ITuple

The type of binary decision diagram (bdd) node.

It is composed by a propositional variable, a left node and a right node.

Instance members

Instance member Description

this.Item1

Full Usage: this.Item1

Returns: prop
Returns: prop

this.Item2

Full Usage: this.Item2

Returns: int
Returns: int

this.Item3

Full Usage: this.Item3

Returns: int
Returns: int