BddCallExpr (Averest)

BddCallExpr Type

Namespace: TeachingTools
Assembly: TeachingToolsLib.dll
Parent Module: PropLogic
Base Type: obj
All Interfaces: IEquatable<BddCallExpr> , IStructuralEquatable , IComparable<BddCallExpr> , IComparable , IStructuralComparable

BddCallExpr is used by function MkBDDCallTable and abbreviates calls of a BDD function. There are three kinds of BddCallExpr:

BddArg(bddAdr) is simply an address of a Bdd as argument
BddCallApply(fName,cL,y) is a call of BDD algorithm fName with arguments cL and result y
BddCallNode(x,c1,c0,y) represents two calls c1 and c0 embedded in a BDD node with root x which yields then BDD node y.

Union cases

Union case	Description
`BddArg BddAdr` Full Usage: `BddArg BddAdr` Parameters: Item : `BddAdr`	Item : `BddAdr`
`BddCallApply(string, BddCallExpr[], BddAdr)` Full Usage: `BddCallApply(string, BddCallExpr[], BddAdr)` Parameters: Item1 : `string` Item2 : `BddCallExpr[]` Item3 : `BddAdr`	Item1 : `string` Item2 : `BddCallExpr[]` Item3 : `BddAdr`
`BddCallNode BoolExpr * BddCallExpr * BddCallExpr * BddAdr` Full Usage: `BddCallNode BoolExpr * BddCallExpr * BddCallExpr * BddAdr` Parameters: Item : `BoolExpr * BddCallExpr * BddCallExpr * BddAdr`	Item : `BoolExpr * BddCallExpr * BddCallExpr * BddAdr`