Ejemplo n.º 1
0
 public void PathExistsTest()
 {
     var engine = new LogicEngine(new TestSettings(), "core");
     var from = LogicOperations.NodeFromString("!bc & !bf & !bs & !bw & !rc & !rf & !rs & !rw");
     var to = LogicOperations.NodeFromString("!bc & !bf & !bs & !bw & rc & rf & rs & rw");
     engine.PathExitsts(from, to).Should().BeTrue();
 }