C# Class Microsoft.Automata.Z3.Internal.CSPrettyPrinter

Pretty printer of Z3 terms.

Mostrar archivo Open project: AutomataDotNet/Automata

Public Methods

Method	Description
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

Private Methods

Method	Description
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

Method Details

CSPrettyPrinter() public method

Z3 expr to C# pretty printer

public CSPrettyPrinter ( Context z3 ) : System
z3	Microsoft.Z3.Context
return	System

DescribeExpr() public method

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
return	string

DescribeExprCS() public method

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
return	string

GetNumeralUInt() public method

public GetNumeralUInt ( Expr t ) : uint
t	Microsoft.Z3.Expr
return	uint

GetTupleLength() public method

public GetTupleLength ( Microsoft.Z3.Sort tupleSort ) : int
tupleSort	Microsoft.Z3.Sort
return	int