dotnet Directory Reference

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