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