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