C# (CSharp) PathCounterExample示例

示例#1

 private ExplorationResult(
     ExplorationResultKind kind,
     ExecutionModel executionModel,
     PathCounterExample pathCounterExample)
 {
     this.Kind               = kind;
     this.ExecutionModel     = executionModel;
     this.PathCounterExample = pathCounterExample;
 }

示例#2

 public static ExplorationResult CreateUnreachable(PathCounterExample pathCounterExample)
 {
     return(new ExplorationResult(ExplorationResultKind.Unreachable, null, pathCounterExample));
 }