Toggle navigation
Hot Examples
RU
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Найти
Главная
Microsoft
Automata
Z3
Internal
BinaryTreeInfo
C# Класс Microsoft.Automata.Z3.Internal.BinaryTreeInfo
Encapsulates the Z3 declarations related to the algebraic datatype of binary trees without node labels
Показать файл
Открыть проект
Открытые свойства
Свойство
Тип
Описание
GetLeft
Microsoft.Z3.FuncDecl
MkTree
Microsoft.Z3.FuncDecl
Открытые методы
Метод
Описание
BinaryTreeInfo
(
FuncDecl
mkTree
,
FuncDecl
mkLeaf
,
FuncDecl
getLeafValue
,
FuncDecl
isTree
,
FuncDecl
isLeaf
,
FuncDecl
getLeft
,
FuncDecl
getRight
) :
System
Описание методов
BinaryTreeInfo()
публичный
Метод
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
Результат
System
Описание свойств
GetLeft
публичное свойство
public
FuncDecl,Microsoft.Z3
GetLeft
Результат
Microsoft.Z3.FuncDecl
MkTree
публичное свойство
public
FuncDecl,Microsoft.Z3
MkTree
Результат
Microsoft.Z3.FuncDecl