C# Class Microsoft.Fast.EnumSort

Datei anzeigen Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
name	String
sort	Microsoft.Z3.Sort
z3p	Z3Provider

Public Methods

Method	Description
EnumSort ( EnumDef def, Z3Provider z3p ) : System

Method Details

EnumSort() public method

public EnumSort ( EnumDef def, Z3Provider z3p ) : System
def	Microsoft.Fast.AST.EnumDef
z3p	Z3Provider
return	System

Property Details

name public_oe property

public String name
return	String

sort public_oe property

public Sort,Microsoft.Z3 sort
return	Microsoft.Z3.Sort

z3p public_oe property

public Z3Provider z3p
return	Z3Provider