BddCallExpr (Averest) | Averest

BddCallExpr Type

Namespace: Averest.TeachingTools
Assembly: Averest.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`

Instance members

Instance member	Description
`this.IsBddArg` Full Usage: `this.IsBddArg` Returns: `bool`	Returns: `bool`
`this.IsBddCallApply` Full Usage: `this.IsBddCallApply` Returns: `bool`	Returns: `bool`
`this.IsBddCallNode` Full Usage: `this.IsBddCallNode` Returns: `bool`	Returns: `bool`