Header menu logo B2R2

SymbVariables Type

Represents a collection of symbolic variables used in the evaluation state.

Constructors

Constructor Description

SymbVariables()

Full Usage: SymbVariables()

Returns: SymbVariables
Returns: SymbVariables

SymbVariables(vars)

Full Usage: SymbVariables(vars)

Parameters:
Returns: SymbVariables
vars : Dictionary<int, SymbExpr>
Returns: SymbVariables

Instance members

Instance member Description

this.Clone

Full Usage: this.Clone

Returns: SymbVariables
Returns: SymbVariables

this.Count

Full Usage: this.Count

Returns: int
Returns: int

this.Get

Full Usage: this.Get

Parameters:
    k : int

Returns: SymbExpr
k : int
Returns: SymbExpr

this.Set

Full Usage: this.Set

Parameters:
k : int
v : SymbExpr

this.ToArray

Full Usage: this.ToArray

Returns: (int * SymbExpr) array
Returns: (int * SymbExpr) array

this.TryGet

Full Usage: this.TryGet

Parameters:
    k : int

Returns: Result<SymbExpr, ErrorCase>
k : int
Returns: Result<SymbExpr, ErrorCase>

this.Unset

Full Usage: this.Unset

Parameters:
    k : int

k : int

Type something to start searching.