Toggle navigation
Hot Examples
KO
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
파일 보기
프로젝트 열기: AutomataDotNet/Automata
공개 프로퍼티들
프로퍼티
타입
설명
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