C# Класс Microsoft.Automata.Z3.Internal.CSPrettyPrinter

Pretty printer of Z3 terms.

Показать файл Открыть проект

Открытые методы

Метод	Описание
CSPrettyPrinter ( Context z3 ) : System	Z3 expr to C# pretty printer
DescribeExpr ( Expr term, string>.Func lookupVarName ) : string	Returns a pretty printed view of the given term.
DescribeExprCS ( Expr term, string>.Func lookupVarName ) : string	Returns a pretty printed view of the given term. Uses C# compliant expression notation.
GetNumeralUInt ( Expr t ) : uint
GetTupleLength ( Microsoft.Z3.Sort tupleSort ) : int

Приватные методы

Метод	Описание
DescribeExpr ( Expr term ) : string	Returns a pretty printed view of the given term.
DescribeExpr1 ( Expr term ) : string
DescribeInfixOperator ( Z3_decl_kind declKind ) : string
DisplayNumber ( int code ) : string
EliminateOuterParanthesis ( string cond ) : string
IsBitDisjOrConj ( Z3_decl_kind declKind ) : bool
IsConcat ( Expr term, Expr &terms ) : bool
IsDisjOrConj ( Z3_decl_kind declKind ) : bool
IsInfixOperator ( Z3_decl_kind declKind ) : bool
IsVar ( Expr x ) : bool
LookupVarName ( Expr var ) : string
ShiftLeftAndBitOr ( string result, string s2, uint sz ) : string
TryGetNumber ( string s1, int &_nr ) : bool

Описание методов

CSPrettyPrinter() публичный Метод

Z3 expr to C# pretty printer

public CSPrettyPrinter ( Context z3 ) : System
z3	Microsoft.Z3.Context
Результат	System

DescribeExpr() публичный Метод

Returns a pretty printed view of the given term.

public DescribeExpr ( Expr term, string>.Func lookupVarName ) : string
term	Microsoft.Z3.Expr	the given term
lookupVarName	string>.Func	lookup function for variable names
Результат	string

DescribeExprCS() публичный Метод

Returns a pretty printed view of the given term. Uses C# compliant expression notation.

public DescribeExprCS ( Expr term, string>.Func lookupVarName ) : string
term	Microsoft.Z3.Expr	the given term
lookupVarName	string>.Func	lookup function for variable names
Результат	string

GetNumeralUInt() публичный Метод

public GetNumeralUInt ( Expr t ) : uint
t	Microsoft.Z3.Expr
Результат	uint

GetTupleLength() публичный Метод

public GetTupleLength ( Microsoft.Z3.Sort tupleSort ) : int
tupleSort	Microsoft.Z3.Sort
Результат	int