C# Class Microsoft.Automata.Z3.Internal.BinaryTreeInfo

Encapsulates the Z3 declarations related to the algebraic datatype of binary trees without node labels
ファイルを表示 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