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

Encapsulates the Z3 declarations related to the algebraic datatype of binary trees without node labels
Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Свойство Type Description
GetLeft Microsoft.Z3.FuncDecl
MkTree Microsoft.Z3.FuncDecl

Méthodes publiques

Méthode Description
BinaryTreeInfo ( FuncDecl mkTree, FuncDecl mkLeaf, FuncDecl getLeafValue, FuncDecl isTree, FuncDecl isLeaf, FuncDecl getLeft, FuncDecl getRight ) : System

Method Details

BinaryTreeInfo() public méthode

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
Résultat System

Property Details

GetLeft public_oe property

public FuncDecl,Microsoft.Z3 GetLeft
Résultat Microsoft.Z3.FuncDecl

MkTree public_oe property

public FuncDecl,Microsoft.Z3 MkTree
Résultat Microsoft.Z3.FuncDecl