dotnet Directory Reference

Files
	AlgebraicNum.cs
	ApplyResult.cs
	ArithExpr.cs
	ArithSort.cs
	ArrayExpr.cs
	ArraySort.cs
	AST.cs
	ASTMap.cs
	ASTVector.cs
	BitVecExpr.cs
	BitVecNum.cs
	BitVecSort.cs
	BoolExpr.cs
	BoolSort.cs
	CharSort.cs
	Constructor.cs
	ConstructorList.cs
	Context.cs
	DatatypeExpr.cs
	DatatypeSort.cs
	EnumSort.cs
	Expr.cs
	FiniteDomainExpr.cs
	FiniteDomainNum.cs
	FiniteDomainSort.cs
	Fixedpoint.cs
	FPExpr.cs
	FPNum.cs
	FPRMExpr.cs
	FPRMNum.cs
	FPRMSort.cs
	FPSort.cs
	FuncDecl.cs
	FuncInterp.cs
	Global.cs
	Goal.cs
	IntExpr.cs
	IntNum.cs
	IntSort.cs
	IntSymbol.cs
	Lambda.cs
	ListSort.cs
	Log.cs
	Model.cs
	NativeContext.cs
	NativeFuncInterp.cs
	NativeModel.cs
	NativeSolver.cs
	OnClause.cs
	Optimize.cs
	ParamDescrs.cs
	Params.cs
	Pattern.cs
	Probe.cs
	Quantifier.cs
	RatNum.cs
	RealExpr.cs
	RealSort.cs
	ReExpr.cs
	RelationSort.cs
	ReSort.cs
	SeqExpr.cs
	SeqSort.cs
	SetSort.cs
	Simplifiers.cs
	Solver.cs
	Sort.cs
	Statistics.cs
	Status.cs
	StringSymbol.cs
	Symbol.cs
	Tactic.cs
	TupleSort.cs
	UninterpretedSort.cs
	UserPropagator.cs
	Version.cs
	Z3Exception.cs
	Z3Object.cs