Méthode | Description | |
---|---|---|
CSPrettyPrinter ( |
Z3 expr to C# pretty printer
|
|
DescribeExpr ( |
Returns a pretty printed view of the given term.
|
|
DescribeExprCS ( |
Returns a pretty printed view of the given term. Uses C# compliant expression notation.
|
|
GetNumeralUInt ( |
||
GetTupleLength ( Microsoft.Z3.Sort tupleSort ) : int |
Méthode | Description | |
---|---|---|
DescribeExpr ( |
Returns a pretty printed view of the given term.
|
|
DescribeExpr1 ( |
||
DescribeInfixOperator ( Z3_decl_kind declKind ) : string | ||
DisplayNumber ( int code ) : string | ||
EliminateOuterParanthesis ( string cond ) : string | ||
IsBitDisjOrConj ( Z3_decl_kind declKind ) : bool | ||
IsConcat ( |
||
IsDisjOrConj ( Z3_decl_kind declKind ) : bool | ||
IsInfixOperator ( Z3_decl_kind declKind ) : bool | ||
IsVar ( |
||
LookupVarName ( |
||
ShiftLeftAndBitOr ( string result, string s2, uint sz ) : string | ||
TryGetNumber ( string s1, int &_nr ) : bool |
public CSPrettyPrinter ( |
||
z3 | ||
Résultat | System |
public DescribeExpr ( |
||
term | the given term | |
lookupVarName | string>.Func | lookup function for variable names |
Résultat | string |
public DescribeExprCS ( |
||
term | the given term | |
lookupVarName | string>.Func | lookup function for variable names |
Résultat | string |
public GetNumeralUInt ( |
||
t | ||
Résultat | uint |
public GetTupleLength ( Microsoft.Z3.Sort tupleSort ) : int | ||
tupleSort | Microsoft.Z3.Sort | |
Résultat | int |