CircuitGate (Averest) | Averest

CircuitGate Type

Namespace: Averest.TeachingTools
Assembly: Averest.dll
Parent Module: CircuitGenerators
Base Type: obj
All Interfaces: IEquatable<CircuitGate> , IStructuralEquatable , IComparable<CircuitGate> , IComparable , IStructuralComparable

This type provides basic gates for implementing arithmetic circuits. In particular, we have:

AND(x1,x2) = x1∧x2
XOR(x1,x2) = x1⊕x2
OR(x1,x2) = x1∨x2
HA(x1,x2) = [|x1⊕x2;x1∧x2|]
FA(x1,x2,x3) = [|x1⊕x2⊕x3;x1∧x2∨x3∧(x1⊕x2)|]
PG(g1,p1,g2,p2) = [|p2∧p1;g2∨(p2∧g1)|]
MX(c,x0,x1) = [|(c?x1[0]:x0[0]);...;(c?x1[n]:x0[n]);|]
SW(c,x0,x1) = [|(c?x1[0]:x0[0]);...;(c?x1[n]:x0[n]); (c?x0[0]:x1[0]);...;(c?x0[n]:x1[n])|]

Union cases

Union case	Description
`AND(string, string)` Full Usage: `AND(string, string)` Parameters: Item1 : `string` Item2 : `string`	Item1 : `string` Item2 : `string`
`FA(string, string, string)` Full Usage: `FA(string, string, string)` Parameters: Item1 : `string` Item2 : `string` Item3 : `string`	Item1 : `string` Item2 : `string` Item3 : `string`
`HA(string, string)` Full Usage: `HA(string, string)` Parameters: Item1 : `string` Item2 : `string`	Item1 : `string` Item2 : `string`
`MX(string, string[], string[])` Full Usage: `MX(string, string[], string[])` Parameters: Item1 : `string` Item2 : `string[]` Item3 : `string[]`	Item1 : `string` Item2 : `string[]` Item3 : `string[]`
`NOT string` Full Usage: `NOT string` Parameters: Item : `string`	Item : `string`
`OR(string, string)` Full Usage: `OR(string, string)` Parameters: Item1 : `string` Item2 : `string`	Item1 : `string` Item2 : `string`
`PG(string, string, string, string)` Full Usage: `PG(string, string, string, string)` Parameters: Item1 : `string` Item2 : `string` Item3 : `string` Item4 : `string`	Item1 : `string` Item2 : `string` Item3 : `string` Item4 : `string`
`SW(string, string[], string[])` Full Usage: `SW(string, string[], string[])` Parameters: Item1 : `string` Item2 : `string[]` Item3 : `string[]`	Item1 : `string` Item2 : `string[]` Item3 : `string[]`
`XOR(string, string)` Full Usage: `XOR(string, string)` Parameters: Item1 : `string` Item2 : `string`	Item1 : `string` Item2 : `string`

Instance members

Instance member	Description
`this.IsAND` Full Usage: `this.IsAND` Returns: `bool`	Returns: `bool`
`this.IsFA` Full Usage: `this.IsFA` Returns: `bool`	Returns: `bool`
`this.IsHA` Full Usage: `this.IsHA` Returns: `bool`	Returns: `bool`
`this.IsMX` Full Usage: `this.IsMX` Returns: `bool`	Returns: `bool`
`this.IsNOT` Full Usage: `this.IsNOT` Returns: `bool`	Returns: `bool`
`this.IsOR` Full Usage: `this.IsOR` Returns: `bool`	Returns: `bool`
`this.IsPG` Full Usage: `this.IsPG` Returns: `bool`	Returns: `bool`
`this.IsSW` Full Usage: `this.IsSW` Returns: `bool`	Returns: `bool`
`this.IsXOR` Full Usage: `this.IsXOR` Returns: `bool`	Returns: `bool`