member Run : 
        circuit : FSharpOption<Circuit> * 
        dumpAll : FSharpOption<bool> * 
        gaussian : FSharpOption<bool> -> unit 

Parameters

circuit

Type: Microsoft.FSharp.CoreFSharpOptionCircuit
An optional different circuit to run. This allows the tableau to be reused for different circuits. The default is to used the circuit the tableau was created with.

dumpAll

Type: Microsoft.FSharp.CoreFSharpOptionBoolean
An option indicating that the tableau state should be written to the log after each gate application. The default is false, indicating not to log.

gaussian

Type: Microsoft.FSharp.CoreFSharpOptionBoolean
An option indicating that the tableau state should be simplified using Gaussian elimination before being logged. This is ignored if dumpall is false. The default is false, indicating not to perform Gaussian elimination.

Reference