Module signature GraphPathSearchSig

Implement this signature to define a graph, and a search for paths within that graph, using the GraphPathSearch module.

module MyConfig implements GraphPathSearchSig<Node> {
  predicate start(Node n1) { ... }
  predicate edge(Node n1, Node n2) { ... }
  predicate end(Node n1) { ... }
}