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

Encapsulates the Z3 declarations related to the algebraic datatype of parse trees
ファイルを表示 Open project: AutomataDotNet/Automata

Public Properties

Property Type Description
EmptyTreeList Microsoft.Z3.Expr
GetFirst Microsoft.Z3.FuncDecl
GetNodeLabel Microsoft.Z3.FuncDecl
TreeListSort Microsoft.Z3.Sort

Public Methods

Method 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 method

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
return System

Property Details

EmptyTreeList public_oe property

public Expr,Microsoft.Z3 EmptyTreeList
return Microsoft.Z3.Expr

GetFirst public_oe property

public FuncDecl,Microsoft.Z3 GetFirst
return Microsoft.Z3.FuncDecl

GetNodeLabel public_oe property

public FuncDecl,Microsoft.Z3 GetNodeLabel
return Microsoft.Z3.FuncDecl

TreeListSort public_oe property

public Sort,Microsoft.Z3 TreeListSort
return Microsoft.Z3.Sort