Property | Type | Description | |
---|---|---|---|
EmptyTreeList | |||
GetFirst | |||
GetNodeLabel | |||
TreeListSort | Microsoft.Z3.Sort |
Method | Description | |
---|---|---|
UnrankedTreeInfo ( Microsoft.Z3.Sort treeListSort, |
public UnrankedTreeInfo ( Microsoft.Z3.Sort treeListSort, |
||
treeListSort | Microsoft.Z3.Sort | |
getNodeValue | ||
getSubtrees | ||
mkNode | ||
mkLeaf | ||
getLeafValue | ||
isNode | ||
isLeaf | ||
empty | ||
first | ||
rest | ||
cons | ||
isEmpty | ||
isCons | ||
return | System |
public FuncDecl,Microsoft.Z3 GetNodeLabel | ||
return |