Toggle navigation
Hot Examples
ES
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Buscar
Inicio
Microsoft
Automata
Z3
Internal
BinaryTreeInfo
C# Class Microsoft.Automata.Z3.Internal.BinaryTreeInfo
Encapsulates the Z3 declarations related to the algebraic datatype of binary trees without node labels
Mostrar archivo
Open project: AutomataDotNet/Automata
Public Properties
Property
Type
Description
GetLeft
Microsoft.Z3.FuncDecl
MkTree
Microsoft.Z3.FuncDecl
Public Methods
Method
Description
BinaryTreeInfo
(
FuncDecl
mkTree
,
FuncDecl
mkLeaf
,
FuncDecl
getLeafValue
,
FuncDecl
isTree
,
FuncDecl
isLeaf
,
FuncDecl
getLeft
,
FuncDecl
getRight
) :
System
Method Details
BinaryTreeInfo()
public
method
public
BinaryTreeInfo
(
FuncDecl
mkTree
,
FuncDecl
mkLeaf
,
FuncDecl
getLeafValue
,
FuncDecl
isTree
,
FuncDecl
isLeaf
,
FuncDecl
getLeft
,
FuncDecl
getRight
) :
System
mkTree
Microsoft.Z3.FuncDecl
mkLeaf
Microsoft.Z3.FuncDecl
getLeafValue
Microsoft.Z3.FuncDecl
isTree
Microsoft.Z3.FuncDecl
isLeaf
Microsoft.Z3.FuncDecl
getLeft
Microsoft.Z3.FuncDecl
getRight
Microsoft.Z3.FuncDecl
return
System
Property Details
GetLeft
public_oe property
public
FuncDecl,Microsoft.Z3
GetLeft
return
Microsoft.Z3.FuncDecl
MkTree
public_oe property
public
FuncDecl,Microsoft.Z3
MkTree
return
Microsoft.Z3.FuncDecl