本文整理汇总了C#中Config.SetParamValue方法的典型用法代码示例。如果您正苦于以下问题：C# Config.SetParamValue方法的具体用法？C# Config.SetParamValue怎么用？C# Config.SetParamValue使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Config的用法示例。
在下文中一共展示了Config.SetParamValue方法的3个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: CreateContext
private TypeSafeContext CreateContext()
{
Config config = new Config();
config.SetParamValue("MODEL", "true");
TypeSafeContext z3 = new TypeSafeContext(config);
config.Dispose();
return z3;
}示例2: Z3Context
//Constructor
public Z3Context()
{
//Initialize Config and Context
_config = new Config();
_config.SetParamValue("MODEL", "true"); // corresponds to /m switch
_config.SetParamValue("MACRO_FINDER", "true");
_context = new Context(_config);
//Setup custom conversion method BoolToInt (boolean -> integer)----------------------------------------------------------------
FuncDecl boolToInt = _context.MkFuncDecl("BoolToInt", _context.MkBoolSort(), _context.MkIntSort());
Term i = _context.MkConst("i", _context.MkBoolSort());
Term fDef = _context.MkIte(_context.MkEq(i, _context.MkTrue()), _context.MkIntNumeral(1), _context.MkIntNumeral(0)); // x == true => 1, x == false => 0
Term fStatement = _context.MkForall(0, new Term[] { i }, null, _context.MkEq(_context.MkApp(boolToInt, i), fDef));
_context.AssertCnstr(fStatement);
//
_functions.Add("BoolToInt", new Z3Function(boolToInt));
//-----------------------------------------------------------------------------------------------------------------------------
}示例3: Z3Context
public Z3Context()
{
config = new Config();
config.SetParamValue("MODEL", "true");
config.SetParamValue("MODEL_V2", "true");
config.SetParamValue("MODEL_COMPLETION", "true");
config.SetParamValue("MBQI", "false");
config.SetParamValue("TYPE_CHECK", "true");
int timeout = 10000; // timeout = 10 seconds
config.SetParamValue("SOFT_TIMEOUT", timeout.ToString());
context = new Context(config);
intSort = context.MkIntSort();
boolSort = context.MkBoolSort();
}