本文整理汇总了C#中Model.CreateObserverController方法的典型用法代码示例。如果您正苦于以下问题:C# Model.CreateObserverController方法的具体用法?C# Model.CreateObserverController怎么用?C# Model.CreateObserverController使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Model
的用法示例。
在下文中一共展示了Model.CreateObserverController方法的6个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: Simulate
public void Simulate()
{
var model = new Model();
model.InitializeDefaultInstance();
model.CreateObserverController<FastObserverController>();
model.Faults.SuppressActivations();
var simulator = new Simulator(model);
PrintTrace(simulator, steps: 120);
}
示例2: DepthFirstSearch
public void DepthFirstSearch()
{
var model = new Model();
model.InitializeDefaultInstance();
model.CreateObserverController<MiniZincObserverController>();
model.SetAnalysisMode(AnalysisMode.TolerableFaults);
var modelChecker = new SSharpChecker { Configuration = { CpuCount = 1, StateCapacity = 1 << 20 } };
var result = modelChecker.CheckInvariant(model, true);
Console.WriteLine(result);
}
示例3: AllWorkpiecesCompleteEventually
public void AllWorkpiecesCompleteEventually()
{
var model = new Model();
model.InitializeDefaultInstance();
model.CreateObserverController<FastObserverController>();
model.Faults.SuppressActivations();
var modelChecker = new SSharpChecker { Configuration = { StateCapacity = 1 << 22 } };
var result = modelChecker.CheckInvariant(model, !model.Workpieces.All(w => w.IsComplete));
Assert.IsFalse(result.FormulaHolds);
}
示例4: NoDamagedWorkpieces
public void NoDamagedWorkpieces()
{
var model = new Model();
model.InitializeDefaultInstance();
model.CreateObserverController<FastObserverController>();
model.Faults.SuppressActivations();
var modelChecker = new SSharpChecker { Configuration = { StateCapacity = 1 << 22 } };
var result = modelChecker.CheckInvariant(model, !model.Workpieces.Any(w => w.IsDamaged));
Assert.IsTrue(result.FormulaHolds);
}
示例5: EnumerateStateSpace
public void EnumerateStateSpace()
{
var model = new Model();
model.InitializeDefaultInstance();
model.CreateObserverController<FastObserverController>();
model.Faults.SuppressActivations();
var modelChecker = new SSharpChecker { Configuration = { StateCapacity = 1 << 22 } };
var result = modelChecker.CheckInvariant(model, true);
Assert.IsTrue(result.FormulaHolds);
}
示例6: HasResourceAndHasWorkpieceMatch
public void HasResourceAndHasWorkpieceMatch()
{
var model = new Model();
model.InitializeDefaultInstance();
model.CreateObserverController<FastObserverController>();
model.Faults.SuppressActivations();
var modelChecker = new SSharpChecker { Configuration = { StateCapacity = 1 << 22 } };
var result = modelChecker.CheckInvariant(model,
model.RobotAgents.All(a => a.HasResource == a.Robot.HasWorkpiece) &&
model.CartAgents.All(a => a.HasResource == a.Cart.HasWorkpiece));
Assert.IsTrue(result.FormulaHolds);
}