Variables (B2R2)

Variables Type

Represents a collection of variables used in the evaluation state.

Constructor Description

Constructor	Description
`Variables()` Full Usage: `Variables()` Returns: `Variables`	Returns: `Variables`
`Variables(vars)` Full Usage: `Variables(vars)` Parameters: vars : `Dictionary<int, BitVector>` Returns: `Variables`	vars : `Dictionary<int, BitVector>` Returns: `Variables`


                
                  
                    
                      Variables()

Full Usage: Variables()

Returns: Variables


                
                  
                    
                      Variables(vars)

Full Usage: Variables(vars)

Parameters:

vars : Dictionary<int, BitVector>

Returns: Variables

Instance member	Description
`this.Clone` Full Usage: `this.Clone` Returns: `Variables`	Returns: `Variables`
`this.Count` Full Usage: `this.Count` Returns: `int`	Returns: `int`
`this.Get` Full Usage: `this.Get` Parameters: k : `int` Returns: `BitVector`	k : `int` Returns: `BitVector`
`this.Set` Full Usage: `this.Set` Parameters: k : `int` v : `BitVector`	k : `int` v : `BitVector`
`this.ToArray` Full Usage: `this.ToArray` Returns: `(int * BitVector) array`	Returns: `(int * BitVector) array`
`this.TryGet` Full Usage: `this.TryGet` Parameters: k : `int` Returns: `Result<BitVector, ErrorCase>`	k : `int` Returns: `Result<BitVector, ErrorCase>`
`this.Unset` Full Usage: `this.Unset` Parameters: k : `int`	k : `int`