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

Encapsulates the Z3 declarations related to the algebraic datatype of parse trees

Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Свойство	Type	Description
EmptyTreeList	Microsoft.Z3.Expr
GetFirst	Microsoft.Z3.FuncDecl
GetNodeLabel	Microsoft.Z3.FuncDecl
TreeListSort	Microsoft.Z3.Sort

Méthodes publiques

Méthode	Description
UnrankedTreeInfo ( Microsoft.Z3.Sort treeListSort, FuncDecl getNodeValue, FuncDecl getSubtrees, FuncDecl mkNode, FuncDecl mkLeaf, FuncDecl getLeafValue, FuncDecl isNode, FuncDecl isLeaf, Expr empty, FuncDecl first, FuncDecl rest, FuncDecl cons, FuncDecl isEmpty, FuncDecl isCons ) : System

Method Details

UnrankedTreeInfo() public méthode

public UnrankedTreeInfo ( Microsoft.Z3.Sort treeListSort, FuncDecl getNodeValue, FuncDecl getSubtrees, FuncDecl mkNode, FuncDecl mkLeaf, FuncDecl getLeafValue, FuncDecl isNode, FuncDecl isLeaf, Expr empty, FuncDecl first, FuncDecl rest, FuncDecl cons, FuncDecl isEmpty, FuncDecl isCons ) : System
treeListSort	Microsoft.Z3.Sort
getNodeValue	Microsoft.Z3.FuncDecl
getSubtrees	Microsoft.Z3.FuncDecl
mkNode	Microsoft.Z3.FuncDecl
mkLeaf	Microsoft.Z3.FuncDecl
getLeafValue	Microsoft.Z3.FuncDecl
isNode	Microsoft.Z3.FuncDecl
isLeaf	Microsoft.Z3.FuncDecl
empty	Microsoft.Z3.Expr
first	Microsoft.Z3.FuncDecl
rest	Microsoft.Z3.FuncDecl
cons	Microsoft.Z3.FuncDecl
isEmpty	Microsoft.Z3.FuncDecl
isCons	Microsoft.Z3.FuncDecl
Résultat	System

Property Details

EmptyTreeList public_oe property

public Expr,Microsoft.Z3 EmptyTreeList
Résultat	Microsoft.Z3.Expr

GetFirst public_oe property

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

GetNodeLabel public_oe property

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

TreeListSort public_oe property

public Sort,Microsoft.Z3 TreeListSort
Résultat	Microsoft.Z3.Sort