コード例 #1
0
 public ExplorationContext(
     IFlowGraphProvider flowGraphProvider,
     IContextFactory smtContextFactory,
     StartingNodeInfo startingNode)
     : this(flowGraphProvider, smtContextFactory, startingNode, ExplorationOptions.Default)
 {
 }
コード例 #2
0
 public ExplorationContext(
     IFlowGraphProvider flowGraphProvider,
     IContextFactory smtContextFactory,
     StartingNodeInfo startingNode,
     ExplorationOptions options)
 {
     this.FlowGraphProvider = flowGraphProvider;
     this.SmtContextFactory = smtContextFactory;
     this.StartingNode      = startingNode;
     this.Options           = options;
     this.Options.FinalNodeRecognizer.FlowGraphProvider = flowGraphProvider;
 }